tongjingqi / MathTrapLinks
โ59Updated 6 months ago
Alternatives and similar repositories for MathTrap
Users that are interested in MathTrap are comparing it to the libraries listed below
Sorting:
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. ๐งฎโจโ256Updated last year
- a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluationโ57Updated 5 months ago
- Awesome-Long2short-on-LRMs is a collection of state-of-the-art, novel, exciting long2short methods on large reasoning models. It containsโฆโ246Updated last month
- Official Repository of "Learning to Reason under Off-Policy Guidance"โ304Updated this week
- Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"โ136Updated 2 months ago
- Generative AI Act II: Test Time Scaling Drives Cognition Engineeringโ206Updated 5 months ago
- The official repository of the Omni-MATH benchmark.โ88Updated 9 months ago
- Evaluation utilities based on SymPy.โ20Updated 9 months ago
- A Framework for LLM-based Multi-Agent Reinforced Training and Inferenceโ257Updated this week
- Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!โ69Updated 5 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied witโฆโ140Updated last year
- Curation of resources for LLM research, screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise deโฆโ61Updated last year
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluationsโ130Updated 5 months ago
- Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".โ56Updated 9 months ago
- [NeurIPS'24] Official code for *๐ฏDART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*โ113Updated 9 months ago
- A versatile toolkit for applying Logit Lens to modern large language models (LLMs). Currently supports Llama-3.1-8B and Qwen-2.5-7B, enabโฆโ109Updated last month
- This repository contains a regularly updated paper list for LLMs-reasoning-in-latent-space.โ157Updated this week
- โ289Updated 4 months ago
- A version of verl to support diverse tool useโ538Updated last week
- โ209Updated 7 months ago
- This is the repository of DEER, a Dynamic Early Exit in Reasoning method for Large Reasoning Language Models.โ171Updated 2 months ago
- A curated list of awesome resources about reward construction for AI agents. This repository covers cutting-edge research, and practical โฆโ44Updated 3 weeks ago
- Code2Logic: Game-Code-Driven Data Synthesis for Enhancing VLMs General Reasoningโ74Updated this week
- Safety-J: Evaluating Safety with Critiqueโ16Updated last year
- A Comprehensive Survey on Long Context Language Modelingโ187Updated 2 months ago
- โ317Updated 3 months ago
- Paper list for Efficient Reasoning.โ664Updated this week
- A comprehensive collection of process reward models.โ108Updated 2 months ago
- โ67Updated 5 months ago
- ๐ A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, Agent, and Beyondโ296Updated this week