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
  ☆332Updated last week
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆486Updated 3 weeks ago
• google-deepmind / alphaevolve_results
  ☆253Updated 6 months ago
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆165Updated 8 months ago
• arcprize / ARC-AGI-2
  ☆600Updated 7 months ago
• iliao2345 / CompressARC
  ☆213Updated 4 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆211Updated 2 weeks ago
• SakanaAI / ShinkaEvolve
  ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
  ☆773Updated this week
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆286Updated 3 months ago
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆186Updated 6 months ago
• PrimeIntellect-ai / prime-rl
  Async RL Training at Scale
  ☆985Updated this week
• ByteDance-Seed / Seed-Prover
  ☆395Updated 2 weeks ago
• project-numina / aimo-progress-prize
  ☆478Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• microsoft / ArchScale
  Simple & Scalable Pretraining for Neural Architecture Research
  ☆306Updated last month
• LeonGuertler / UnstableBaselines
  ☆116Updated this week
• google-deepmind / alphaevolve_repository_of_problems
  ☆178Updated 3 weeks ago
• alexzhang13 / rlm-minimal
  Super basic implementation (gist-like) of RLMs with REPL environments.
  ☆390Updated this week
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆341Updated 2 months ago
• marin-community / marin
  Open-source framework for the research and development of foundation models.
  ☆700Updated this week
• VsonicV / es-fine-tuning-paper
  This repo contains the source code for the paper "Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning"
  ☆284Updated last month
• magicproduct / hash-hop
  Long context evaluation for large language models
  ☆225Updated 10 months ago
• hijohnnylin / neuronpedia
  open source interpretability platform 🧠
  ☆621Updated this week
• anthropic-experimental / agentic-misalignment
  ☆543Updated 6 months ago
• PrimeIntellect-ai / prime-environments
  Curated collection of community environments
  ☆200Updated this week
• thinking-machines-lab / tinker
  Training API and CLI
  ☆305Updated 3 weeks ago
• microsoft / dion
  Dion optimizer algorithm
  ☆413Updated this week
• jerber / lang-jepa
  ☆131Updated last year
• google-deepmind / mishax
  ☆150Updated 4 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆611Updated 5 months ago