Alternatives and similar repositories for CMU_MATH-AIMO

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

• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆105Updated 5 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
• 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 9 months 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…
  ☆127Updated 10 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…
  ☆47Updated 4 months ago
• yifanzhang-pro / AutoMathText
  Official implementation of paper "Autonomous Data Selection with Language Models for Mathematical Texts" (As Huggingface Daily Papers: ht…
  ☆81Updated 6 months ago
• vwxyzjn / summarize_from_feedback_details
  ☆138Updated 5 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of RL Scaling
  ☆37Updated 3 weeks ago
• Edward-Sun / gpt-accelera
  Simple and efficient pytorch-native transformer training and inference (batched)
  ☆75Updated last year
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆211Updated last year
• QwenLM / ProcessBench
  ☆151Updated 5 months ago
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆57Updated 3 months ago
• THUDM / T1
  Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling
  ☆101Updated 3 months ago
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate"
  ☆146Updated 3 weeks ago
• expz / quiet-star
  Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)
  ☆53Updated 9 months ago
• agentica-project / verl-pipeline
  Async pipelined version of Verl
  ☆74Updated last month
• architsharma97 / dpo-rlaif
  ☆97Updated 10 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆52Updated 2 months ago
• mnoukhov / async_rlhf
  Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models
  ☆51Updated 3 weeks ago
• imagination-research / aimo2
  AIMO2 2nd place solution
  ☆53Updated 3 weeks ago
• zankner / CLoud
  Critique-out-Loud Reward Models
  ☆64Updated 6 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆82Updated 4 months ago
• thu-wyz / inference_scaling
  ☆66Updated 5 months ago
• jwhj / OREO
  ☆110Updated 3 months ago
• da03 / Internalize_CoT_Step_by_Step
  ☆171Updated 3 weeks ago
• yihedeng9 / rlhf-summary-notes
  A brief and partial summary of RLHF algorithms.
  ☆128Updated 2 months ago
• CodeCreator / WebOrganizer
  Organize the Web: Constructing Domains Enhances Pre-Training Data Curation
  ☆47Updated 2 weeks ago
• lucidrains / coconut-pytorch
  Implementation of 🥥 Coconut, Chain of Continuous Thought, in Pytorch
  ☆168Updated 4 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆93Updated 2 months ago
• ryoungj / ObsScaling
  [NeurIPS'24 Spotlight] Observational Scaling Laws
  ☆54Updated 7 months ago