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.
  ☆349Updated 6 months ago
• NVIDIA-NeMo / Skills
  A project to improve skills of large language models
  ☆786Updated this week
• trotsky1997 / MathBlackBox
  ☆1,032Updated last year
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆213Updated last month
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆553Updated last year
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆342Updated 2 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆340Updated 7 months ago
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆575Updated last month
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.
  ☆618Updated 2 weeks ago
• allenai / olmes
  Reproducible, flexible LLM evaluations
  ☆327Updated 2 months ago
• idavidrein / gpqa
  GPQA: A Graduate-Level Google-Proof Q&A Benchmark
  ☆461Updated last year
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆284Updated last year
• keirp / OpenWebMath
  ☆167Updated last year
• huggingface / Math-Verify
  ☆1,080Updated 2 weeks ago
• ByteDance-Seed / Seed-Prover
  ☆397Updated last month
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆273Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆225Updated 9 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆273Updated last year
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆683Updated last week
• FranxYao / Long-Context-Data-Engineering
  Implementation of paper Data Engineering for Scaling Language Models to 128K Context
  ☆482Updated last year
• TextArena / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆344Updated 2 weeks ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆82Updated last year
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆807Updated last year
• zhentingqi / rStar
  ☆971Updated last year
• lm-sys / llm-decontaminator
  Code for the paper "Rethinking Benchmark and Contamination for Language Models with Rephrased Samples"
  ☆315Updated 2 years ago
• expz / quiet-star
  Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)
  ☆54Updated last year
• open-thought / reasoning-gym
  [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
  ☆1,318Updated last week
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
  ☆618Updated 5 months ago
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆234Updated 6 months ago
• allenai / OLMo-core
  PyTorch building blocks for the OLMo ecosystem
  ☆741Updated this week