Alternatives and similar repositories for aimo-progress-prize:

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

• deepseek-ai / DeepSeek-Prover-V1.5
  ☆326Updated 5 months ago
• huggingface / cosmopedia
  ☆489Updated 2 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆304Updated last week
• keirp / OpenWebMath
  ☆136Updated 8 months ago
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆177Updated last month
• FranxYao / Long-Context-Data-Engineering
  Implementation of paper Data Engineering for Scaling Language Models to 128K Context
  ☆450Updated 10 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆65Updated 6 months ago
• trotsky1997 / MathBlackBox
  ☆999Updated last month
• zhentingqi / rStar
  ☆868Updated last week
• NVIDIA / NeMo-Skills
  A project to improve skills of large language models
  ☆239Updated this week
• huggingface / search-and-learn
  Recipes to scale inference-time compute of open models
  ☆975Updated 2 weeks ago
• allenai / OLMoE
  OLMoE: Open Mixture-of-Experts Language Models
  ☆539Updated last month
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆154Updated 9 months ago
• LiveCodeBench / LiveCodeBench
  Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"
  ☆292Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆801Updated last month
• allenai / reward-bench
  RewardBench: the first evaluation tool for reward models.
  ☆494Updated this week
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆405Updated 3 months ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆257Updated 8 months ago
• magpie-align / magpie
  Official repository for ICLR 2025 paper "Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothing". Your efficient an…
  ☆587Updated last week
• JinjieNi / MixEval
  The official evaluation suite and dynamic data release for MixEval.
  ☆233Updated 2 months ago
• ezelikman / quiet-star
  Code for Quiet-STaR
  ☆706Updated 5 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆117Updated 6 months ago
• OpenBMB / Eurus
  ☆301Updated 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…
  ☆291Updated last month
• allenai / olmes
  Reproducible, flexible LLM evaluations
  ☆129Updated last month
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym
  ☆251Updated 2 weeks ago
• dwzhu-pku / PoSE
  Positional Skip-wise Training for Efficient Context Window Extension of LLMs to Extremely Length (ICLR 2024)
  ☆204Updated 8 months ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆285Updated 2 months ago
• mathllm / MathCoder
  Family of LLMs for mathematical reasoning.
  ☆245Updated last month