huggingface / Math-VerifyLinks
☆824Updated last week
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☆706Updated last month
- ☆946Updated 5 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆643Updated 5 months ago
- RewardBench: the first evaluation tool for reward models.☆609Updated last month
- [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward☆904Updated 4 months ago
- Large Reasoning Models☆805Updated 7 months ago
- ☆585Updated 2 months ago
- [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …☆728Updated 3 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆227Updated last year
- ☆334Updated last month
- [COLM 2025] LIMO: Less is More for Reasoning☆977Updated this week
- Scalable RL solution for advanced reasoning of language models☆1,650Updated 3 months ago
- ☆303Updated last month
- ☆543Updated 6 months ago
- A project to improve skills of large language models☆456Updated this week
- [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning☆460Updated 8 months ago
- SkyRL: A Modular Full-stack RL Library for LLMs☆574Updated this week
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆397Updated this week
- Official Repo for Open-Reasoner-Zero☆1,985Updated last month
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,023Updated last week
- Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models☆509Updated last week
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,797Updated 5 months ago
- A library with extensible implementations of DPO, KTO, PPO, ORPO, and other human-aware loss functions (HALOs).☆865Updated 2 weeks ago
- Memory optimization and training recipes to extrapolate language models' context length to 1 million tokens, with minimal hardware.☆734Updated 9 months ago
- Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"☆244Updated last month
- An Open-source RL System from ByteDance Seed and Tsinghua AIR☆1,421Updated 2 months ago
- R1-searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning☆588Updated last month
- A bibliography and survey of the papers surrounding o1☆1,205Updated 7 months ago
- LongBench v2 and LongBench (ACL 25'&24')☆921Updated 5 months ago
- Scalable toolkit for efficient model alignment☆820Updated this week