☆1,170Jan 10, 2026Updated 6 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,868Dec 23, 2025Updated 6 months ago
- Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends☆2,486Jun 29, 2026Updated 3 weeks ago
- Democratizing Reinforcement Learning for LLMs☆5,708Updated this week
- Scalable RL solution for advanced reasoning of language models☆1,865Mar 18, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework☆22,571Updated this week
- An Easy-to-use, Scalable and High-performance Agentic RL Framework based on Ray (PPO & DAPO & REINFORCE++ & VLM & TIS & vLLM & Ray & Asy…☆9,828Jul 14, 2026Updated last week
- Scaling RL on advanced reasoning models☆691Oct 20, 2025Updated 9 months ago
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆189May 20, 2025Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,267Aug 27, 2025Updated 10 months ago
- A series of technical report on Slow Thinking with LLM☆767Aug 13, 2025Updated 11 months ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,150Jun 1, 2023Updated 3 years ago
- AllenAI's post-training codebase☆3,801Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆277Apr 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reproduce R1 Zero on Logic Puzzle☆2,453Mar 20, 2025Updated last year
- Fully open reproduction of DeepSeek-R1☆26,411Apr 2, 2026Updated 3 months ago
- A framework for few-shot evaluation of language models.☆13,340Jul 13, 2026Updated last week
- slime is an LLM post-training framework for RL Scaling.☆7,551Updated this week
- ☆341Jun 5, 2025Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆120Dec 10, 2024Updated last year
- Train transformer language models with reinforcement learning.☆18,892Updated this week
- Recipes to train reward model for RLHF.☆1,534Apr 24, 2025Updated last year
- ☆336May 31, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Minimalistic large language model 3D-parallelism training☆2,755May 26, 2026Updated last month
- [ICLR 2026] End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆401Mar 30, 2026Updated 3 months ago
- SkyRL: A Modular Full-stack RL Library for LLMs☆2,081Updated this week
- [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards☆1,463Apr 17, 2026Updated 3 months ago
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,840May 11, 2025Updated last year
- A project to improve skills of large language models☆1,011Updated this week
- The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.☆5,575Updated this week
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,848Jan 17, 2025Updated last year
- ☆764Dec 23, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An Efficient and User-Friendly Scaling Library for Reinforcement Learning with Large Language Models☆3,312Updated this week
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆709Jan 20, 2025Updated last year
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆667Jan 29, 2026Updated 5 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆294Sep 25, 2025Updated 9 months ago
- RewardBench: the first evaluation tool for reward models.☆727Feb 16, 2026Updated 5 months ago
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆398Jan 19, 2025Updated last year
- ☆361Jul 29, 2025Updated 11 months ago