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
  ☆695Updated last week
• magpie-align / magpie
  [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …
  ☆713Updated 3 months ago
• THUDM / ReST-MCTS
  ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)
  ☆639Updated 5 months ago
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆804Updated 6 months ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆604Updated last week
• zhentingqi / rStar
  ☆938Updated 4 months ago
• microsoft / rStar
  ☆569Updated 2 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆226Updated last year
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆897Updated 4 months ago
• eddycmu / demystify-long-cot
  ☆297Updated 3 weeks ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆331Updated 2 weeks ago
• lqtrung1998 / mwp_ReFT
  ☆540Updated 5 months ago
• GAIR-NLP / LIMO
  LIMO: Less is More for Reasoning
  ☆960Updated 2 months ago
• Eclipsess / Awesome-Efficient-Reasoning-LLMs
  Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models
  ☆451Updated this week
• NovaSky-AI / SkyRL
  SkyRL-v0: Train Real-World Long-Horizon Agents via Reinforcement Learning
  ☆410Updated last week
• princeton-nlp / LESS
  [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
  ☆455Updated 8 months ago
• hkust-nlp / deita
  Deita: Data-Efficient Instruction Tuning for Alignment [ICLR2024]
  ☆556Updated 6 months ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.
  ☆379Updated last week
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆236Updated last month
• Agent-RL / ReCall
  ReCall: Learning to Reason with Tool Call for LLMs via Reinforcement Learning
  ☆936Updated last month
• RUCAIBox / R1-Searcher
  R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning
  ☆561Updated 3 weeks ago
• 0russwest0 / Agent-R1
  Agent-R1: Training Powerful LLM Agents with End-to-End Reinforcement Learning
  ☆561Updated 3 weeks ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆988Updated 3 weeks ago
• jzhang38 / EasyContext
  Memory optimization and training recipes to extrapolate language models' context length to 1 million tokens, with minimal hardware.
  ☆731Updated 8 months ago
• QwenLM / AutoIF
  ☆286Updated 10 months ago
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆423Updated this week
• dvlab-research / Step-DPO
  Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
  ☆369Updated 5 months ago
• RLHFlow / RLHF-Reward-Modeling
  Recipes to train reward model for RLHF.
  ☆1,380Updated last month
• BytedTsinghua-SIA / DAPO
  An Open-source RL System from ByteDance Seed and Tsinghua AIR
  ☆1,349Updated last month
• ContextualAI / HALOs
  A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).
  ☆857Updated last week