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.
  ☆278Updated last week
• microsoft / rStar
  ☆527Updated last month
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆383Updated this week
• huggingface / Math-Verify
  ☆691Updated 2 weeks ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆328Updated 3 months ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆518Updated 9 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆211Updated last year
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆517Updated 2 months ago
• trotsky1997 / MathBlackBox
  ☆1,019Updated 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'
  ☆191Updated 5 months ago
• keirp / OpenWebMath
  ☆151Updated last year
• mathllm / MathCoder
  [ICLR 2024] Family of LLMs for mathematical reasoning.
  ☆263Updated 5 months ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆412Updated last month
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.
  ☆352Updated last week
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆76Updated 10 months ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆307Updated 5 months ago
• huggingface / cosmopedia
  ☆515Updated 5 months ago
• microsoft / rho
  Repo for Rho-1: Token-level Data Selection & Selective Pretraining of LLMs.
  ☆411Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆272Updated 3 months ago
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆156Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆805Updated 5 months ago
• idavidrein / gpqa
  GPQA: A Graduate-Level Google-Proof Q&A Benchmark
  ☆346Updated 7 months ago
• InternLM / InternLM-Math
  State-of-the-art bilingual open-sourced Math reasoning LLMs.
  ☆508Updated 6 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆145Updated 10 months ago
• Goedel-LM / Goedel-Prover
  ☆176Updated last month
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆566Updated last week
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,192Updated 6 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆149Updated last month
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆261Updated 8 months ago
• OpenBMB / Eurus
  ☆315Updated 7 months ago