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*
  ☆89Updated last month
• Edward-Sun / gpt-accelera
  Simple and efficient pytorch-native transformer training and inference (batched)
  ☆66Updated 9 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆114Updated 6 months ago
• jwhj / OREO
  ☆83Updated last week
• vwxyzjn / summarize_from_feedback_details
  ☆126Updated last month
• cyzhh / MMOS
  Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…
  ☆72Updated 5 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…
  ☆102Updated 6 months ago
• bin123apple / MACM
  MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
  ☆77Updated 5 months ago
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆100Updated this week
• architsharma97 / dpo-rlaif
  ☆93Updated 6 months ago
• keirp / OpenWebMath
  ☆134Updated 8 months ago
• Zanette-Labs / SpeculativeRejection
  [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection
  ☆38Updated 2 months ago
• Edward-Sun / easy-to-hard
  Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
  ☆112Updated 4 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆67Updated 3 weeks ago
• kyegomez / Lets-Verify-Step-by-Step
  "Improving Mathematical Reasoning with Process Supervision" by OPENAI
  ☆101Updated this week
• dongxiangjue / Awesome-LLM-Self-Improvement
  A curated list of awesome LLM Inference-Time Self-Improvement (ITSI, pronounced "itsy") papers from our recent survey: A Survey on Large …
  ☆64Updated 3 weeks ago
• JacobPfau / fillerTokens
  ☆58Updated 8 months ago
• SalesforceAIResearch / LaTRO
  ☆90Updated this week
• expz / quiet-star
  Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)
  ☆48Updated 5 months ago
• protagolabs / odyssey-math
  ☆80Updated 3 months ago
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆75Updated 3 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆145Updated 8 months ago
• princeton-nlp / ProLong
  Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"
  ☆147Updated last month
• yifanzhang-pro / AutoMathText
  Official implementation of paper "Autonomous Data Selection with Language Models for Mathematical Texts" (As Huggingface Daily Papers: ht…
  ☆79Updated 2 months ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆24Updated 8 months ago
• QwenLM / ProcessBench
  ☆121Updated last month
• rmshin / llm-mcts
  ☆31Updated 7 months ago
• epfml / schedules-and-scaling
  Code for NeurIPS 2024 Spotlight: "Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations"
  ☆67Updated 2 months ago
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆96Updated 9 months ago
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆108Updated this week