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
  ☆297Updated last week
• arcprize / ARC-AGI-2
  ☆415Updated 2 months ago
• google-deepmind / alphaevolve_results
  ☆215Updated last month
• PrimeIntellect-ai / prime-rl
  Decentralized RL Training at Scale
  ☆416Updated this week
• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆1,030Updated last week
• goodfire-ai / r1-interpretability
  Open source interpretability artefacts for R1.
  ☆157Updated 3 months ago
• ByteDance-Seed / Seed-Prover
  ☆259Updated 2 weeks ago
• marin-community / marin
  ☆363Updated this week
• iliao2345 / CompressARC
  ☆174Updated 4 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆322Updated last month
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆193Updated this week
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆324Updated 8 months ago
• project-numina / aimo-progress-prize
  ☆462Updated last year
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆518Updated 2 weeks ago
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆238Updated last week
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆810Updated 3 weeks ago
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆168Updated last month
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆155Updated last week
• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆515Updated last month
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆541Updated 3 weeks ago
• NousResearch / atropos
  Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …
  ☆582Updated this week
• LeonGuertler / UnstableBaselines
  ☆98Updated last week
• jerber / lang-jepa
  ☆118Updated 7 months ago
• anthropic-experimental / agentic-misalignment
  ☆399Updated last month
• SakanaAI / evo-memory
  Code to train and evaluate Neural Attention Memory Models to obtain universally-applicable memory systems for transformers.
  ☆318Updated 9 months ago
• facebookresearch / memory
  Memory layers use a trainable key-value lookup mechanism to add extra parameters to a model without increasing FLOPs. Conceptually, spars…
  ☆343Updated 8 months ago
• microsoft / ArchScale
  Simple & Scalable Pretraining for Neural Architecture Research
  ☆286Updated last week
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆837Updated this week
• microsoft / dion
  Dion optimizer algorithm
  ☆259Updated last week
• eqimp / hogwild_llm
  Official PyTorch implementation for Hogwild! Inference: Parallel LLM Generation with a Concurrent Attention Cache
  ☆117Updated last month