☆1,149Jan 10, 2026Updated 4 months ago
Alternatives and similar repositories for Math-Verify
Users that are interested in Math-Verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official Repo for Open-Reasoner-Zero☆2,096Jun 2, 2025Updated last year
- Simple RL training for reasoning☆3,864Dec 23, 2025Updated 5 months ago
- verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework☆21,699Jun 2, 2026Updated last week
- Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends☆2,437May 29, 2026Updated last week
- Scalable RL solution for advanced reasoning of language models☆1,861Mar 18, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An Easy-to-use, Scalable and High-performance Agentic RL Framework based on Ray (PPO & DAPO & REINFORCE++ & VLM & TIS & vLLM & Ray & Asy…☆9,594May 28, 2026Updated last week
- Democratizing Reinforcement Learning for LLMs☆5,592Updated this week
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆190May 20, 2025Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,260Aug 27, 2025Updated 9 months ago
- A series of technical report on Slow Thinking with LLM☆765Aug 13, 2025Updated 9 months ago
- AllenAI's post-training codebase☆3,740Jun 1, 2026Updated last week
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,141Jun 1, 2023Updated 3 years ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆276Apr 26, 2024Updated 2 years ago
- Reproduce R1 Zero on Logic Puzzle☆2,450Mar 20, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fully open reproduction of DeepSeek-R1☆26,034Apr 2, 2026Updated 2 months ago
- A framework for few-shot evaluation of language models.☆12,783May 11, 2026Updated 3 weeks ago
- The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.☆5,255Updated this week
- ☆340Jun 5, 2025Updated last year
- ☆337May 31, 2025Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆122Dec 10, 2024Updated last year
- Train transformer language models with reinforcement learning.☆18,547Updated this week
- Recipes to train reward model for RLHF.☆1,532Apr 24, 2025Updated last year
- Minimalistic large language model 3D-parallelism training☆2,711May 26, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,815May 11, 2025Updated last year
- A project to improve skills of large language models☆969Updated this week
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆706Jan 20, 2025Updated last year
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,846Jan 17, 2025Updated last year
- ☆767Dec 23, 2025Updated 5 months ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆660Jan 29, 2026Updated 4 months ago
- RAGEN leverages reinforcement learning to train LLM reasoning agents in interactive, stochastic environments.☆2,689Apr 14, 2026Updated last month
- RewardBench: the first evaluation tool for reward models.☆718Feb 16, 2026Updated 3 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆291Sep 25, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆397Jan 19, 2025Updated last year
- Robust recipes to align language models with human and AI preferences☆5,604May 26, 2026Updated 2 weeks ago
- Minimal reproduction of DeepSeek R1-Zero☆13,140Feb 27, 2026Updated 3 months ago
- A library for advanced large language model reasoning☆2,343Jun 10, 2025Updated 11 months ago
- O1 Replication Journey☆2,000Jan 14, 2025Updated last year
- [COLM 2025] LIMO: Less is More for Reasoning☆1,077Jul 30, 2025Updated 10 months ago
- Fully open data curation for reasoning models☆2,271Dec 2, 2025Updated 6 months ago