Optimization problems are pervasive across various 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, as the expertise required to formulate and solve these problems limits
the widespread adoption of optimization tools and techniques. We introduce
OptiMUS, a Large Language Model (LLM)-based agent designed to formulate and
solve MILP problems from their natural language descriptions. OptiMUS is
capable of developing mathematical models, writing and debugging solver code,
developing tests, and checking the validity of generated solutions. To
benchmark our agent, we present NLP4LP, a novel dataset of linear programming
(LP) and mixed integer linear programming (MILP) problems. Our experiments
demonstrate that OptiMUS is able to solve 67\% more problems compared to a
basic LLM prompting strategy. OptiMUS code and NLP4LP dataset are available at
\href{https://github.com/teshnizi/OptiMUS}{this https URL}

OptiMUS 是一个基于 LLM 的代理，能够通过自然语言描述来制定和解决 MILP 问题，同时具备开发数学模型、编写和调试求解器代码、开发测试并检查生成的解的有效性的能力。通过与基本 LLM 提示策略的比较，我们的实验表明，OptiMUS 能够解决比基本策略多 67％的问题。