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 11 months ago
• kyegomez / Lets-Verify-Step-by-Step
  "Improving Mathematical Reasoning with Process Supervision" by OPENAI
  ☆111Updated this week
• vwxyzjn / summarize_from_feedback_details
  ☆144Updated 7 months ago
• GuanghaoYe / Emergence-of-Thinking
  ☆52Updated 5 months ago
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆109Updated 7 months ago
• yifanzhang-pro / AutoMathText
  Official implementation of ACL 2025 Findings paper "Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Text…
  ☆83Updated 2 months ago
• keirp / OpenWebMath
  ☆160Updated last year
• 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…
  ☆59Updated 6 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆109Updated 5 months ago
• imagination-research / aimo2
  AIMO2 2nd place solution
  ☆59Updated last month
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆159Updated last month
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆99Updated this week
• protagolabs / odyssey-math
  ☆84Updated 5 months ago
• zankner / CLoud
  Critique-out-Loud Reward Models
  ☆68Updated 9 months ago
• GAIR-NLP / AIME-Preview
  ☆71Updated 4 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆58Updated 4 months ago
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]
  ☆166Updated last week
• shehper / scaling_laws
  An open-source implementation of Scaling Laws for Neural Language Models using nanoGPT
  ☆44Updated last year
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆131Updated last year
• mnoukhov / async_rlhf
  Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models
  ☆59Updated 2 months ago
• architsharma97 / dpo-rlaif
  ☆99Updated last year
• QwenLM / ProcessBench
  Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"
  ☆165Updated last month
• Edward-Sun / gpt-accelera
  Simple and efficient pytorch-native transformer training and inference (batched)
  ☆77Updated last year
• Zanette-Labs / SpeculativeRejection
  [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection
  ☆48Updated 8 months ago
• holarissun / RewardModelingBeyondBradleyTerry
  official implementation of ICLR'2025 paper: Rethinking Bradley-Terry Models in Preference-based Reward Modeling: Foundations, Theory, and…
  ☆64Updated 3 months ago
• bin123apple / MACM
  MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
  ☆87Updated 11 months ago
• princeton-nlp / ProLong
  Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"
  ☆212Updated 4 months ago
• agentica-project / verl-pipeline
  Async pipelined version of Verl
  ☆108Updated 3 months ago
• da03 / implicit_chain_of_thought
  ☆135Updated 8 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆63Updated 7 months ago