Alternatives and similar repositories for aimo2

Users that are interested in aimo2 are comparing it to the libraries listed below

• TIGER-AI-Lab / verl-tool
  A version of verl to support tool use
  ☆251Updated last week
• princeton-nlp / ProLong
  Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"
  ☆189Updated 3 months ago
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆153Updated 3 months ago
• GAIR-NLP / ToRL
  ☆220Updated last month
• QwenLM / ProcessBench
  Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"
  ☆158Updated last month
• cmu-l3 / l1
  L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
  ☆222Updated last month
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate"
  ☆159Updated 3 weeks ago
• ADaM-BJTU / OpenRFT
  OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning
  ☆144Updated 6 months ago
• SkyworkAI / skywork-o1-prm-inference
  ☆63Updated 7 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆94Updated 3 months ago
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆108Updated 6 months ago
• Open-Source-O1 / o1_Reasoning_Patterns_Study
  ☆103Updated 6 months ago
• PRIME-RL / Entropy-Mechanism-of-RL
  The Entropy Mechanism of Reinforcement Learning for Large Language Model Reasoning.
  ☆191Updated last week
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆113Updated 2 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆84Updated 6 months ago
• ReTool-RL / ReTool
  ☆125Updated last month
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆228Updated last year
• GAIR-NLP / LIMR
  ☆203Updated 4 months ago
• Zanette-Labs / efficient-reasoning
  ☆65Updated 2 months ago
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆59Updated 4 months ago
• modelscope / Trinity-RFT
  Trinity-RFT is a general-purpose, flexible and scalable framework designed for reinforcement fine-tuning (RFT) of large language models (…
  ☆127Updated this week
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of RL Scaling
  ☆62Updated 2 months ago
• hemingkx / TokenSkip
  TokenSkip: Controllable Chain-of-Thought Compression in LLMs
  ☆156Updated 3 months ago
• NVlabs / Tool-N1
  ☆157Updated 3 weeks ago
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆131Updated 11 months ago
• Zanette-Labs / SpeculativeRejection
  [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection
  ☆45Updated 7 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆75Updated 11 months ago
• sail-sg / regmix
  [ICLR 2025] 🧬 RegMix: Data Mixture as Regression for Language Model Pre-training (Spotlight)
  ☆149Updated 4 months ago
• eddycmu / demystify-long-cot
  ☆300Updated 3 weeks ago
• infinigence / LVEval
  Repository of LV-Eval Benchmark
  ☆67Updated 9 months ago