Abstract:Optimization problems are prevalent across various scenarios. Formulating and then solving optimization problems described by natural language often requires highly specialized human expertise, which could block the widespread application of optimization-based decision making. To make problem formulating and solving automated, leveraging large language models (LLMs) has emerged as a potential way. However, this kind of way suffers from the issue of optimization generalization. Namely, the accuracy of most current LLM-based methods and the generality of optimization problem types that they can model are still limited. In this paper, we propose a unified learning-based framework called LLMOPT to boost optimization generalization. Starting from the natural language descriptions of optimization problems and a pre-trained LLM, LLMOPT constructs the introduced five-element formulation as a universal model for learning to define diverse optimization problem types. Then, LLMOPT employs the multi-instruction tuning to enhance both problem formalization and solver code generation accuracy and generality. After that, to prevent hallucinations in LLMs, such as sacrificing solving accuracy to avoid execution errors, model alignment and self-correction mechanism are adopted in LLMOPT. We evaluate the optimization generalization ability of LLMOPT and compared methods across six real-world datasets covering roughly 20 fields such as health, environment, energy and manufacturing, etc. Extensive experiment results show that LLMOPT is able to model various optimization problem types such as linear/nonlinear programming, mixed integer programming and combinatorial optimization, and achieves a notable 11.08% average solving accuracy improvement compared with the state-of-the-art methods. The code is available at <a class="link-external link-https" href="https://github.com/caigaojiang/LLMOPT" rel="external noopener nofollow">this https URL</a>.

MINLPLib—A Collection of Test Models for Mixed-Integer Nonlinear Programming

MINLP Algorithms Mixed with Constraint Programming

Minotaur: a mixed-integer nonlinear optimization toolkit

MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library

Applications and algorithms for mixed integer nonlinear programming

Distributional MIPLIB: a Multi-Domain Library for Advancing ML-Guided MILP Methods

MINLP formulations for continuous piecewise linear function fitting

A Parallel Method With Hybrid Algorithms For Mixed Integer Nonlinear Programming

Mixed-integer nonlinear programming 2018

OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models

23 European Symposium on Computer Aided Process Engineering: A Parallel Method with Hybrid Algorithms for Mixed Integer Nonlinear Programming

Non-convex mixed-integer nonlinear programming: A survey

Learning to Optimize for Mixed-Integer Non-linear Programming

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem

OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scale

LLMOPT: Learning to Define and Solve General Optimization Problems from Scratch

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem

A Sequential Benders-based Mixed-Integer Quadratic Programming Algorithm