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
  ☆316Updated last week
• google-deepmind / alphaevolve_results
  ☆230Updated 3 months ago
• thinking-machines-lab / tinker-cookbook
  Post-training with Tinker
  ☆1,028Updated this week
• arcprize / ARC-AGI-2
  ☆491Updated 4 months ago
• PrimeIntellect-ai / prime-rl
  Async RL Training at Scale
  ☆709Updated this week
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆161Updated 5 months ago
• iliao2345 / CompressARC
  ☆193Updated 2 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆335Updated 3 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆171Updated last month
• SakanaAI / ShinkaEvolve
  ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
  ☆553Updated this week
• ByteDance-Seed / Seed-Prover
  ☆298Updated last month
• thinking-machines-lab / batch_invariant_ops
  ☆827Updated this week
• project-numina / aimo-progress-prize
  ☆465Updated last year
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆180Updated 4 months ago
• simple-bench / SimpleBench
  ☆167Updated 9 months ago
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆559Updated 2 months ago
• open-thought / reasoning-gym
  [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
  ☆1,181Updated last week
• microsoft / ArchScale
  Simple & Scalable Pretraining for Neural Architecture Research
  ☆296Updated last month
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆330Updated 11 months ago
• marin-community / marin
  Open-source framework for the research and development of foundation models.
  ☆501Updated this week
• magicproduct / hash-hop
  Long context evaluation for large language models
  ☆223Updated 7 months ago
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆275Updated 3 weeks ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆913Updated 3 weeks ago
• NousResearch / atropos
  Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …
  ☆714Updated this week
• microsoft / dion
  Dion optimizer algorithm
  ☆366Updated 2 weeks ago
• anthropic-experimental / agentic-misalignment
  ☆482Updated 4 months ago
• hijohnnylin / neuronpedia
  open source interpretability platform 🧠
  ☆451Updated this week
• aidanmclaughlin / AidanBench
  Aidan Bench attempts to measure <big_model_smell> in LLMs.
  ☆312Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆209Updated 6 months ago
• LeonGuertler / UnstableBaselines
  ☆104Updated this week