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"
  ☆584Updated 3 months ago
• qixucen / atom
  [NeurIPS 2025] Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆638Updated 2 months ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆986Updated last month
• microsoft / rStar
  ☆1,383Updated 4 months ago
• facebookresearch / swe-rl
  [NeurIPS'25] Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆667Updated 10 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• deepseek-ai / DeepSeek-Math-V2
  ☆1,540Updated last month
• mingyin0312 / RLFromScratch
  ☆466Updated 5 months ago
• CharlesQ9 / Alita
  ☆869Updated 5 months ago
• aw31 / openai-imo-2025-proofs
  ☆482Updated 6 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,199Updated 5 months ago
• SakanaAI / ShinkaEvolve
  ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
  ☆812Updated this week
• IntologyAI / Zochi
  Repository for Zochi's Research
  ☆299Updated 2 months ago
• sjtu-sai-agents / ML-Master
  The official implementation of "ML-Master: Towards AI-for-AI via Integration of Exploration and Reasoning"
  ☆346Updated 2 weeks ago
• hkust-nlp / CodeIO
  [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  ☆566Updated 8 months ago
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆358Updated 7 months ago
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆498Updated last month
• CharlesQ9 / Self-Evolving-Agents
  ☆830Updated 3 months ago
• project-numina / aimo-progress-prize
  ☆481Updated last year
• lmarena / p2l
  Prompt-to-Leaderboard
  ☆271Updated 8 months ago
• facebookresearch / deepconf
  DeepConf: Deep Think with Confidence
  ☆362Updated 4 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆624Updated 6 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,062Updated 6 months ago
• google-deepmind / alphaevolve_results
  ☆256Updated 3 weeks ago
• ByteDance-Seed / Seed-Prover
  ☆401Updated last month
• RUCAIBox / awesome-llm-pretraining
  Awesome LLM pre-training resources, including data, frameworks, and methods.
  ☆318Updated 9 months ago
• facebookresearch / meta-agents-research-environments
  Meta Agents Research Environments is a comprehensive platform designed to evaluate AI agents in dynamic, realistic scenarios. Unlike stat…
  ☆418Updated last week
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆583Updated 5 months ago
• sunblaze-ucb / Intuitor
  [ICLR 2026] Learning to Reason without External Rewards
  ☆388Updated this week
• liyuan24 / nanoDeepResearch
  A Deep Research agent from scratch
  ☆214Updated 8 months ago