Alternatives and similar repositories for aimo-progress-prize

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

• microsoft / rStar
  ☆562Updated last month
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆285Updated 3 weeks ago
• huggingface / Math-Verify
  ☆744Updated last month
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆415Updated this week
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆289Updated 2 weeks ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆522Updated 9 months ago
• NovaSky-AI / SkyRL
  SkyRL-v0: Train Real-World Long-Horizon Agents via Reinforcement Learning
  ☆375Updated this week
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆412Updated 2 months ago
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆590Updated this week
• trotsky1997 / MathBlackBox
  ☆1,024Updated 5 months ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆272Updated last year
• MARIO-Math-Reasoning / Super_MARIO
  ☆330Updated 3 months ago
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,194Updated 6 months ago
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆803Updated 6 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆272Updated 4 months ago
• Goedel-LM / Goedel-Prover
  ☆180Updated 2 months ago
• shangshang-wang / Tina
  Tina: Tiny Reasoning Models via LoRA
  ☆252Updated last week
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆973Updated 2 weeks ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆75Updated 10 months ago
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆232Updated 3 weeks ago
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆535Updated 2 months ago
• keirp / OpenWebMath
  ☆153Updated last year
• huggingface / search-and-learn
  Recipes to scale inference-time compute of open models
  ☆1,090Updated 2 weeks ago
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆407Updated this week
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆220Updated last year
• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆464Updated last week
• eddycmu / demystify-long-cot
  ☆295Updated this week
• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆770Updated this week
• zhentingqi / rStar
  ☆936Updated 4 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…
  ☆333Updated 5 months ago