Lila: A Unified Benchmark for Mathematical Reasoning
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Mathematical reasoning skills are essential for general-purpose intelligent systems to perform tasks from grocery shopping to climate modeling. Towards evaluating and improving AI systems in this domain, we propose LILA, a unified mathematical reasoning benchmark consisting of 23 diverse tasks along four dimensions: (i) mathematical abilities e.g., arithmetic, calculus (ii) language format e.g., question-answering, fill-in-the-blanks (iii) language diversity e.g., no language, simple language (iv) external knowledge e.g., commonsense, physics. We construct our benchmark by extending 20 datasets benchmark by collecting task instructions and solutions in the form of Python programs, thereby obtaining explainable solutions in addition to the correct answer. We additionally introduce two evaluation datasets to measure out-of-distribution performance and robustness to language perturbation. Finally, we introduce BHASKARA, a general-purpose mathematical reasoning model trained on LILA. Importantly, we find that multi-tasking leads to significant improvements (average relative improvement of 21.83% F1 score vs. single-task models), while the best performing model only obtains 60.40%, indicating the room for improvement in general mathematical reasoning and understanding.
Key facts. Cited by 13 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 37 of its 55 references that are in the map. First posted on arXiv 31 Oct 2022.
Builds on
37 of 55 references.
Closest ancestors · 2
Same direction, newest first
- 2022Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning29 Sep
- 2022NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks12 Apr
Other references · 35
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Finetuned Language Models Are Zero-Shot Learnerscited by 3,747
- 2019SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systemscited by 1,718
- 2021Multitask Prompted Training Enables Zero-Shot Task Generalizationcited by 1,462
- 2020Beyond Accuracy: Behavioral Testing of NLP models with CheckListcited by 979
- 2019DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphscited by 883
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 861
- 2021Cross-Task Generalization via Natural Language Crowdsourcing Instructionscited by 696
- 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 642
- 2018Taskonomy: Disentangling Task Transfer Learningcited by 631
- 2021Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoningcited by 376
23 more
- 2016Solving General Arithmetic Word Problemscited by 353
- 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 314
- 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 309
- 2020Pretrained Transformers Improve Out-of-Distribution Robustnesscited by 293
- 2021IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoningcited by 262
- 2021Muppet: Massive Multi-task Representations with Pre-Finetuningcited by 192
- 2021Reframing Instructional Prompts to GPTk's Languagecited by 176
- 2018Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflowcited by 165
- 2021Proof Artifact Co-training for Theorem Proving with Language Modelscited by 130
- 2019"Going on a vacation" takes longer than "Going for a walk": A Study of Temporal Commonsense Understandingcited by 121
- 2020Birds have four legs?! NumerSense: Probing Numerical Commonsense Knowledge of Pre-trained Language Modelscited by 110
- 2021UNICORN on RAINBOW: A Universal Commonsense Reasoning Model on a New Multitask Benchmarkcited by 98
- 2021QA Dataset Explosion: A Taxonomy of NLP Resources for Question Answering and Reading Comprehensioncited by 91
- 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
- 2020Do Language Embeddings Capture Scales?cited by 63
- 2018QuaRel: A Dataset and Models for Answering Questions about Qualitative Relationshipscited by 46
- 2020INT: An Inequality Benchmark for Evaluating Generalization in Theorem Provingcited by 44
- 2019EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inferencecited by 39
- 2017Mapping to Declarative Knowledge for Word Problem Solvingcited by 36
- 2021Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematicscited by 27
- 2016Unit Dependency Graph and its Application to Arithmetic Word Problem Solvingcited by 25
- 2022How Many Data Samples is an Additional Instruction Worth?cited by 16
- 2019ORB: An Open Reading Benchmark for Comprehensive Evaluation of Machine Reading Comprehensioncited by 5
Built on by
Citing papers per year: 2023: 3; 2024: 8; 2025: 2.
13 papers.
Sort:
By area:
- 2023Orca 2: Teaching Small Language Models How to Reasoncited by 157
- 2024ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detectioncited by 37
- 2024Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examplescited by 29
- 2025PDE-Controller: LLMs for Autoformalization and Reasoning of PDEscited by 23
- 2025Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Modelscited by 20
- 2024CMM-Math: A Chinese Multimodal Math Dataset To Evaluate and Enhance the Mathematics Reasoning of Large Multimodal Modelscited by 18
- 2024Arithmetic Reasoning with LLM: Prolog Generation & Permutationcited by 17
- 2023Evaluating statistical language models as pragmatic reasonerscited by 14
- 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMscited by 13
- 2024MathHay: An Automated Benchmark for Long-Context Mathematical Reasoning in LLMscited by 13
- 2023Leveraging Training Data in Few-Shot Prompting for Numerical Reasoningcited by 11
- 2024FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Modelscited by 0
1 more
- 2025Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models18 Aug 2025
- 2025PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs3 Feb 2025
- 2024Enhancing Mathematical Reasoning in LLMs with Background Operators5 Dec 2024
- 2024MathHay: An Automated Benchmark for Long-Context Mathematical Reasoning in LLMs7 Oct 2024
- 2024ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection6 Oct 2024
- 2024CMM-Math: A Chinese Multimodal Math Dataset To Evaluate and Enhance the Mathematics Reasoning of Large Multimodal Models4 Sep 2024
- 2024FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Models1 Jul 2024
- 2024Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples9 Jun 2024
- 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMs7 Jun 2024
- 2024Arithmetic Reasoning with LLM: Prolog Generation & Permutation28 May 2024
- 2023Orca 2: Teaching Small Language Models How to Reason18 Nov 2023
- 2023Leveraging Training Data in Few-Shot Prompting for Numerical Reasoning29 May 2023
1 more
- 2024ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detectioncited by 37
- 2024Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examplescited by 29
- 2025PDE-Controller: LLMs for Autoformalization and Reasoning of PDEscited by 23
- 2025Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Modelscited by 20
- 2024CMM-Math: A Chinese Multimodal Math Dataset To Evaluate and Enhance the Mathematics Reasoning of Large Multimodal Modelscited by 18
- 2024Arithmetic Reasoning with LLM: Prolog Generation & Permutationcited by 17
- 2023Evaluating statistical language models as pragmatic reasonerscited by 14
- 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMscited by 13
- 2024MathHay: An Automated Benchmark for Long-Context Mathematical Reasoning in LLMscited by 13
- 2023Leveraging Training Data in Few-Shot Prompting for Numerical Reasoningcited by 11
- 2024FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Modelscited by 0
- 2024Enhancing Mathematical Reasoning in LLMs with Background Operatorscited by 0
- 2025Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models18 Aug 2025
- 2025PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs3 Feb 2025
- 2024Enhancing Mathematical Reasoning in LLMs with Background Operators5 Dec 2024
- 2024MathHay: An Automated Benchmark for Long-Context Mathematical Reasoning in LLMs7 Oct 2024
- 2024ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection6 Oct 2024
- 2024CMM-Math: A Chinese Multimodal Math Dataset To Evaluate and Enhance the Mathematics Reasoning of Large Multimodal Models4 Sep 2024
- 2024FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Models1 Jul 2024
- 2024Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples9 Jun 2024
- 2024LLMs Are Not Intelligent Thinkers: Introducing Mathematical Topic Tree Benchmark for Comprehensive Evaluation of LLMs7 Jun 2024
- 2024Arithmetic Reasoning with LLM: Prolog Generation & Permutation28 May 2024
- 2023Leveraging Training Data in Few-Shot Prompting for Numerical Reasoning29 May 2023
- 2023Evaluating statistical language models as pragmatic reasoners1 May 2023
- 2023Orca 2: Teaching Small Language Models How to Reasoncited by 157
- 2023Orca 2: Teaching Small Language Models How to Reason18 Nov 2023
Similar, not cited
Close in wording, no citation either way
- 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
- 2024Benchmarking Large Language Models for Math Reasoning Tasks
- 2025MathMist: A Parallel Multilingual Benchmark Dataset for Mathematical Problem Solving and Reasoning
- 2024RoMath: A Mathematical Reasoning Benchmark in Romanian
- 2025Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach
- 2025AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models