huggingface / Math-VerifyLinks
☆1,084Updated 3 weeks 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☆758Updated 5 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆688Updated last year
- ☆971Updated last year
- Large Reasoning Models☆807Updated last year
- [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …☆825Updated 10 months ago
- RewardBench: the first evaluation tool for reward models.☆685Updated this week
- [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward☆944Updated 11 months ago
- [COLM 2025] LIMO: Less is More for Reasoning☆1,061Updated 6 months ago
- A version of verl to support diverse tool use☆852Updated 3 weeks ago
- Official Repo for Open-Reasoner-Zero☆2,086Updated 8 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,203Updated 5 months ago
- ☆341Updated 7 months ago
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,715Updated 8 months ago
- A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).☆903Updated 4 months ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆623Updated this week
- ☆552Updated last year
- [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning☆512Updated last year
- Scalable RL solution for advanced reasoning of language models☆1,803Updated 10 months ago
- SkyRL: A Modular Full-stack RL Library for LLMs☆1,518Updated this week
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,833Updated last year
- O1 Replication Journey☆2,001Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆273Updated last year
- ☆328Updated 8 months ago
- ReSearch: Learning to Reason with Search for LLMs via Reinforcement Learning & ReCall: Learning to Reason with Tool Call for LLMs via Rei…☆1,314Updated 8 months ago
- Recipes to scale inference-time compute of open models☆1,124Updated 8 months ago
- A project to improve skills of large language models☆804Updated this week
- R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning☆683Updated 5 months ago
- [TMLR 2025] Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models☆731Updated 3 months ago
- A bibliography and survey of the papers surrounding o1☆1,213Updated last year
- Recipes to train reward model for RLHF.☆1,512Updated 9 months ago