EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Large language models (LLMs) have shown strong performance on mathematical reasoning under well-defined conditions. However, real-world engineering problems involve uncertainty, context, and open-ended settings that extend beyond symbolic computation. Existing benchmarks largely focus on well-defined or abstract reasoning and therefore fail to capture these complexities. We introduce EngiBench, a hierarchical benchmark designed to evaluate LLMs on solving engineering problems. It spans three levels of increasing difficulty (foundational knowledge retrieval, contextual reasoning, and open-ended modeling) and covers diverse engineering subfields. To facilitate a deeper understanding of model performance, we systematically rewrite each problem into three controlled variants (perturbed, knowledge-enhanced, and math abstraction), enabling us to separately evaluate the model's robustness, domain-specific knowledge, and mathematical reasoning abilities. Experimental results show clear performance stratification across difficulty levels: model accuracy declines with task complexity, degrades under minor perturbations, and remains substantially below human performance on high-level engineering tasks. These findings reveal that current LLMs still lack the high-level reasoning needed for real-world engineering, highlighting the need for future models with deeper and more reliable problem-solving capabilities. Our source code and data are available at https://github.com/AI4Engi/EngiBench.
Key facts. Cited by 12 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 42 of its 60 references that are in the map. First posted on arXiv 22 Sep 2025.
Builds on
42 of 60 references.
Closest ancestors · 12
Same direction, newest first
- 2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition30 Apr
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations10 Feb
- 2024HARP: A challenging human-annotated math reasoning benchmark11 Dec
- 2024Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models10 Oct
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models7 Oct
- 2024Evaluating Large Vision-and-Language Models on Children's Mathematical Olympiads22 Jun
- 2024A Careful Examination of Large Language Model Performance on Grade School Arithmetic1 May
- 2024Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap29 Feb
- 2024Orca-Math: Unlocking the potential of SLMs in Grade School Math16 Feb
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb
- 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities13 Jan
- 2023Have LLMs Advanced Enough? A Challenging Problem Solving Benchmark For Large Language Models24 May
Other references · 30
- 2023GPT-4 Technical Reportcited by 18,396
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2024Qwen2.5 Technical Reportcited by 4,942
- 2024Gemini 1.5: Unlocking multimodal understanding across millions of tokens of contextcited by 3,224
- 2024MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmarkcited by 1,848
- 2024Mixtral of Expertscited by 1,823
- 2023MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contextscited by 1,614
- 2024DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Modelcited by 1,135
- 2024ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Toolscited by 1,121
18 more
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
- 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 662
- 2023Prometheus: Inducing Fine-grained Evaluation Capability in Language Modelscited by 575
- 2024Measuring Multimodal Mathematical Reasoning with MATH-Vision Datasetcited by 526
- 2023LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelscited by 427
- 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 391
- 2023NLP Evaluation in trouble: On the Need to Measure LLM Data Contamination for each Benchmarkcited by 348
- 2024MT-Bench-101: A Fine-Grained Benchmark for Evaluating Large Language Models in Multi-Turn Dialoguescited by 250
- 2023Investigating Data Contamination in Modern Benchmarks for Large Language Modelscited by 138
- 2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Provingcited by 133
- 2025Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Modelscited by 109
- 2024From News to Forecast: Integrating Event Analysis in LLM-Based Time Series Forecasting with Reflectioncited by 98
- 2024LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific Discoverycited by 86
- 2023Competition-Level Problems are Effective LLM Evaluatorscited by 25
- 2025FEABench: Evaluating Language Models on Multiphysics Reasoning Abilitycited by 22
- 2024EEE-Bench: A Comprehensive Multimodal Electrical And Electronics Engineering Benchmarkcited by 15
- 2024ElecBench: a Power Dispatch Evaluation Benchmark for Large Language Modelscited by 13
- 2024Benchmarking the Capabilities of Large Language Models in Transportation System Engineering: Accuracy, Consistency, and Reasoning Behaviorscited by 13
Built on by
Citing papers per year: 2025: 2; 2026: 10.
12 papers.
- 2026Harness Updating Is Not Harness Benefit: Disentangling Evolution Capabilities in Self-Evolving LLM Agentscited by 34
- 2025ProfBench: Multi-Domain Rubrics requiring Professional Knowledge to Answer and Judgecited by 24
- 2026Frontier-Eng: Benchmarking Self-Evolving Agents on Real-World Engineering Tasks with Generative Optimizationcited by 16
- 2025EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoningcited by 5
- 2026IndustryBench: Probing the Industrial Knowledge Boundaries of LLMscited by 4
- 2026EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutionscited by 1
- 2026Large Language Models and their Awareness of Mechanics and Spatial Geometrycited by 1
- 2026How Far Are We? Systematic Evaluation of LLMs vs. Human Experts in Mathematical Contest in Modelingcited by 0
- 2026ThermoQA: A Three-Tier Benchmark for Evaluating Thermodynamic Reasoning in Large Language Modelscited by 0
- 2026Do VLMs Reason Like Engineers? A Benchmark and a Stage-wise Evaluationcited by 0
- 2026EngIntervene: Benchmarking Multimodal Engineering State Understanding and Design Intervention Reasoningcited by 0
- 2026FLOORA: A Human-Aligned Domain-Specific Language Model for Architectural Designcited by 0
- 2026FLOORA: A Human-Aligned Domain-Specific Language Model for Architectural Design28 Sep 2026
- 2026EngIntervene: Benchmarking Multimodal Engineering State Understanding and Design Intervention Reasoning27 Sep 2026
- 2026Large Language Models and their Awareness of Mechanics and Spatial Geometry10 Jul 2026
- 2026Do VLMs Reason Like Engineers? A Benchmark and a Stage-wise Evaluation9 Jun 2026
- 2026Harness Updating Is Not Harness Benefit: Disentangling Evolution Capabilities in Self-Evolving LLM Agents28 May 2026
- 2026IndustryBench: Probing the Industrial Knowledge Boundaries of LLMs11 May 2026
- 2026EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutions4 May 2026
- 2026Frontier-Eng: Benchmarking Self-Evolving Agents on Real-World Engineering Tasks with Generative Optimization14 Apr 2026
- 2026How Far Are We? Systematic Evaluation of LLMs vs. Human Experts in Mathematical Contest in Modeling6 Apr 2026
- 2026ThermoQA: A Three-Tier Benchmark for Evaluating Thermodynamic Reasoning in Large Language Models25 Mar 2026
- 2025EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning3 Nov 2025
- 2025ProfBench: Multi-Domain Rubrics requiring Professional Knowledge to Answer and Judge21 Oct 2025
Similar, not cited
Close in wording, no citation either way
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
- 2025Large Language Models and Mathematical Reasoning Failures
- 2025ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models
- 2026Representation Robustness Under Executable Reasoning Constraints in Large Language Models for Mathematical Problem Solving
- 2026Unmasking Reasoning Processes: A Process-aware Benchmark for Evaluating Structural Mathematical Reasoning in LLMs
- 2025Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach
- 2026General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks
- 2024Benchmarking Large Language Models for Math Reasoning Tasks