DAMO-NLP-SG / CaRingLinks
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
☆36Updated last year
Alternatives and similar repositories for CaRing
Users that are interested in CaRing are comparing it to the libraries listed below
Sorting:
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 8 months ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆27Updated last month
- the instructions and demonstrations for building a formal logical reasoning capable GLM☆53Updated 9 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
- ☆42Updated 2 months ago
- Evaluate the Quality of Critique☆35Updated last year
- Scalable Meta-Evaluation of LLMs as Evaluators☆42Updated last year
- ☆44Updated 9 months ago
- ☆23Updated 2 months ago
- This is the implementation for the paper "LARGE LANGUAGE MODEL CASCADES WITH MIX- TURE OF THOUGHT REPRESENTATIONS FOR COST- EFFICIENT REA…☆23Updated last year
- [arXiv preprint] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆33Updated 5 months ago
- Revisiting Mid-training in the Era of RL Scaling☆48Updated last month
- ☆53Updated 11 months ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆81Updated 9 months ago
- Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments (EMNLP'2024)☆36Updated 5 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆98Updated 3 weeks ago
- Code for EMNLP 2024 paper "Learn Beyond The Answer: Training Language Models with Reflection for Mathematical Reasoning"☆54Updated 8 months ago
- [ICLR'24 spotlight] Tool-Augmented Reward Modeling☆50Updated 5 months ago
- Official codebase for permutation self-consistency.☆18Updated last year
- Aioli: A unified optimization framework for language model data mixing☆25Updated 4 months ago
- ☆43Updated 8 months ago
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆47Updated last year
- [ICLR'25] "Attention in Large Language Models Yields Efficient Zero-Shot Re-Rankers"☆19Updated 2 months ago
- ☆49Updated 3 weeks ago
- Are LLMs Capable of Data-based Statistical and Causal Reasoning? Benchmarking Advanced Quantitative Reasoning with Data☆36Updated 3 months ago
- ☆24Updated last year
- Minimal implementation of the Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models paper (ArXiv 20232401.01335)☆29Updated last year
- Codebase for Instruction Following without Instruction Tuning☆34Updated 8 months ago
- Benchmarking Benchmark Leakage in Large Language Models☆51Updated last year
- ☆29Updated 5 months ago