☆1,191Jan 10, 2026Updated 8 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:
- Simple RL training for reasoning☆3,873Dec 23, 2025Updated 8 months ago
- Official Repo for Open-Reasoner-Zero☆2,098Jun 2, 2025Updated last year
- verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework☆23,487Updated this week
- Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends☆2,545Updated this week
- Democratizing Reinforcement Learning for LLMs☆5,828Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An Easy-to-use, Scalable and High-performance Agentic RL Framework based on Ray (PPO & DAPO & REINFORCE++ & VLM & TIS & vLLM & Ray & Asy…☆10,015Updated this week
- Scalable RL solution for advanced reasoning of language models☆1,874Mar 18, 2025Updated last year
- A series of technical report on Slow Thinking with LLM☆768Aug 13, 2025Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,277Aug 27, 2025Updated last year
- slime is an LLM post-training framework for RL Scaling.☆8,499Updated this week
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,873May 11, 2025Updated last year
- A framework for few-shot evaluation of language models.☆14,017Updated this week
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆194May 20, 2025Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,148Jun 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SkyRL: A Modular Full-stack RL Library for LLMs☆2,321Updated this week
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆670Jan 29, 2026Updated 7 months ago
- [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards☆1,509Apr 17, 2026Updated 5 months ago
- Scaling RL on advanced reasoning models☆695Oct 20, 2025Updated 10 months ago
- AllenAI's post-training codebase☆3,872Updated this week
- Train transformer language models with reinforcement learning.☆19,339Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆279Apr 26, 2024Updated 2 years ago
- Recipes to train reward model for RLHF.☆1,544Apr 24, 2025Updated last year
- Fully open reproduction of DeepSeek-R1☆26,471Apr 2, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Reproduce R1 Zero on Logic Puzzle☆2,450Mar 20, 2025Updated last year
- A project to improve skills of large language models☆1,040Updated this week
- Agent RL framework for LLM agents: multi-turn reinforcement learning with StarPO and reasoning-collapse diagnostics☆2,805Aug 23, 2026Updated 3 weeks ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆232Nov 27, 2025Updated 9 months ago
- [ICLR 2026] End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆405Mar 30, 2026Updated 5 months ago
- Minimalistic large language model 3D-parallelism training☆2,825Updated this week
- An Efficient and User-Friendly Scaling Library for Reinforcement Learning with Large Language Models☆3,400Updated this week
- The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.☆5,774Updated this week
- A version of verl to support diverse tool use [TMLR 2026]☆1,041Jul 15, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆364Jul 29, 2025Updated last year
- RewardBench: the first evaluation tool for reward models.☆740Feb 16, 2026Updated 7 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆713Jan 20, 2025Updated last year
- ☆335May 31, 2025Updated last year
- Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL☆5,431Nov 13, 2025Updated 10 months ago
- ☆765Dec 23, 2025Updated 8 months ago
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,858Jan 17, 2025Updated last year