U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs
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
- 2023GPT-4 Technical Reportcited by 18,132
- 2024The Llama 3 Herd of Modelscited by 14,192
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,393
- 2020Measuring Massive Multitask Language Understandingcited by 7,768
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2023Let's Verify Step by Stepcited by 3,598
- 2023MMMU: A Massive Multi-discipline Multimodal Understanding and Reasoning Benchmark for Expert AGIcited by 2,044
- 2023MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contextscited by 1,582
- 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,359
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,057
- 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 653
18 more
- 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?cited by 573
- 2022Language Models are Multilingual Chain-of-Thought Reasonerscited by 518
- 2024Measuring Multimodal Mathematical Reasoning with MATH-Vision Datasetcited by 516
- 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
- 2021Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoningcited by 376
- 2024We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?cited by 281
- 2021GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoningcited by 224
- 2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicscited by 180
- 2024Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity Trackingcited by 140
- 2022UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expressioncited by 137
- 2024HelpSteer2-Preference: Complementing Ratings with Preferencescited by 129
- 2024Common 7B Language Models Already Possess Strong Math Capabilitiescited by 108
- 2024Can multiple-choice questions really be useful in detecting the abilities of LLMs?cited by 66
- 2023MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluationcited by 57
- 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 51
- 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilitiescited by 43
- 2024From Calculation to Adjudication: Examining LLM judges on Mathematical Reasoning Taskscited by 22
- 2024ControlMath: Controllable Data Generation Promotes Math Generalist Modelscited by 9
Built on by
Citing papers per year: 2024: 1; 2025: 17; 2026: 6.
24 papers.
Sort:
By area:
- 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challengescited by 55
- 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Modelscited by 45
- 2025Reasoning Language Models: A Blueprintcited by 41
- 2025SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domaincited by 30
- 2025Large Language Models and Mathematical Reasoning Failurescited by 22
- 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalizationcited by 15
- 2025DeepSeek vs. ChatGPT vs. Claude: A Comparative Study for Scientific Computing and Scientific Machine Learning Taskscited by 12
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Modelscited by 12
- 2025ReCode: Updating Code API Knowledge with Reinforcement Learningcited by 11
- 2025Benchmarking Multimodal Mathematical Reasoning with Explicit Visual Dependencycited by 10
- 2025GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Modelscited by 6
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
12 more
- 2025WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communicationscited by 4
- 2025Can AI Validate Science? Benchmarking LLMs for Accurate Scientific Claim rightarrow Evidence Reasoningcited by 4
- 2025StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Errorcited by 3
- 2025INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problemscited by 3
- 2026HARD-KV: Head-Adaptive Regularization for Decoding-time KV Compressioncited by 2
- 2025DOoM: Difficult Olympiads of Mathcited by 1
- 2025MathSight: A Benchmark Exploring Have Vision-Language Models Really Seen in University-Level Mathematical Reasoning?cited by 0
- 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?cited by 0
- 2026AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AIcited by 0
- 2026Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysiscited by 0
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verificationcited by 0
- 2026Ask-E: An Environment for Calibrated Question Generationcited by 0
- 2026Ask-E: An Environment for Calibrated Question Generation7 Aug 2026
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification13 Jul 2026
- 2026HARD-KV: Head-Adaptive Regularization for Decoding-time KV Compression27 Jun 2026
- 2026Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis6 Apr 2026
- 2026AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AI9 Mar 2026
- 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?11 Feb 2026
- 2025MathSight: A Benchmark Exploring Have Vision-Language Models Really Seen in University-Level Mathematical Reasoning?28 Nov 2025
- 2025GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Models14 Nov 2025
- 2025DOoM: Difficult Olympiads of Math27 Sep 2025
- 2025INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problems22 Jul 2025
- 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization8 Jul 2025
- 2025ReCode: Updating Code API Knowledge with Reinforcement Learning25 Jun 2025
12 more
- 2025Can AI Validate Science? Benchmarking LLMs for Accurate Scientific Claim rightarrow Evidence Reasoning9 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications20 May 2025
- 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models5 May 2025
- 2025Benchmarking Multimodal Mathematical Reasoning with Explicit Visual Dependency24 Apr 2025
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Models22 Mar 2025
- 2025StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Error13 Mar 2025
- 2025DeepSeek vs. ChatGPT vs. Claude: A Comparative Study for Scientific Computing and Scientific Machine Learning Tasks25 Feb 2025
- 2025Large Language Models and Mathematical Reasoning Failures17 Feb 2025
- 2025SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domain26 Jan 2025
- 2025Reasoning Language Models: A Blueprint20 Jan 2025
- 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges16 Dec 2024
- 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challengescited by 55
- 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Modelscited by 45
- 2025Reasoning Language Models: A Blueprintcited by 41
- 2025SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domaincited by 30
- 2025Large Language Models and Mathematical Reasoning Failurescited by 22
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Modelscited by 12
- 2025Benchmarking Multimodal Mathematical Reasoning with Explicit Visual Dependencycited by 10
- 2025WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communicationscited by 4
- 2025Can AI Validate Science? Benchmarking LLMs for Accurate Scientific Claim rightarrow Evidence Reasoningcited by 4
- 2025MathSight: A Benchmark Exploring Have Vision-Language Models Really Seen in University-Level Mathematical Reasoning?cited by 0
- 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?cited by 0
- 2026The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math?11 Feb 2026
- 2025MathSight: A Benchmark Exploring Have Vision-Language Models Really Seen in University-Level Mathematical Reasoning?28 Nov 2025
- 2025Can AI Validate Science? Benchmarking LLMs for Accurate Scientific Claim rightarrow Evidence Reasoning9 Jun 2025
- 2025WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications20 May 2025
- 2025FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models5 May 2025
- 2025Benchmarking Multimodal Mathematical Reasoning with Explicit Visual Dependency24 Apr 2025
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Models22 Mar 2025
- 2025Large Language Models and Mathematical Reasoning Failures17 Feb 2025
- 2025SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domain26 Jan 2025
- 2025Reasoning Language Models: A Blueprint20 Jan 2025
- 2024A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges16 Dec 2024
- 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalizationcited by 15
- 2025DeepSeek vs. ChatGPT vs. Claude: A Comparative Study for Scientific Computing and Scientific Machine Learning Taskscited by 12
- 2025ReCode: Updating Code API Knowledge with Reinforcement Learningcited by 11
- 2025GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Modelscited by 6
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmarkcited by 5
- 2025INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problemscited by 3
- 2025DOoM: Difficult Olympiads of Mathcited by 1
- 2026AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AIcited by 0
- 2026Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysiscited by 0
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verificationcited by 0
- 2026Ask-E: An Environment for Calibrated Question Generationcited by 0
- 2026Ask-E: An Environment for Calibrated Question Generation7 Aug 2026
- 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification13 Jul 2026
- 2026Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis6 Apr 2026
- 2026AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AI9 Mar 2026
- 2025GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Models14 Nov 2025
- 2025DOoM: Difficult Olympiads of Math27 Sep 2025
- 2025INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problems22 Jul 2025
- 2025CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization8 Jul 2025
- 2025ReCode: Updating Code API Knowledge with Reinforcement Learning25 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025DeepSeek vs. ChatGPT vs. Claude: A Comparative Study for Scientific Computing and Scientific Machine Learning Tasks25 Feb 2025