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
  ☆305Updated 3 weeks ago
• PrimeIntellect-ai / prime-rl
  Decentralized RL Training at Scale
  ☆546Updated this week
• google-deepmind / alphaevolve_results
  ☆224Updated 2 months ago
• arcprize / ARC-AGI-2
  ☆448Updated 3 months ago
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆157Updated 4 months ago
• hijohnnylin / neuronpedia
  open source interpretability platform 🧠
  ☆375Updated this week
• ByteDance-Seed / Seed-Prover
  ☆282Updated last month
• project-numina / aimo-progress-prize
  ☆465Updated last year
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆261Updated 2 weeks ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆324Updated last month
• iliao2345 / CompressARC
  ☆180Updated 2 weeks ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆160Updated 3 weeks ago
• emergent-misalignment / emergent-misalignment
  ☆198Updated 5 months ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆328Updated 9 months ago
• magicproduct / hash-hop
  Long context evaluation for large language models
  ☆219Updated 6 months ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆531Updated last month
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆174Updated 2 months ago
• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆1,069Updated last week
• NousResearch / atropos
  Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …
  ☆651Updated last week
• anthropic-experimental / agentic-misalignment
  ☆410Updated 2 months ago
• microsoft / ArchScale
  Simple & Scalable Pretraining for Neural Architecture Research
  ☆290Updated 2 weeks ago
• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆519Updated last month
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆549Updated 3 weeks ago
• facebookresearch / memory
  Memory layers use a trainable key-value lookup mechanism to add extra parameters to a model without increasing FLOPs. Conceptually, spars…
  ☆346Updated 8 months ago
• SWE-bench / SWE-smith
  Scaling Data for SWE-agents
  ☆386Updated last week
• marin-community / marin
  ☆387Updated this week
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆251Updated last week
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆854Updated last week
• jerber / lang-jepa
  ☆119Updated 8 months ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆607Updated this week