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
  ☆595Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆799Updated 3 months ago
• THUDM / ReST-MCTS
  ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)
  ☆597Updated 2 months ago
• magpie-align / magpie
  [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …
  ☆660Updated last week
• zhentingqi / rStar
  ☆910Updated 2 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆325Updated last month
• BytedTsinghua-SIA / DAPO
  An Open-source RL System from ByteDance Seed and Tsinghua AIR
  ☆767Updated last week
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆532Updated last month
• eddycmu / demystify-long-cot
  ☆260Updated last week
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆851Updated last month
• QwenLM / AutoIF
  ☆264Updated 8 months ago
• microsoft / rStar
  ☆485Updated last week
• lqtrung1998 / mwp_ReFT
  ☆504Updated 2 months ago
• RLHFlow / RLHF-Reward-Modeling
  Recipes to train reward model for RLHF.
  ☆1,257Updated last month
• sail-sg / oat-zero
  A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.
  ☆212Updated this week
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆191Updated 11 months ago
• YuxiXie / MCTS-DPO
  This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.
  ☆299Updated 7 months ago
• dvlab-research / Step-DPO
  Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
  ☆357Updated 2 months ago
• FranxYao / Long-Context-Data-Engineering
  Implementation of paper Data Engineering for Scaling Language Models to 128K Context
  ☆454Updated last year
• RUCAIBox / R1-Searcher
  R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning
  ☆376Updated this week
• princeton-nlp / LESS
  [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
  ☆424Updated 5 months ago
• hkust-nlp / deita
  Deita: Data-Efficient Instruction Tuning for Alignment [ICLR2024]
  ☆542Updated 3 months ago
• Open-Reasoner-Zero / Open-Reasoner-Zero
  Official Repo for Open-Reasoner-Zero
  ☆1,667Updated 3 weeks ago
• voidism / DoLa
  Official implementation for the paper "DoLa: Decoding by Contrasting Layers Improves Factuality in Large Language Models"
  ☆475Updated 2 months ago
• OpenBMB / InfiniteBench
  Codes for the paper "∞Bench: Extending Long Context Evaluation Beyond 100K Tokens": https://arxiv.org/abs/2402.13718
  ☆313Updated 6 months ago
• GAIR-NLP / LIMO
  LIMO: Less is More for Reasoning
  ☆864Updated last month
• NVIDIA / NeMo-Aligner
  Scalable toolkit for efficient model alignment
  ☆753Updated last week
• GAIR-NLP / LIMR
  ☆166Updated last month
• ContextualAI / HALOs
  A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).
  ☆819Updated this week
• RLHFlow / Online-RLHF
  A recipe for online RLHF and online iterative DPO.
  ☆502Updated 3 months ago