mlsanityData to 7 Oct 2026

Lila: A Unified Benchmark for Mathematical Reasoning

arXiv 2210.17517 ↗First posted 31 Oct 2022cs.CL cs.AIcited by 13

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

  1. 2022Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning29 Sep
  2. 2022NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks12 Apr

Other references · 35

  1. 2020Language Models are Few-Shot Learnerscited by 32,199
  2. 2021Training Verifiers to Solve Math Word Problemscited by 9,743
  3. 2021Finetuned Language Models Are Zero-Shot Learnerscited by 3,747
  4. 2019SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systemscited by 1,718
  5. 2021Multitask Prompted Training Enables Zero-Shot Task Generalizationcited by 1,462
  6. 2020Beyond Accuracy: Behavioral Testing of NLP models with CheckListcited by 979
  7. 2019DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphscited by 883
  8. 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 861
  9. 2021Cross-Task Generalization via Natural Language Crowdsourcing Instructionscited by 696
  10. 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 642
  11. 2018Taskonomy: Disentangling Task Transfer Learningcited by 631
  12. 2021Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoningcited by 376
23 more
  1. 2016Solving General Arithmetic Word Problemscited by 353
  2. 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 314
  3. 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 309
  4. 2020Pretrained Transformers Improve Out-of-Distribution Robustnesscited by 293
  5. 2021IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoningcited by 262
  6. 2021Muppet: Massive Multi-task Representations with Pre-Finetuningcited by 192
  7. 2021Reframing Instructional Prompts to GPTk's Languagecited by 176
  8. 2018Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflowcited by 165
  9. 2021Proof Artifact Co-training for Theorem Proving with Language Modelscited by 130
  10. 2019"Going on a vacation" takes longer than "Going for a walk": A Study of Temporal Commonsense Understandingcited by 121
  11. 2020Birds have four legs?! NumerSense: Probing Numerical Commonsense Knowledge of Pre-trained Language Modelscited by 110
  12. 2021UNICORN on RAINBOW: A Universal Commonsense Reasoning Model on a New Multitask Benchmarkcited by 98
  13. 2021QA Dataset Explosion: A Taxonomy of NLP Resources for Question Answering and Reading Comprehensioncited by 91
  14. 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
  15. 2020Do Language Embeddings Capture Scales?cited by 63
  16. 2018QuaRel: A Dataset and Models for Answering Questions about Qualitative Relationshipscited by 46
  17. 2020INT: An Inequality Benchmark for Evaluating Generalization in Theorem Provingcited by 44
  18. 2019EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inferencecited by 39
  19. 2017Mapping to Declarative Knowledge for Word Problem Solvingcited by 36
  20. 2021Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematicscited by 27
  21. 2016Unit Dependency Graph and its Application to Arithmetic Word Problem Solvingcited by 25
  22. 2022How Many Data Samples is an Additional Instruction Worth?cited by 16
  23. 2019ORB: An Open Reading Benchmark for Comprehensive Evaluation of Machine Reading Comprehensioncited by 5

Built on by

Cited by year

Citing papers per year: 2023: 3; 2024: 8; 2025: 2.

13 papers.

Sort:

By area:

Similar, not cited

Close in wording, no citation either way

  1. 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
  2. 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
  3. 2024Benchmarking Large Language Models for Math Reasoning Tasks
  4. 2025MathMist: A Parallel Multilingual Benchmark Dataset for Mathematical Problem Solving and Reasoning
  5. 2024RoMath: A Mathematical Reasoning Benchmark in Romanian
  6. 2025Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach
  7. 2025AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models
  8. 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models