DAMO-NLP-SG / CaRingLinks
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
☆41Updated last year
Alternatives and similar repositories for CaRing
Users that are interested in CaRing are comparing it to the libraries listed below
Sorting:
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆107Updated 10 months ago
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- ☆23Updated 9 months ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆35Updated last year
- Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments (EMNLP'2024)☆37Updated last year
- Evaluate the Quality of Critique☆36Updated last year
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆85Updated last year
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples☆113Updated 5 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- Code for EMNLP 2024 paper "Learn Beyond The Answer: Training Language Models with Reflection for Mathematical Reasoning"☆55Updated last year
- [NAACL 2024] Struc-Bench: Are Large Language Models Good at Generating Complex Structured Tabular Data? https://aclanthology.org/2024.naa…☆55Updated 5 months ago
- ☆49Updated 9 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆85Updated 7 months ago
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆62Updated last year
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆119Updated 8 months ago
- the instructions and demonstrations for building a formal logical reasoning capable GLM☆55Updated last year
- [EMNLP'24] LongHeads: Multi-Head Attention is Secretly a Long Context Processor☆31Updated last year
- ☆75Updated last year
- [ICLR'24 spotlight] Tool-Augmented Reward Modeling☆52Updated 7 months ago
- Benchmarking Benchmark Leakage in Large Language Models☆58Updated last year
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (As Huggingface Daily Papers: …☆90Updated last month
- CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)☆73Updated last year
- ☆56Updated last year
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆45Updated 3 months ago
- Code and Data for "Language Modeling with Editable External Knowledge"☆36Updated last year
- [ICLR'25] "Attention in Large Language Models Yields Efficient Zero-Shot Re-Rankers"☆40Updated 9 months ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆29Updated 8 months ago
- Aioli: A unified optimization framework for language model data mixing☆32Updated 11 months ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated last year
- RL Scaling and Test-Time Scaling (ICML'25)☆112Updated 11 months ago