mlsanityData to 7 Oct 2026

U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs

arXiv 2412.03205 ↗First posted 4 Dec 2024cs.CL cs.AIcited by 24

Not on the map. Why?

Abstract (arXiv)

The current evaluation of mathematical skills in LLMs is limited, as existing benchmarks are either relatively small, primarily focus on elementary and high-school problems, or lack diversity in topics. Additionally, the inclusion of visual elements in tasks remains largely under-explored. To address these gaps, we introduce U-MATH, a novel benchmark of 1,100 unpublished open-ended university-level problems sourced from teaching materials. It is balanced across six core subjects, with 20% of multimodal problems. Given the open-ended nature of U-MATH problems, we employ an LLM to judge the correctness of generated solutions. To this end, we release μ-MATH, a dataset to evaluate the LLMs' capabilities in judging solutions. Benchmarking leading LLMs reveals marked limitations in multi-modal reasoning, with maximum accuracy reaching 93.1% on textual tasks but only 58.5% on visual ones. Furthermore, solution judgment proves challenging, requiring the most advanced models to achieve meaningfully high performance, even still peaking at an imperfect F1-score of 90.1%.

Key facts. Cited by 24 papers in the map (data through 7 Oct 2026). Builds on 30 of its 42 references that are in the map. First posted on arXiv 4 Dec 2024.

Builds on

30 of 42 references.

References · 30

  1. 2023GPT-4 Technical Reportcited by 18,132
  2. 2024The Llama 3 Herd of Modelscited by 14,192
  3. 2021Training Verifiers to Solve Math Word Problemscited by 9,743
  4. 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,393
  5. 2020Measuring Massive Multitask Language Understandingcited by 7,768
  6. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  7. 2023Let's Verify Step by Stepcited by 3,598
  8. 2023MMMU: A Massive Multi-discipline Multimodal Understanding and Reasoning Benchmark for Expert AGIcited by 2,044
  9. 2023MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contextscited by 1,582
  10. 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,359
  11. 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,057
  12. 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 653
18 more
  1. 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?cited by 573
  2. 2022Language Models are Multilingual Chain-of-Thought Reasonerscited by 518
  3. 2024Measuring Multimodal Mathematical Reasoning with MATH-Vision Datasetcited by 516
  4. 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
  5. 2021Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoningcited by 376
  6. 2024We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?cited by 281
  7. 2021GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoningcited by 224
  8. 2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicscited by 180
  9. 2024Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity Trackingcited by 140
  10. 2022UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expressioncited by 137
  11. 2024HelpSteer2-Preference: Complementing Ratings with Preferencescited by 129
  12. 2024Common 7B Language Models Already Possess Strong Math Capabilitiescited by 108
  13. 2024Can multiple-choice questions really be useful in detecting the abilities of LLMs?cited by 66
  14. 2023MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluationcited by 57
  15. 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 51
  16. 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilitiescited by 43
  17. 2024From Calculation to Adjudication: Examining LLM judges on Mathematical Reasoning Taskscited by 22
  18. 2024ControlMath: Controllable Data Generation Promotes Math Generalist Modelscited by 9

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2024: 1; 2025: 17; 2026: 6.

24 papers.

Sort:

By area:

  1. 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challengescited by 55
  2. 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Modelscited by 45
  3. 2025Reasoning Language Models: A Blueprintcited by 41
  4. 2025SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domaincited by 30
  5. 2025Large Language Models and Mathematical Reasoning Failurescited by 22
  6. 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalizationcited by 15
  7. 2025DeepSeek vs. ChatGPT vs. Claude: A Comparative Study for Scientific Computing and Scientific Machine Learning Taskscited by 12
  8. 2025A Survey on Mathematical Reasoning and Optimization with Large Language Modelscited by 12
  9. 2025ReCode: Updating Code API Knowledge with Reinforcement Learningcited by 11
  10. 2025Benchmarking Multimodal Mathematical Reasoning with Explicit Visual Dependencycited by 10
  11. 2025GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Modelscited by 6
  12. 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
12 more
  1. 2025WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communicationscited by 4
  2. 2025Can AI Validate Science? Benchmarking LLMs for Accurate Scientific Claim rightarrow Evidence Reasoningcited by 4
  3. 2025StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Errorcited by 3
  4. 2025INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problemscited by 3
  5. 2026HARD-KV: Head-Adaptive Regularization for Decoding-time KV Compressioncited by 2
  6. 2025DOoM: Difficult Olympiads of Mathcited by 1
  7. 2025MathSight: A Benchmark Exploring Have Vision-Language Models Really Seen in University-Level Mathematical Reasoning?cited by 0
  8. 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?cited by 0
  9. 2026AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AIcited by 0
  10. 2026Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysiscited by 0
  11. 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verificationcited by 0
  12. 2026Ask-E: An Environment for Calibrated Question Generationcited by 0