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"
  ☆519Updated last month
• qixucen / atom
  Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆585Updated 2 months ago
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆593Updated 5 months ago
• mingyin0312 / RLFromScratch
  ☆405Updated last week
• microsoft / rStar
  ☆636Updated this week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆324Updated last month
• 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.
  ☆549Updated 2 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,072Updated this week
• CharlesQ9 / Alita
  ☆791Updated 2 months ago
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆846Updated this week
• BytedTsinghua-SIA / MemAgent
  A MemAgent framework that can be extrapolated to 3.5M, along with a training framework for RL training of any agent workflow.
  ☆625Updated last month
• aw31 / openai-imo-2025-proofs
  ☆474Updated last month
• hkust-nlp / CodeIO
  [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  ☆546Updated 3 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆531Updated last month
• QwenLM / ParScale
  Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling
  ☆435Updated 3 months ago
• ByteDance-Seed / Seed-Prover
  ☆282Updated last month
• lmarena / p2l
  Prompt-to-Leaderboard
  ☆250Updated 3 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆938Updated last week
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆335Updated 2 months ago
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆549Updated 3 weeks ago
• google-deepmind / alphaevolve_results
  ☆224Updated 2 months ago
• NovaSky-AI / SkyRL
  SkyRL: A Modular Full-stack RL Library for LLMs
  ☆765Updated this week
• IntologyAI / Zochi
  Repository for Zochi's Research
  ☆260Updated last week
• brendanhogan / DeepSeekRL-Extended
  Exploring Applications of GRPO
  ☆246Updated last week
• sunblaze-ucb / Intuitor
  Code for the paper: "Learning to Reason without External Rewards"
  ☆349Updated last month
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,010Updated last month
• allenai / codescientist
  CodeScientist: An automated scientific discovery system for code-based experiments
  ☆289Updated 2 months ago
• project-numina / aimo-progress-prize
  ☆464Updated last year
• dCaples / AutoDidact
  Autonomously train research-agent LLMs on custom data using reinforcement learning and self-verification.
  ☆660Updated 5 months ago
• camel-ai / loong
  🐉 Loong: Synthesize Long CoTs at Scale through Verifiers.
  ☆316Updated last month