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.
  ☆301Updated this week
• microsoft / rStar
  ☆585Updated 3 months ago
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆456Updated this week
• trotsky1997 / MathBlackBox
  ☆1,025Updated 6 months ago
• huggingface / Math-Verify
  ☆824Updated 2 weeks ago
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.
  ☆404Updated this week
• MARIO-Math-Reasoning / Super_MARIO
  ☆337Updated last month
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆318Updated 7 months ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆528Updated 11 months ago
• idavidrein / gpqa
  GPQA: A Graduate-Level Google-Proof Q&A Benchmark
  ☆369Updated 9 months ago
• Goedel-LM / Goedel-Prover
  ☆184Updated 3 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆231Updated last year
• huggingface / cosmopedia
  ☆523Updated 7 months ago
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆207Updated this week
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆461Updated 2 weeks ago
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆244Updated 2 months ago
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆298Updated last month
• zhentingqi / rStar
  ☆946Updated 5 months ago
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆805Updated 7 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,023Updated 2 weeks ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆278Updated last year
• allenai / olmes
  Reproducible, flexible LLM evaluations
  ☆219Updated this week
• keirp / OpenWebMath
  ☆159Updated last year
• ezelikman / quiet-star
  Code for Quiet-STaR
  ☆735Updated 10 months ago
• NovaSky-AI / SkyRL
  SkyRL: A Modular Full-stack RL Library for LLMs
  ☆574Updated last week
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆612Updated last month
• ezelikman / STaR
  Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)
  ☆206Updated 2 years ago
• eddycmu / demystify-long-cot
  ☆303Updated last month
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆566Updated 4 months ago
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆223Updated 7 months ago