Alternatives and similar repositories for aimo-progress-prize:

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

• huggingface / Math-Verify
  ☆574Updated 2 weeks ago
• microsoft / rStar
  ☆493Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆800Updated 3 months ago
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆260Updated this week
• MARIO-Math-Reasoning / Super_MARIO
  ☆325Updated last month
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym
  ☆403Updated 3 weeks ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.
  ☆283Updated last week
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆725Updated this week
• trotsky1997 / MathBlackBox
  ☆1,011Updated 3 months ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆260Updated 10 months ago
• zhentingqi / rStar
  ☆913Updated 2 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…
  ☆311Updated 3 months ago
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆477Updated 2 weeks ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆300Updated 4 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆73Updated 8 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆191Updated 11 months ago
• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆541Updated this week
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,183Updated 4 months ago
• keirp / OpenWebMath
  ☆147Updated 10 months ago
• OpenBMB / Eurus
  ☆312Updated 6 months ago
• eddycmu / demystify-long-cot
  ☆262Updated 2 weeks ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆532Updated last month
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆485Updated 7 months ago
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆346Updated this week
• princeton-nlp / SimPO
  [NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward
  ☆851Updated last month
• facebookresearch / RAM
  A framework to study AI models in Reasoning, Alignment, and use of Memory (RAM).
  ☆209Updated last week
• ezelikman / quiet-star
  Code for Quiet-STaR
  ☆721Updated 7 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆262Updated 2 months ago
• Goedel-LM / Goedel-Prover
  ☆164Updated last month
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆186Updated 3 months ago