Alternatives and similar repositories for CMU_MATH-AIMO

Users that are interested in CMU_MATH-AIMO are comparing it to the libraries listed below

• cyzhh / MMOS
  Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…
  ☆73Updated last year
• kyegomez / Lets-Verify-Step-by-Step
  "Improving Mathematical Reasoning with Process Supervision" by OPENAI
  ☆112Updated 2 weeks ago
• vwxyzjn / summarize_from_feedback_details
  ☆147Updated 8 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆164Updated 2 months ago
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆111Updated 7 months ago
• keirp / OpenWebMath
  ☆161Updated last year
• protagolabs / odyssey-math
  ☆84Updated 6 months ago
• facebookresearch / iGSM
  The code for creating the iGSM datasets in papers "Physics of Language Models Part 2.1, Grade-School Math and the Hidden Reasoning Proces…
  ☆61Updated 6 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆109Updated 6 months ago
• yifanzhang-pro / AutoMathText
  Official implementation of ACL 2025 Findings paper "Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Text…
  ☆84Updated 2 weeks ago
• joey00072 / nanoGRPO
  nanoGRPO is a lightweight implementation of Group Relative Policy Optimization (GRPO)
  ☆113Updated 3 months ago
• imagination-research / aimo2
  AIMO2 2nd place solution
  ☆59Updated 2 months ago
• da03 / Internalize_CoT_Step_by_Step
  ☆187Updated 3 months ago
• allenai / olmes
  Reproducible, flexible LLM evaluations
  ☆227Updated 3 weeks ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆59Updated 5 months ago
• JacobPfau / fillerTokens
  ☆67Updated last year
• princeton-nlp / ProLong
  Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"
  ☆218Updated 5 months ago
• GuanghaoYe / Emergence-of-Thinking
  ☆53Updated 5 months ago
• Mohammadjafari80 / GSM8K-RLVR
  A simplified implementation for experimenting with RLVR on GSM8K, This repository provides a starting point for exploring reasoning.
  ☆119Updated 6 months ago
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆303Updated 2 months ago
• GAIR-NLP / AIME-Preview
  ☆71Updated 4 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆100Updated 3 weeks ago
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆133Updated last year
• mnoukhov / async_rlhf
  Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models
  ☆59Updated 3 months ago
• BrendanGraham14 / mcts-llm
  ☆129Updated last year
• QwenLM / ProcessBench
  Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"
  ☆167Updated 2 months ago
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆248Updated 2 months ago
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆97Updated last year
• facebookresearch / PhysicsLM4
  Physics of Language Models, Part 4
  ☆204Updated last week
• zankner / CLoud
  Critique-out-Loud Reward Models
  ☆70Updated 9 months ago