Alternatives and similar repositories for openai-imo-2025-proofs

Users that are interested in openai-imo-2025-proofs are comparing it to the libraries listed below

• arcprize / arc-agi-benchmarking
  Testing baseline LLMs performance across various models
  ☆310Updated last month
• PrimeIntellect-ai / prime-rl
  Async RL Training at Scale
  ☆650Updated this week
• google-deepmind / alphaevolve_results
  ☆226Updated 3 months ago
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆159Updated 5 months ago
• arcprize / ARC-AGI-2
  ☆471Updated 4 months ago
• ByteDance-Seed / Seed-Prover
  ☆295Updated last week
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆165Updated last week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆327Updated 2 months ago
• marin-community / marin
  Open-source framework for the research and development of foundation models.
  ☆452Updated this week
• project-numina / aimo-progress-prize
  ☆466Updated last year
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆328Updated 10 months ago
• iliao2345 / CompressARC
  ☆187Updated last month
• NousResearch / atropos
  Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …
  ☆697Updated this week
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆280Updated this week
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆178Updated 3 months ago
• PrimeIntellect-ai / prime-environments
  Training-Ready RL Environments + Evals
  ☆111Updated this week
• TransluceAI / observatory
  A toolkit for describing model features and intervening on those features to steer behavior.
  ☆202Updated 10 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆544Updated last month
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆556Updated last month
• hijohnnylin / neuronpedia
  open source interpretability platform 🧠
  ☆425Updated this week
• magicproduct / hash-hop
  Long context evaluation for large language models
  ☆222Updated 6 months ago
• LeonGuertler / UnstableBaselines
  ☆101Updated last week
• anthropic-experimental / agentic-misalignment
  ☆430Updated 3 months ago
• open-thought / reasoning-gym
  [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
  ☆1,140Updated last week
• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆534Updated 2 months ago
• pyember / ember
  ☆224Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆207Updated 5 months ago
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆269Updated this week
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆860Updated 3 weeks ago
• thinking-machines-lab / batch_invariant_ops
  ☆725Updated 2 weeks ago