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
  ☆624Updated last week
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆869Updated 2 months ago
• THUDM / ReST-MCTS
  ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)
  ☆609Updated 2 months ago
• zhentingqi / rStar
  ☆921Updated 2 months ago
• microsoft / rStar
  ☆513Updated this week
• eddycmu / demystify-long-cot
  ☆278Updated 3 weeks ago
• magpie-align / magpie
  [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …
  ☆673Updated 3 weeks ago
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆800Updated 4 months ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆547Updated last month
• ContextualAI / HALOs
  A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).
  ☆829Updated 3 weeks ago
• lqtrung1998 / mwp_ReFT
  ☆513Updated 3 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆845Updated this week
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆196Updated 11 months ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.
  ☆320Updated this week
• MARIO-Math-Reasoning / Super_MARIO
  ☆325Updated 2 months ago
• QwenLM / AutoIF
  ☆265Updated 8 months ago
• hkust-nlp / deita
  Deita: Data-Efficient Instruction Tuning for Alignment [ICLR2024]
  ☆546Updated 4 months ago
• BytedTsinghua-SIA / DAPO
  An Open-source RL System from ByteDance Seed and Tsinghua AIR
  ☆1,099Updated this week
• dvlab-research / Step-DPO
  Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
  ☆358Updated 2 months ago
• princeton-nlp / LESS
  [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
  ☆427Updated 5 months ago
• RLHFlow / RLHF-Reward-Modeling
  Recipes to train reward model for RLHF.
  ☆1,281Updated 2 months ago
• OpenBMB / InfiniteBench
  Codes for the paper "∞Bench: Extending Long Context Evaluation Beyond 100K Tokens": https://arxiv.org/abs/2402.13718
  ☆317Updated 6 months ago
• FranxYao / Long-Context-Data-Engineering
  Implementation of paper Data Engineering for Scaling Language Models to 128K Context
  ☆457Updated last year
• HKUNLP / ChunkLlama
  [ICML'24] Data and code for our paper "Training-Free Long-Context Scaling of Large Language Models"
  ☆402Updated 5 months ago
• jzhang38 / EasyContext
  Memory optimization and training recipes to extrapolate language models' context length to 1 million tokens, with minimal hardware.
  ☆715Updated 6 months ago
• Gen-Verse / ReasonFlux
  ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates
  ☆369Updated last week
• YuxiXie / MCTS-DPO
  This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.
  ☆301Updated 8 months ago
• hemingkx / Awesome-Efficient-Reasoning
  Paper list for Efficient Reasoning.
  ☆372Updated this week
• voidism / DoLa
  Official implementation for the paper "DoLa: Decoding by Contrasting Layers Improves Factuality in Large Language Models"
  ☆478Updated 2 months ago
• huggingface / search-and-learn
  Recipes to scale inference-time compute of open models
  ☆1,051Updated last month