arXiv:2309.13218v5 通知类型: 更新 摘要: 商业优化已被广泛用于确定复杂业务操作的最佳解决方案。问题形式化是商业优化的一个重要组成部分，因为它会影响解决方案的有效性以及优化过程的效率。虽然已经开发了不同的优化建模语言，但问题形式化仍然不是一项简单的任务，通常需要优化专业知识和领域知识。近年来，大型语言模型（LLMs）在不同的语言相关任务中表现出卓越的表现。由于问题形式化可以视为一种翻译任务，因此有可能利用LLMs来自动化问题形式化。然而，由于可用训练数据有限且现实世界的优化问题复杂性，开发一个用于问题形式化的LLM是有挑战性的。文献中提出了几种提示工程技术来利用LLMs自动进行问题形式化。虽然初始结果令人鼓舞，但这些方法生成的公式准确性仍有显著提高的空间。在本文中，我们提出了一个基于LLM的框架，用于在商业优化中自动化问题形式化。我们的方法介绍了一种针对特定商业优化挑战定制的成本效益较高的LLM微调方法。实验结果表明，我们的框架可以生成准确的公式，以应对生产调度中的常规和实际商业优化问题。全面的分析显示，所提出的微调方法的有效性和收敛性。当在一般线性规划问题上进行测试时，所提出的方法在与文献中最先进的提示工程技术的性能比较中也表现出了非常有竞争力的表现。