mlsanityData to 7 Oct 2026

Performance of LLMs on Stochastic Modeling Operations Research Problems: From Theory to Practice

arXiv 2506.23924 ↗First posted 30 Jun 2025cs.AIcited by 3

Not on the map. Why?

Abstract (arXiv)

Large language models (LLMs) have exhibited expert-level capabilities across various domains. However, their abilities to solve problems in Operations Research (OR) -- the analysis and optimization of mathematical models derived from real-world problems or their verbal descriptions -- remain underexplored. In this work, we take a first step toward evaluating LLMs' abilities to solve stochastic modeling problems, a core class of OR problems characterized by uncertainty and typically involving tools from probability, statistics, and stochastic processes. We manually procure a representative set of graduate-level homework and doctoral qualification-exam problems and test LLMs' abilities to solve them. We further leverage SimOpt, an open-source library of simulation-optimization problems and solvers, to investigate LLMs' abilities to make real-world decisions under uncertainty. Our results show that, though a nontrivial amount of work is still needed to reliably automate the stochastic modeling pipeline in reality, state-of-the-art LLMs demonstrate proficiency on par with human experts in both classroom and practical settings. These findings highlight the potential of building AI agents that assist OR researchers and amplify the real-world impact of OR through automation.

Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Builds on 29 of its 46 references that are in the map. First posted on arXiv 30 Jun 2025.

Builds on

29 of 46 references.

References · 29

  1. 2020Language Models are Few-Shot Learnerscited by 32,199
  2. 2024The Llama 3 Herd of Modelscited by 14,192
  3. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
  4. 2021Training Verifiers to Solve Math Word Problemscited by 9,743
  5. 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,393
  6. 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,355
  7. 2021Evaluating Large Language Models Trained on Codecited by 8,053
  8. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  9. 2023Toolformer: Language Models Can Teach Themselves to Use Toolscited by 4,072
  10. 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,064
  11. 2023Voyager: An Open-Ended Embodied Agent with Large Language Modelscited by 2,081
  12. 2022Competition-Level Code Generation with AlphaCodecited by 1,427
17 more
  1. 2022PAL: Program-aided Language Modelscited by 635
  2. 2023LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelscited by 414
  3. 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
  4. 2020Generative Language Modeling for Automated Theorem Provingcited by 379
  5. 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 227
  6. 2017End-to-End Differentiable Provingcited by 159
  7. 2024ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modelingcited by 124
  8. 2019Learning to Prove Theorems via Interacting with Proof Assistantscited by 107
  9. 2024OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Modelscited by 105
  10. 2024LLMOPT: Learning to Define and Solve General Optimization Problems from Scratchcited by 102
  11. 2022Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Proverscited by 97
  12. 2022Augmenting Operations Research with Auto-Formulation of Optimization Models from Problem Descriptionscited by 54
  13. 2024Autoformulation of Mathematical Optimization Models Using LLMscited by 48
  14. 2024OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scalecited by 37
  15. 2017HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Provingcited by 26
  16. 2019HOList: An Environment for Machine Learning of Higher-Order Theorem Provingcited by 19
  17. 2023Synthesizing mixed-integer linear programming models from natural language descriptionscited by 18

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2025: 1; 2026: 2.

3 papers.