Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
☆27May 12, 2025Updated 9 months ago
Alternatives and similar repositories for clover
Users that are interested in clover are comparing it to the libraries listed below
Sorting:
- CUDA, CuDNN, NVIDIA Driver, and PyTorch Installation for Ubuntu☆12Feb 27, 2025Updated last year
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆36May 2, 2024Updated last year
- 基于ssm的宠物医院项目☆15Dec 16, 2022Updated 3 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Jul 24, 2021Updated 4 years ago
- ☆10Nov 18, 2022Updated 3 years ago
- Evaluation Pipeline for medical tasks.☆12Feb 13, 2026Updated 2 weeks ago
- ☆28Dec 19, 2025Updated 2 months ago
- ProxyExplainer for Graph Neural Networks☆15Oct 24, 2024Updated last year
- ☆11Oct 24, 2024Updated last year
- Training and testing code from our CVPR 2023 paper "Are Deep Neural Networks SMARTer than Second Graders?"☆11Aug 10, 2023Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Code for "Demonstration-free Autonomous Reinforcement Learning via Implicit and Bidirectional Curriculum" (ICML 2023)☆10Jul 6, 2023Updated 2 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated last year
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- ☆10Jun 11, 2023Updated 2 years ago
- The official code of TACL 2022, "Break, Perturb, Build: Automatic Perturbation of Reasoning Paths Through Question Decomposition".☆11Oct 18, 2021Updated 4 years ago
- [ICML 2023] QAS-Bench: Rethinking Quantum Architecture Search and A Benchmark☆11Mar 15, 2024Updated last year
- Win + D for One Monitor (Show Desktop only for One Monitor)☆10Dec 15, 2022Updated 3 years ago
- UFT: Unifying Supervised and Reinforcement Fine-Tuning☆26Jun 30, 2025Updated 8 months ago
- ☆12Feb 26, 2025Updated last year
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 3 months ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- Official Implementation of Avoiding spurious correlations via logit correction☆17May 6, 2023Updated 2 years ago
- Implementation of Logic-RAG☆14May 16, 2025Updated 9 months ago
- RAG-Fusion implementation using Langchain, Weaviate and OpenAI☆13Oct 31, 2023Updated 2 years ago
- ☆18Apr 10, 2025Updated 10 months ago
- Shortest versions of python script for image processing with OpenCV☆12Jun 16, 2022Updated 3 years ago
- ☆11Dec 28, 2023Updated 2 years ago
- ☆13Apr 7, 2025Updated 10 months ago
- code for kdd feasibiiity☆12Jul 17, 2023Updated 2 years ago
- ☆10Nov 29, 2024Updated last year
- Code and data for AAAI 2022 paper "Multilingual Code Snippets Training for Program Translation"☆10Mar 7, 2022Updated 3 years ago
- ☆10Jan 7, 2022Updated 4 years ago
- Generalizing from SIMPLE to HARD Visual Reasoning: Can We Mitigate Modality Imbalance in VLMs?☆15Jun 3, 2025Updated 8 months ago
- pytorch implements data enhancement and network regularization methods: cutmix, cutout, shakedrop, mixup, Label smoothing☆11Aug 19, 2021Updated 4 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Papers about the trend of Entity Linking in recent years.☆11Sep 5, 2022Updated 3 years ago
- ☆18Feb 20, 2025Updated last year