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>.

LM4OPT: Unveiling the Potential of Large Language Models in Formulating Mathematical Optimization Problems

LM4OPT: Unveiling the potential of Large Language Models in formulating mathematical optimization problems

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

Solving General Natural-Language-Description Optimization Problems with Large Language Models

Exploring the Potential of Large Language Models in Molecular Tasks: An Insightful Evaluation with GPT‐4

Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange

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

Sequential Large Language Model-Based Hyper-Parameter Optimization

Exploring the True Potential: Evaluating the Black-box Optimization Capability of Large Language Models

LLM4DS: Evaluating Large Language Models for Data Science Code Generation

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

Are Large Language Models Strategic Decision Makers? A Study of Performance and Bias in Two-Player Non-Zero-Sum Games

MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Data

Do Large Language Models Speak All Languages Equally? A Comparative Study in Low-Resource Settings

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions

Large Language Model-Based Evolutionary Optimizer: Reasoning with elitism

MEGAVERSE: Benchmarking Large Language Models Across Languages, Modalities, Models and Tasks

Contrastive Preference Optimization: Pushing the Boundaries of LLM Performance in Machine Translation

Large Language Models for Mathematicians