Alternatives and similar repositories for aimo2

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

• GAIR-NLP / ToRL
  ☆153Updated last month
• ADaM-BJTU / OpenRFT
  OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning
  ☆135Updated 4 months ago
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆146Updated 2 months ago
• cmu-l3 / l1
  L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
  ☆198Updated last week
• yyDing1 / ScaleQuest
  We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLMs.
  ☆62Updated 6 months ago
• GAIR-NLP / LIMR
  ☆194Updated 2 months ago
• princeton-nlp / ProLong
  Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"
  ☆179Updated 2 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆211Updated last year
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆94Updated 3 weeks ago
• QwenLM / ProcessBench
  ☆151Updated 4 months ago
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆105Updated 5 months ago
• yegcjs / mixinglaws
  ☆98Updated 7 months ago
• jackfsuia / nanoRLHF
  RLHF experiments on a single A100 40G GPU. Support PPO, GRPO, REINFORCE, RAFT, RLOO, ReMax, DeepSeek R1-Zero reproducing.
  ☆58Updated 2 months ago
• AlphaPav / mem-kk-logic
  On Memorization of Large Language Models in Logical Reasoning
  ☆64Updated last month
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate"
  ☆144Updated 3 weeks ago
• SkyworkAI / skywork-o1-prm-inference
  ☆63Updated 5 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆93Updated 2 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆60Updated 4 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆76Updated 10 months ago
• kanishkg / cognitive-behaviors
  ☆165Updated last month
• qiancheng0 / ToolRL
  ☆132Updated 2 weeks ago
• zankner / CLoud
  Critique-out-Loud Reward Models
  ☆64Updated 6 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 (…
  ☆77Updated this week
• THUDM / T1
  Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling
  ☆101Updated 3 months ago
• hemingkx / TokenSkip
  TokenSkip: Controllable Chain-of-Thought Compression in LLMs
  ☆138Updated 2 months ago
• NumberChiffre / mcts-llm
  ☆94Updated 4 months ago
• MozerWang / Loong
  [EMNLP 2024 (Oral)] Leave No Document Behind: Benchmarking Long-Context LLMs with Extended Multi-Doc QA
  ☆124Updated 6 months ago
• JerryWu-code / TinyZero
  Deepseek R1 zero tiny version own reproduce on two A100s.
  ☆66Updated 3 months ago
• BrendanGraham14 / mcts-llm
  ☆122Updated 10 months ago
• sail-sg / regmix
  [ICLR 2025] 🧬 RegMix: Data Mixture as Regression for Language Model Pre-training (Spotlight)
  ☆133Updated 2 months ago