Alternatives and similar repositories for aimo-progress-prize

Users that are interested in aimo-progress-prize are comparing it to the libraries listed below

• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆359Updated 7 months ago
• NVIDIA-NeMo / Skills
  A project to improve skills of large language models
  ☆813Updated this week
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆554Updated last year
• trotsky1997 / MathBlackBox
  ☆1,033Updated last year
• Goedel-LM / Goedel-Prover
  ☆224Updated 10 months ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.
  ☆627Updated 2 weeks ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆343Updated 3 months ago
• huggingface / Math-Verify
  ☆1,088Updated last month
• idavidrein / gpqa
  GPQA: A Graduate-Level Google-Proof Q&A Benchmark
  ☆466Updated last year
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆216Updated last week
• MARIO-Math-Reasoning / Super_MARIO
  ☆342Updated 8 months ago
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆579Updated last month
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,062Updated 6 months ago
• open-thought / reasoning-gym
  [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
  ☆1,332Updated 3 weeks ago
• allenai / olmes
  Reproducible, flexible LLM evaluations
  ☆338Updated 2 weeks ago
• WildEval / ZeroEval
  A simple unified framework for evaluating LLMs
  ☆261Updated 9 months ago
• huggingface / cosmopedia
  ☆564Updated last year
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆687Updated last week
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆285Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆316Updated last year
• allenai / OLMo-core
  PyTorch building blocks for the OLMo ecosystem
  ☆785Updated this week
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆273Updated last year
• ByteDance-Seed / Seed-Prover
  ☆411Updated last month
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆339Updated 3 months ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆419Updated 10 months ago
• keirp / OpenWebMath
  ☆167Updated last year
• TextArena / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆350Updated last week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆807Updated last year
• eddycmu / demystify-long-cot
  ☆330Updated 8 months ago
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,212Updated last year