huggingface / Math-VerifyLinks
☆948Updated 2 months ago
Alternatives and similar repositories for Math-Verify
Users that are interested in Math-Verify are comparing it to the libraries listed below
Sorting:
- A series of technical report on Slow Thinking with LLM☆737Updated last month
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆668Updated 8 months ago
- Large Reasoning Models☆805Updated 9 months ago
- ☆963Updated 8 months ago
- [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward☆923Updated 7 months ago
- RewardBench: the first evaluation tool for reward models.☆638Updated 3 months ago
- [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …☆775Updated 6 months ago
- SkyRL: A Modular Full-stack RL Library for LLMs☆906Updated this week
- A version of verl to support diverse tool use☆551Updated last week
- ☆340Updated 3 months ago
- [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning☆496Updated 11 months ago
- [COLM 2025] LIMO: Less is More for Reasoning☆1,022Updated 2 months ago
- ☆318Updated 4 months ago
- ☆549Updated 9 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆257Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,100Updated last month
- A project to improve skills of large language models☆568Updated this week
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆472Updated 2 weeks ago
- A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).☆888Updated this week
- LongBench v2 and LongBench (ACL 25'&24')☆977Updated 8 months ago
- [TMLR 2025] Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models☆627Updated 2 weeks ago
- slime is an LLM post-training framework for RL Scaling.☆1,915Updated this week
- Official Repo for Open-Reasoner-Zero☆2,045Updated 3 months ago
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,821Updated 8 months ago
- Scalable toolkit for efficient model alignment☆839Updated 2 months ago
- Agent-R1: Training Powerful LLM Agents with End-to-End Reinforcement Learning☆818Updated 2 months ago
- Automatic evals for LLMs☆533Updated 3 months ago
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆383Updated 8 months ago
- R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning☆639Updated last month
- ReCall: Learning to Reason with Tool Call for LLMs via Reinforcement Learning☆1,207Updated 4 months ago