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.
  ☆231Updated last week
• huggingface / Math-Verify
  ☆647Updated 3 weeks ago
• microsoft / rStar
  ☆519Updated last week
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆373Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆802Updated 4 months ago
• GAIR-NLP / LIMO
  LIMO: Less is More for Reasoning
  ☆920Updated 2 weeks ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆326Updated 2 months ago
• trotsky1997 / MathBlackBox
  ☆1,015Updated 4 months ago
• zhentingqi / rStar
  ☆922Updated 3 months ago
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆295Updated this week
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆304Updated 5 months ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.
  ☆325Updated this week
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆203Updated 11 months ago
• Goedel-LM / Goedel-Prover
  ☆175Updated 3 weeks ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆882Updated last week
• magpie-align / magpie
  [ICLR 2025] Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing. Your efficient and high-quality synthetic data …
  ☆681Updated last month
• willccbb / verifiers
  Verifiers for LLM Reinforcement Learning
  ☆827Updated 3 weeks ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆264Updated 10 months ago
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆873Updated 2 months ago
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,187Updated 5 months ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆555Updated last month
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆509Updated last month
• keirp / OpenWebMath
  ☆148Updated 11 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…
  ☆317Updated 4 months ago
• openai / mle-bench
  MLE-bench is a benchmark for measuring how well AI agents perform at machine learning engineering
  ☆685Updated last week
• huggingface / cosmopedia
  ☆515Updated 5 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆75Updated 9 months ago
• FranxYao / Long-Context-Data-Engineering
  Implementation of paper Data Engineering for Scaling Language Models to 128K Context
  ☆459Updated last year
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆493Updated 8 months ago
• eddycmu / demystify-long-cot
  ☆283Updated last month