Alternatives and similar repositories for IMO25

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

• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆538Updated 2 weeks ago
• ByteDance-Seed / Seed-Coder
  Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.
  ☆572Updated 4 months ago
• facebookresearch / swe-rl
  [NeurIPS'25] Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆607Updated 7 months ago
• CharlesQ9 / Alita
  ☆835Updated last month
• qixucen / atom
  [NeurIPS 2025] Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆589Updated 4 months ago
• aw31 / openai-imo-2025-proofs
  ☆476Updated 3 months ago
• microsoft / rStar
  ☆1,309Updated last month
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆924Updated last week
• mingyin0312 / RLFromScratch
  ☆446Updated last month
• hkust-nlp / CodeIO
  [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  ☆554Updated 5 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,037Updated 2 months ago
• IntologyAI / Zochi
  Repository for Zochi's Research
  ☆280Updated 2 months ago
• project-numina / aimo-progress-prize
  ☆465Updated last year
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,126Updated 2 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆337Updated 3 months ago
• OPPO-PersonalAI / Agent-KB
  Agent KB: Leveraging Cross-Domain Experience for Agentic Problem Solving
  ☆374Updated 2 months ago
• lmarena / p2l
  Prompt-to-Leaderboard
  ☆260Updated 5 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆553Updated 2 months ago
• thinking-machines-lab / tinker-cookbook
  Post-training with Tinker
  ☆1,096Updated last week
• camel-ai / loong
  🐉 Loong: Synthesize Long CoTs at Scale through Verifiers.
  ☆451Updated 3 weeks ago
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆560Updated 2 months ago
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆346Updated 4 months ago
• sunblaze-ucb / Intuitor
  Code for the paper: "Learning to Reason without External Rewards"
  ☆366Updated 3 months ago
• RUCAIBox / awesome-llm-pretraining
  Awesome LLM pre-training resources, including data, frameworks, and methods.
  ☆269Updated 5 months ago
• agentica-project / rllm
  ☆246Updated last month
• facebookresearch / cwm
  Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
  ☆682Updated last month
• ByteDance-Seed / Seed-Prover
  ☆299Updated last month
• WooooDyy / AgentGym-RL
  Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcemen…
  ☆453Updated last month
• Agent-RL / ReCall
  ReCall: Learning to Reason with Tool Call for LLMs via Reinforcement Learning
  ☆1,221Updated 5 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,034Updated last month