☆1,098Jan 10, 2026Updated last month
Alternatives and similar repositories for Math-Verify
Users that are interested in Math-Verify are comparing it to the libraries listed below
Sorting:
- Official Repo for Open-Reasoner-Zero☆2,084Jun 2, 2025Updated 8 months ago
- Simple RL training for reasoning☆3,829Dec 23, 2025Updated 2 months ago
- verl: Volcano Engine Reinforcement Learning for LLMs☆19,339Updated this week
- Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends☆2,311Feb 20, 2026Updated last week
- An Easy-to-use, Scalable and High-performance Agentic RL Framework based on Ray (PPO & DAPO & REINFORCE++ & TIS & vLLM & Ray & Async RL)☆9,037Updated this week
- Scalable RL solution for advanced reasoning of language models☆1,806Mar 18, 2025Updated 11 months ago
- Democratizing Reinforcement Learning for LLMs☆5,135Feb 20, 2026Updated last week
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆184May 20, 2025Updated 9 months ago
- A series of technical report on Slow Thinking with LLM☆760Aug 13, 2025Updated 6 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,215Aug 27, 2025Updated 6 months ago
- AllenAI's post-training codebase☆3,592Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆273Apr 26, 2024Updated last year
- Lightning-Fast RL for LLM Reasoning and Agents. Made Simple & Flexible.☆3,559Feb 15, 2026Updated last week
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,091Jun 1, 2023Updated 2 years ago
- Reproduce R1 Zero on Logic Puzzle☆2,437Mar 20, 2025Updated 11 months ago
- Minimalistic large language model 3D-parallelism training☆2,569Feb 19, 2026Updated last week
- A framework for few-shot evaluation of language models.☆11,478Feb 15, 2026Updated last week
- A project to improve skills of large language models☆828Updated this week
- ☆331May 31, 2025Updated 8 months ago
- Fully open reproduction of DeepSeek-R1☆25,890Nov 24, 2025Updated 3 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆120Dec 10, 2024Updated last year
- ☆342Jun 5, 2025Updated 8 months ago
- Train transformer language models with reinforcement learning.☆17,460Updated this week
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,737May 11, 2025Updated 9 months ago
- Recipes to train reward model for RLHF.☆1,515Apr 24, 2025Updated 10 months ago
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,833Jan 17, 2025Updated last year
- ☆762Dec 23, 2025Updated 2 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆282Sep 25, 2025Updated 5 months ago
- RewardBench: the first evaluation tool for reward models.☆696Feb 16, 2026Updated last week
- Scalable toolkit for efficient model alignment☆851Oct 6, 2025Updated 4 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆692Jan 20, 2025Updated last year
- RAGEN leverages reinforcement learning to train LLM reasoning agents in interactive, stochastic environments.☆2,512Feb 18, 2026Updated last week
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆391Jan 19, 2025Updated last year
- Robust recipes to align language models with human and AI preferences☆5,506Sep 8, 2025Updated 5 months ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆633Jan 29, 2026Updated 3 weeks ago
- Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL☆4,041Nov 13, 2025Updated 3 months ago
- A library for advanced large language model reasoning☆2,333Jun 10, 2025Updated 8 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆72Feb 25, 2025Updated last year
- ☆969Jan 23, 2025Updated last year