Alternatives and similar repositories for OlymMATH

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

• yuyq18 / StepTool
  ☆31Updated 5 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆76Updated last month
• KbsdJames / omni-math-rule
  The rule-based evaluation subset and code implementation of Omni-MATH
  ☆24Updated 10 months ago
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆132Updated 7 months ago
• hahahawu / Long-to-Short-via-Model-Merging
  Model merging is a highly efficient approach for long-to-short reasoning.
  ☆89Updated last month
• WooooDyy / MathCritique
  Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".
  ☆56Updated 11 months ago
• QwenLM / ProcessBench
  Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"
  ☆176Updated 6 months ago
• tongyx361 / symeval
  Evaluation utilities based on SymPy.
  ☆20Updated 11 months ago
• ZNLP / Language-Imbalance-Driven-Rewarding
  [ICLR 2025] Language Imbalance Driven Rewarding for Multilingual Self-improving
  ☆24Updated 2 months ago
• zzli2022 / TLDR
  Code for Research Project TLDR
  ☆24Updated 3 months ago
• RyanLiu112 / GenPRM
  [AAAI 2026] Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".
  ☆88Updated last week
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆117Updated 11 months ago
• Zhou-Zoey / RMB-Reward-Model-Benchmark
  ☆45Updated 7 months ago
• ssmisya / PRMBench
  [ACL' 25] The official code repository for PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models.
  ☆84Updated 9 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆114Updated 3 months ago
• KodCode-AI / code-r1
  Reproducing R1 for Code with Reliable Rewards
  ☆12Updated 7 months ago
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆138Updated last week
• icip-cas / Verifier-Engineering
  Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
  ☆62Updated 11 months ago
• tianyi-lab / MiP-Overthinking
  [COLM'25] Missing Premise exacerbates Overthinking: Are Reasoning Models losing Critical Thinking Skill?
  ☆35Updated 5 months ago
• princeton-pli / LongProc
  LongProc: Benchmarking Long-Context Language Models on Long Procedural Generation
  ☆32Updated last month
• Zanette-Labs / efficient-reasoning
  ☆67Updated 7 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆263Updated last year
• WangHanLinHenry / SPA-RL-Agent
  Official code for paper "SPA-RL: Reinforcing LLM Agent via Stepwise Progress Attribution"
  ☆49Updated 2 months ago
• GAIR-NLP / self-improvement-reversal
  ☆13Updated last year
• TianHongZXY / RLVR-Decomposed
  [NeurIPS 2025] Implementation for the paper "The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning"
  ☆125Updated 3 weeks ago
• Freder-chen / ReasonGenRM
  A simple implementation of ReasonGenRM.
  ☆18Updated 6 months ago
• starrYYxuan / UniTE
  ☆16Updated last year
• FreedomIntelligence / OVM
  ☆69Updated last year
• rookie-joe / AutoPSV
  ☆50Updated last year
• hkust-nlp / WebExplorer
  The official repo of "WebExplorer: Explore and Evolve for Training Long-Horizon Web Agents"
  ☆87Updated last month