OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
Not on the map. Why?
Cited by 24 in LLM agents and tool use, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
Optimization problems are pervasive in sectors from manufacturing and distribution to healthcare. However, most such problems are still solved heuristically by hand rather than optimally by state-of-the-art solvers because the expertise required to formulate and solve these problems limits the widespread adoption of optimization tools and techniques. This paper introduces OptiMUS, a Large Language Model (LLM)-based agent designed to formulate and solve (mixed integer) linear programming problems from their natural language descriptions. OptiMUS can develop mathematical models, write and debug solver code, evaluate the generated solutions, and improve its model and code based on these evaluations. OptiMUS utilizes a modular structure to process problems, allowing it to handle problems with long descriptions and complex data without long prompts. Experiments demonstrate that OptiMUS outperforms existing state-of-the-art methods on easy datasets by more than 20% and on hard datasets (including a new dataset, NLP4LP, released with this paper that features long and complex problems) by more than 30%.
Key facts. Cited by 105 papers in the map (data through 7 Oct 2026). Builds on 8 of its 27 references that are in the map. First posted on arXiv 15 Feb 2024.
Builds on
8 of 27 references.
References · 8
- 2023LLaMA: Open and Efficient Foundation Language Modelscited by 13,958
- 2021Improving language models by retrieving from trillions of tokenscited by 1,278
- 2023How Far Can Camels Go? Exploring the State of Instruction Tuning on Open Resourcescited by 405
- 2023ART: Automatic multi-step reasoning and tool-use for large language modelscited by 193
- 2023NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptionscited by 133
- 2023Large Language Models for Supply Chain Optimizationcited by 61
- 2022Augmenting Operations Research with Auto-Formulation of Optimization Models from Problem Descriptionscited by 54
- 2023Diagnosing Infeasible Optimization Problems Using Large Language Modelscited by 27
Built on by
Citing papers per year: 2024: 10; 2025: 38; 2026: 57.
105 papers.
Sort:
By area:
- 2024LLMOPT: Learning to Define and Solve General Optimization Problems from Scratchcited by 102
- 2024OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modelingcited by 66
- 2024Autoformulation of Mathematical Optimization Models Using LLMscited by 48
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 44
- 2024OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scalecited by 37
- 2024Towards Foundation Models for Mixed Integer Linear Programmingcited by 30
- 2025A Survey of Optimization Modeling Meets LLMs: Progress and Future Directionscited by 30
- 2025CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimizationcited by 28
- 2025StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language Modelscited by 26
- 2024Toward Automated Algorithm Design: A Survey and Practical Guide to Meta-Black-Box-Optimizationcited by 23
- 2025OptimAI: Optimization from Natural Language Using LLM-Powered AI Agentscited by 22
- 2025HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimizationcited by 19
38 more
- 2024Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfacescited by 11
- 2026Constructing Industrial-Scale Optimization Modeling Benchmarkcited by 10
- 2025Decision Information Meets Large Language Models: The Future of Explainable Operations Researchcited by 9
- 2025EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulationscited by 9
- 2025A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solvingcited by 9
- 2025OptiMind: Teaching LLMs to Think Like Optimization Expertscited by 9
- 2024Large Language Models for Power Scheduling: A User-Centric Approachcited by 8
- 2024Generalists vs. Specialists: Evaluating LLMs on Highly-Constrained Biophysical Sequence Optimization Taskscited by 8
- 2025OptiChat: Bridging Optimization Models and Practitioners with Large Language Modelscited by 8
- 2025EvoCut: Strengthening Integer Programs via Evolution-Guided Language Modelscited by 8
- 2025SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modelingcited by 8
- 2026ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimizationcited by 8
- 2025Generalizable Heuristic Generation Through LLMs with Meta-Optimizationcited by 7
- 2025ORGEval: Graph-Theoretic Evaluation of LLMs in Optimization Modelingcited by 7
- 2026AI Agents for Inventory Control: Human-LLM-OR Complementaritycited by 6
- 2026ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimizationcited by 6
- 2025R-ConstraintBench: Evaluating LLMs on NP-Complete Schedulingcited by 5
- 2026OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scalingcited by 5
- 2026NEMO: Execution-Aware Optimization Modeling via Autonomous Coding Agentscited by 5
- 2026Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verificationcited by 5
- 2024Abstract Operations Research Modeling Using Natural Language Inputscited by 4
- 2025Satellite Edge Artificial Intelligence with Large Models: Architectures and Technologiescited by 4
- 2025Large Language Models in Operations Research: Methods, Applications, and Challengescited by 4
- 2026OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM Agentscited by 4
- 2026Strategy-Aware Optimization Modeling with Reasoning LLMscited by 4
- 2026FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimizationcited by 4
- 2025What can large language models do for sustainable food?cited by 3
- 2025Automatic MILP Model Construction for Multi-Robot Task Allocation and Scheduling Based on Large Language Modelscited by 3
- 2025Performance of LLMs on Stochastic Modeling Operations Research Problems: From Theory to Practicecited by 3
- 2025CALM Before the STORM: Unlocking Native Reasoning for Optimization Modelingcited by 3
- 2025An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Modelscited by 3
- 2026From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modelingcited by 3
- 2025Large Language Model-Driven Surrogate-Assisted Evolutionary Algorithm for Expensive Optimizationcited by 2
- 2025LISTEN to Your Preferences: An LLM Framework for Multi-Objective Selectioncited by 2
- 2026MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations Researchcited by 2
- 2026Execution-Verified Reinforcement Learning for Optimization Modelingcited by 2
- 2026ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modelingcited by 2
- 2026Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solverscited by 2
50 most cited of 105 All 105 (JSON)
- 2026Autoresearch in Mixed-Integer Linear and Nonlinear Programming30 Sep 2026
- 2026Right Answers, Costly Models: The Efficiency Gap in LLM-based Optimization Modeling30 Sep 2026
- 2026LLMs as Adaptive Meta-Solvers: Strategy-Diverse RL for Industrial-Scale Optimization28 Sep 2026
- 2026Learning to Optimize through Solver-Grounded Self-Play28 Sep 2026
- 2026SAILOR: Solver-Assisted Interactive LLM-based Optimization Recovery12 Sep 2026
- 2026QuantumQUBO Agent: Automating Quadratic Unconstrained Binary Optimization (QUBO) Formulation Generation from Natural Language9 Sep 2026
- 2026Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive Optimization4 Sep 2026
- 2026Adapting to Evolving Requirements: Agentic AI for Retail Supply Chain Operations3 Sep 2026
- 2026Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing Problems1 Sep 2026
- 2026FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving25 Aug 2026
- 2026Admission Without Answers: Label-Free Certification and Experience Learning for LLM-Based Optimization Modeling16 Aug 2026
- 2026From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving14 Aug 2026
38 more
- 2026Enactive Artificial Intelligence: A Decision-Centric Architecture for Complex Systems4 Aug 2026
- 2026WildSplat: Feedforward Gaussian Splatting from Unposed In-the-Wild Images6 Jul 2026
- 2026A2utoLPBench: An Auto-Generated, Agent-Friendly LP Benchmark via Inverse-KKT Construction2 Jul 2026
- 2026Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language Models1 Jul 2026
- 2026Solver-Verified Formulation Generation and Selection for Multi-Warehouse Inventory Allocation Using Large Language Models28 Jun 2026
- 2026EvoOptiGraph: Weakness-Driven Coevolution via Graph-Based Structural Generation for Optimization Modeling25 Jun 2026
- 2026MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources24 Jun 2026
- 2026ORAgentBench: Can LLM Agents Solve Challenging Operations Research Tasks End to End?18 Jun 2026
- 2026WARA: Toward Automated Wireless Optimization Research with Closed-Loop LLM Agents7 Jun 2026
- 2026Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification28 May 2026
- 2026OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization Agents27 May 2026
- 2026OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents26 May 2026
- 2026DynaSchedBench: Calibrated Dynamic Scheduling Benchmarks and Observability Paradox in LLM-based Scheduling Agents26 May 2026
- 2026Generating Robust Portfolios of Optimization Models using Large Language Models26 May 2026
- 2026Constraint acquisition needs better benchmarks25 May 2026
- 2026VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification24 May 2026
- 2026FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization24 May 2026
- 2026BBOWP-Bench: Evaluating LLMs on Black-Box Optimization Word Problems20 May 2026
- 2026Does Slightly Mean Somewhat? Measuring Vague Intensity Words in LLM Numeric Actions20 May 2026
- 2026Models Can Model, But Can't Bind: Structured Grounding in Text-to-Optimization20 May 2026
- 2026Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis17 May 2026
- 2026PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language14 May 2026
- 2026TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling12 May 2026
- 2026Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers12 May 2026
- 2026Large Language Models as Amortized Pareto-Front Generators for Constrained Bi-Objective Convex Optimization12 May 2026
- 2026Automated Reformulation of Robust Optimization via Memory-Augmented Large Language Models12 May 2026
- 2026HMACE: Heterogeneous Multi-Agent Collaborative Evolution for Combinatorial Optimization8 May 2026
- 2026ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modeling4 May 2026
- 2026Strategy-Aware Optimization Modeling with Reasoning LLMs4 May 2026
- 2026EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutions4 May 2026
- 2026From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling28 Apr 2026
- 2026PARM: Pipeline-Adapted Reward Model20 Apr 2026
- 2026BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design14 Apr 2026
- 2026Deep Learning for Sequential Decision Making under Uncertainty: Foundations, Frameworks, and Frontiers13 Apr 2026
- 2026Large Language Models as Optimizers: A Survey of Direct vs. Tool-Augmented Approaches and Their Performance Frontiers9 Apr 2026
- 2026Execution-Verified Reinforcement Learning for Optimization Modeling1 Apr 2026
- 2026ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization25 Feb 2026
- 2026OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM Agents23 Feb 2026
50 newest of 105 All 105 (JSON)
- 2025CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimizationcited by 28
- 2025OptimAI: Optimization from Natural Language Using LLM-Powered AI Agentscited by 22
- 2025HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimizationcited by 19
- 2026AI Agents for Inventory Control: Human-LLM-OR Complementaritycited by 6
- 2026NEMO: Execution-Aware Optimization Modeling via Autonomous Coding Agentscited by 5
- 2026OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM Agentscited by 4
- 2025An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Modelscited by 3
- 2026From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modelingcited by 3
- 2026MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations Researchcited by 2
- 2026Execution-Verified Reinforcement Learning for Optimization Modelingcited by 2
- 2026ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modelingcited by 2
- 2026OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agentscited by 2
12 most cited of 24 All 24 (JSON)
- 2026Adapting to Evolving Requirements: Agentic AI for Retail Supply Chain Operations3 Sep 2026
- 2026Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing Problems1 Sep 2026
- 2026A2utoLPBench: An Auto-Generated, Agent-Friendly LP Benchmark via Inverse-KKT Construction2 Jul 2026
- 2026ORAgentBench: Can LLM Agents Solve Challenging Operations Research Tasks End to End?18 Jun 2026
- 2026WARA: Toward Automated Wireless Optimization Research with Closed-Loop LLM Agents7 Jun 2026
- 2026OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization Agents27 May 2026
- 2026OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents26 May 2026
- 2026DynaSchedBench: Calibrated Dynamic Scheduling Benchmarks and Observability Paradox in LLM-based Scheduling Agents26 May 2026
- 2026HMACE: Heterogeneous Multi-Agent Collaborative Evolution for Combinatorial Optimization8 May 2026
- 2026ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modeling4 May 2026
- 2026EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutions4 May 2026
- 2026From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling28 Apr 2026
12 newest of 24 All 24 (JSON)
- 2024OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modelingcited by 66
- 2025OptiMind: Teaching LLMs to Think Like Optimization Expertscited by 9
- 2026ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimizationcited by 6
- 2026Strategy-Aware Optimization Modeling with Reasoning LLMscited by 4
- 2025CALM Before the STORM: Unlocking Native Reasoning for Optimization Modelingcited by 3
- 2026MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resourcescited by 1
- 2026MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources24 Jun 2026
- 2026Strategy-Aware Optimization Modeling with Reasoning LLMs4 May 2026
- 2026ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization25 Feb 2026
- 2025CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling5 Oct 2025
- 2025OptiMind: Teaching LLMs to Think Like Optimization Experts26 Sep 2025
- 2024OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling13 Jul 2024
- 2024LLMOPT: Learning to Define and Solve General Optimization Problems from Scratchcited by 102
- 2024Autoformulation of Mathematical Optimization Models Using LLMscited by 48
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 44
- 2024OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scalecited by 37
- 2024Towards Foundation Models for Mixed Integer Linear Programmingcited by 30
- 2025A Survey of Optimization Modeling Meets LLMs: Progress and Future Directionscited by 30
- 2024Toward Automated Algorithm Design: A Survey and Practical Guide to Meta-Black-Box-Optimizationcited by 23
- 2024Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfacescited by 11
- 2026Constructing Industrial-Scale Optimization Modeling Benchmarkcited by 10
- 2025Decision Information Meets Large Language Models: The Future of Explainable Operations Researchcited by 9
- 2025EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulationscited by 9
- 2025A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solvingcited by 9
12 most cited of 70 All 70 (JSON)
- 2026Autoresearch in Mixed-Integer Linear and Nonlinear Programming30 Sep 2026
- 2026Right Answers, Costly Models: The Efficiency Gap in LLM-based Optimization Modeling30 Sep 2026
- 2026LLMs as Adaptive Meta-Solvers: Strategy-Diverse RL for Industrial-Scale Optimization28 Sep 2026
- 2026SAILOR: Solver-Assisted Interactive LLM-based Optimization Recovery12 Sep 2026
- 2026QuantumQUBO Agent: Automating Quadratic Unconstrained Binary Optimization (QUBO) Formulation Generation from Natural Language9 Sep 2026
- 2026Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive Optimization4 Sep 2026
- 2026FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving25 Aug 2026
- 2026Admission Without Answers: Label-Free Certification and Experience Learning for LLM-Based Optimization Modeling16 Aug 2026
- 2026From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving14 Aug 2026
- 2026Enactive Artificial Intelligence: A Decision-Centric Architecture for Complex Systems4 Aug 2026
- 2026WildSplat: Feedforward Gaussian Splatting from Unposed In-the-Wild Images6 Jul 2026
- 2026Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language Models1 Jul 2026
12 newest of 70 All 70 (JSON)