Alternatives and similar repositories for Math-Verify

Users that are interested in Math-Verify are comparing it to the libraries listed below

• RUCAIBox / Slow_Thinking_with_LLMs
  A series of technical report on Slow Thinking with LLM
  ☆758Updated 5 months ago
• THUDM / ReST-MCTS
  ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)
  ☆688Updated last year
• zhentingqi / rStar
  ☆971Updated last year
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆807Updated last year
• magpie-align / magpie
  [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …
  ☆825Updated 10 months ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆685Updated this week
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆944Updated 11 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,061Updated 6 months ago
• TIGER-AI-Lab / verl-tool
  A version of verl to support diverse tool use
  ☆852Updated 3 weeks ago
• Open-Reasoner-Zero / Open-Reasoner-Zero
  Official Repo for Open-Reasoner-Zero
  ☆2,086Updated 8 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,203Updated 5 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆341Updated 7 months ago
• BytedTsinghua-SIA / DAPO
  An Open-source RL System from ByteDance Seed and Tsinghua AIR
  ☆1,715Updated 8 months ago
• ContextualAI / HALOs
  A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).
  ☆903Updated 4 months ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.
  ☆623Updated this week
• lqtrung1998 / mwp_ReFT
  ☆552Updated last year
• princeton-nlp / LESS
  [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
  ☆512Updated last year
• PRIME-RL / PRIME
  Scalable RL solution for advanced reasoning of language models
  ☆1,803Updated 10 months ago
• NovaSky-AI / SkyRL
  SkyRL: A Modular Full-stack RL Library for LLMs
  ☆1,518Updated this week
• openreasoner / openr
  OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models
  ☆1,833Updated last year
• GAIR-NLP / O1-Journey
  O1 Replication Journey
  ☆2,001Updated last year
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆273Updated last year
• eddycmu / demystify-long-cot
  ☆328Updated 8 months ago
• Agent-RL / ReCall
  ReSearch: Learning to Reason with Search for LLMs via Reinforcement Learning & ReCall: Learning to Reason with Tool Call for LLMs via Rei…
  ☆1,314Updated 8 months ago
• huggingface / search-and-learn
  Recipes to scale inference-time compute of open models
  ☆1,124Updated 8 months ago
• NVIDIA-NeMo / Skills
  A project to improve skills of large language models
  ☆804Updated this week
• RUCAIBox / R1-Searcher
  R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning
  ☆683Updated 5 months ago
• Eclipsess / Awesome-Efficient-Reasoning-LLMs
  [TMLR 2025] Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models
  ☆731Updated 3 months ago
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,213Updated last year
• RLHFlow / RLHF-Reward-Modeling
  Recipes to train reward model for RLHF.
  ☆1,512Updated 9 months ago