tongjingqi / MathTrap
☆57Updated last month
Alternatives and similar repositories for MathTrap:
Users that are interested in MathTrap are comparing it to the libraries listed below
- Awesome-Long2short-on-LRMs is a collection of state-of-the-art, novel, exciting long2short methods on large reasoning models. It contains…☆208Updated last week
- The official repository of the Omni-MATH benchmark.☆83Updated 4 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆209Updated last year
- ☆153Updated last month
- ☆95Updated 3 weeks ago
- ☆194Updated 2 months ago
- 😎 A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond☆208Updated this week
- ☆55Updated 6 months ago
- This repository contains a regularly updated paper list for LLMs-reasoning-in-latent-space.☆79Updated this week
- Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".☆52Updated 5 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆105Updated 5 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆94Updated 3 weeks ago
- 🔥 How to efficiently and effectively compress the CoTs or directly generate concise CoTs during inference while maintaining the reasonin…☆41Updated last week
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆98Updated 9 months ago
- ☆165Updated last month
- [ICLR 2025] Code and Data Repo for Paper "Latent Space Chain-of-Embedding Enables Output-free LLM Self-Evaluation"☆46Updated 4 months ago
- Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"☆113Updated this week
- ☆163Updated this week
- ☆59Updated 3 weeks ago
- ☆328Updated 3 months ago
- The official code repository for PRMBench.☆73Updated 2 months ago
- a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation☆46Updated last month
- The official repository of "Whoever Started the Interference Should End It: Guiding Data-Free Model Merging via Task Vectors""☆14Updated this week
- Missing Premise exacerbates Overthinking: Are Reasoning Models losing Critical Thinking Skill?☆26Updated last month
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 6 months ago
- A Comprehensive Survey on Long Context Language Modeling☆139Updated last month
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆123Updated 9 months ago
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆306Updated 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…☆79Updated 2 months ago
- Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!☆52Updated last month