Alternatives and similar repositories for Awesome-LLM4Math

Users that are interested in Awesome-LLM4Math are comparing it to the libraries listed below

• hkust-nlp / dart-math

  View on GitHub
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆120Dec 10, 2024Updated last year
• KbsdJames / Omni-MATH

  View on GitHub
  The official repository of the Omni-MATH benchmark.
  ☆93Dec 22, 2024Updated last year
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• ZubinGou / math-evaluation-harness

  View on GitHub
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆273Apr 26, 2024Updated last year
• KbsdJames / omni-math-rule

  View on GitHub
  The rule-based evaluation subset and code implementation of Omni-MATH
  ☆26Dec 23, 2024Updated last year
• open-compass / MathBench

  View on GitHub
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆111May 22, 2025Updated 8 months ago
• iiis-ai / IterativeQuestionComposing

  View on GitHub
  [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)
  ☆23Oct 2, 2025Updated 4 months ago
• mathllm / MathCoder

  View on GitHub
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆337Oct 18, 2025Updated 3 months ago
• RUCAIBox / JiuZhang3.0

  View on GitHub
  The code and data for the paper JiuZhang3.0
  ☆49May 26, 2024Updated last year
• Purewhite2019 / formal_problem_solving_main

  View on GitHub
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆29May 8, 2025Updated 9 months ago
• protagolabs / odyssey-math

  View on GitHub
  ☆85Jan 25, 2025Updated last year
• chenllliang / MMEvalPro

  View on GitHub
  [NAACL 2025] Source code for MMEvalPro, a more trustworthy and efficient benchmark for evaluating LMMs
  ☆24Sep 26, 2024Updated last year
• lupantech / dl4math

  View on GitHub
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆370Dec 22, 2023Updated 2 years ago
• conceptmath / conceptmath

  View on GitHub
  [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …
  ☆24May 29, 2024Updated last year
• yyDing1 / ScaleQuest

  View on GitHub
  [ACL 2025] We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLM…
  ☆68Oct 27, 2024Updated last year
• leanprover-community / LeanSearchClient

  View on GitHub
  Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
  ☆29Updated this week
• koalazf99 / nanoverl

  View on GitHub
  Collections of RLxLM experiments using minimal codes
  ☆14Feb 17, 2025Updated 11 months ago
• shizhediao / automate-cot

  View on GitHub
  Source code for the paper "Automatic Prompt Augmentation and Selection with Chain-of-Thought from Labeled Data"
  ☆20Feb 24, 2024Updated last year
• InfiMM / Awesome-Multimodal-LLM-for-Math-STEM

  View on GitHub
  Paper collections of multi-modal LLM for Math/STEM/Code.
  ☆136Nov 17, 2025Updated 2 months ago
• project-numina / aimo-progress-prize

  View on GitHub
  ☆482Jul 22, 2024Updated last year
• Sphere-AI-Lab / FormalMATH-Bench

  View on GitHub
  ☆76Jan 8, 2026Updated last month
• KbsdJames / MATH-Minos

  View on GitHub
  The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…
  ☆37Jul 25, 2024Updated last year
• LLM360 / MegaMath

  View on GitHub
  [COLM 2025] An Open Math Pre-trainng Dataset with 370B Tokens.
  ☆109Apr 4, 2025Updated 10 months ago
• guyuntian / CoT_benchmark

  View on GitHub
  Code for "Towards Revealing the Mystery behind Chain of Thought: a Theoretical Perspective"
  ☆21Jul 16, 2023Updated 2 years ago
• yifan-h / MechanisticProbe

  View on GitHub
  Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models
  ☆15Nov 4, 2023Updated 2 years ago
• ShadeCloak / ADORA

  View on GitHub
  ☆47Apr 9, 2025Updated 10 months ago
• kyegomez / Reka-Torch

  View on GitHub
  Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch
  ☆28Updated this week
• princeton-nlp / USACO

  View on GitHub
  Can Language Models Solve Olympiad Programming?
  ☆123Jan 14, 2025Updated last year
• Eleanor-H / MUSTARD

  View on GitHub
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆42May 29, 2024Updated last year
• whyNLP / Conic10K

  View on GitHub
  Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.
  ☆31Dec 6, 2023Updated 2 years ago
• THUDM / ChatGLM-Math

  View on GitHub
  ☆84Apr 18, 2024Updated last year
• eddycmu / demystify-long-cot

  View on GitHub
  ☆331May 31, 2025Updated 8 months ago
• hkust-nlp / llm-compression-intelligence

  View on GitHub
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆147Sep 20, 2024Updated last year
• seewoo5 / awesome-ai-for-math

  View on GitHub
  List of awesome works that use AI for mathematical discoveries.
  ☆30Updated this week
• MathAutoTag / mathdata

  View on GitHub
  K12高中数学试题数据集
  ☆15Aug 16, 2023Updated 2 years ago
• GAIR-NLP / ReasonEval

  View on GitHub
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆77Oct 9, 2025Updated 4 months ago
• MixedMatched / formalizing-game-theory

  View on GitHub
  Example formalization of Game Theoretic concepts in Lean
  ☆24Feb 14, 2025Updated last year
• liuchengwucn / FIMO

  View on GitHub
  ☆36Oct 29, 2024Updated last year
• ChengpengLi1003 / DotaMath

  View on GitHub
  ☆30Dec 27, 2024Updated last year