DAMO-NLP-SG / CaRingLinks
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
☆37Updated last year
Alternatives and similar repositories for CaRing
Users that are interested in CaRing are comparing it to the libraries listed below
Sorting:
- ☆54Updated last year
- the instructions and demonstrations for building a formal logical reasoning capable GLM☆53Updated 10 months ago
- ☆45Updated 11 months ago
- Aioli: A unified optimization framework for language model data mixing☆27Updated 5 months ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆81Updated 11 months ago
- ☆33Updated 8 months ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 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
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆56Updated last year
- Evaluate the Quality of Critique☆36Updated last year
- Are LLMs Capable of Data-based Statistical and Causal Reasoning? Benchmarking Advanced Quantitative Reasoning with Data☆41Updated 4 months ago
- ☆46Updated last year
- [ICLR'24 spotlight] Tool-Augmented Reward Modeling☆50Updated last month
- ☆23Updated 3 months ago
- ☆48Updated last month
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆28Updated 2 months ago
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆102Updated 4 months ago
- This repository includes a benchmark and code for the paper "Evaluating LLMs at Detecting Errors in LLM Responses".☆30Updated 10 months ago
- [arXiv preprint] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆33Updated 7 months ago
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- ☆72Updated last year
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆43Updated last year
- ☆46Updated 11 months ago
- Code for EMNLP 2024 paper "Learn Beyond The Answer: Training Language Models with Reflection for Mathematical Reasoning"☆55Updated 9 months ago
- Scalable Meta-Evaluation of LLMs as Evaluators☆42Updated last year
- Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments (EMNLP'2024)☆37Updated 6 months ago
- Agent Skill Induction: "Inducing Programmatic Skills for Agentic Tasks"☆25Updated 2 months ago
- official implementation of paper "Process Reward Model with Q-value Rankings"☆60Updated 5 months ago
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆75Updated 10 months ago
- Long Context Extension and Generalization in LLMs☆57Updated 9 months ago