Alternatives and similar repositories for MathTrap

Users that are interested in MathTrap are comparing it to the libraries listed below

• EIT-NLP / Awesome-Latent-CoT
  This repository contains a regularly updated paper list for LLMs-reasoning-in-latent-space.
  ☆153Updated 2 weeks ago
• Blueyee / Efficient-CoT-LRMs
  Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!
  ☆69Updated 5 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆251Updated last year
• Hongcheng-Gao / Awesome-Long2short-on-LRMs
  Awesome-Long2short-on-LRMs is a collection of state-of-the-art, novel, exciting long2short methods on large reasoning models. It contains…
  ☆244Updated 2 weeks ago
• tongjingqi / Code2Logic
  Code2Logic: Game-Code-Driven Data Synthesis for Enhancing VLMs General Reasoning
  ☆72Updated last week
• OpenMOSS / Thus-Spake-Long-Context-LLM
  a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation
  ☆56Updated 5 months ago
• TsinghuaC3I / MARTI
  A Framework for LLM-based Multi-Agent Reinforced Training and Inference
  ☆224Updated 2 weeks ago
• XiaoYee / Awesome_Efficient_LRM_Reasoning
  😎 A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, Agent, and Beyond
  ☆286Updated 2 weeks ago
• TIGER-AI-Lab / verl-tool
  A version of verl to support tool use
  ☆352Updated this week
• CJReinforce / PURE
  Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"
  ☆134Updated last month
• Alsace08 / Chain-of-Embedding
  [ICLR 2025] Code and Data Repo for Paper "Latent Space Chain-of-Embedding Enables Output-free LLM Self-Evaluation"
  ☆76Updated 8 months ago
• ElliottYan / LUFFY
  Official Repository of "Learning to Reason under Off-Policy Guidance"
  ☆285Updated last month
• WooooDyy / MathCritique
  Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".
  ☆56Updated 9 months ago
• GAIR-NLP / ToRL
  ☆280Updated 3 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆87Updated 8 months ago
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆128Updated 4 months ago
• GAIR-NLP / LIMR
  ☆207Updated 6 months ago
• InternLM / InternBootcamp
  ☆202Updated this week
• zhenyu-02 / LogitLens4LLMs
  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…
  ☆99Updated 2 weeks ago
• GAIR-NLP / cognition-engineering
  Generative AI Act II: Test Time Scaling Drives Cognition Engineering
  ☆204Updated 4 months ago
• NJU-RL / GLIDER
  [ICML 2025] Official Implementation of GLIDER
  ☆52Updated 3 months ago
• eddycmu / demystify-long-cot
  ☆313Updated 3 months ago
• QingyangZhang / Label-Free-RLVR
  ☆261Updated last month
• MikaStars39 / FeatureAlignment
  FeatureAlignment = Alignment + Mechanistic Interpretability
  ☆29Updated 5 months ago
• hemingkx / Awesome-Efficient-Reasoning
  Paper list for Efficient Reasoning.
  ☆614Updated this week
• kanishkg / cognitive-behaviors
  ☆204Updated 5 months ago
• StarDewXXX / O1-Pruner
  Official repository for paper: O1-Pruner: Length-Harmonizing Fine-Tuning for O1-Like Reasoning Pruning
  ☆86Updated 6 months ago
• RyanLiu112 / Awesome-Process-Reward-Models
  A comprehensive collection of process reward models.
  ☆104Updated last month
• ruixin31 / Spurious_Rewards
  ☆328Updated last month
• opendatalab / ProverGen
  [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…
  ☆32Updated 2 months ago