FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations
FormuEvo:大语言模型引导的进化算法用于发现求解器高效的混合整数规划模型
机构 * College of Computing and Data Science, Nanyang Technological University(南洋理工大学计算与数据科学学院) ; School of Computing and Information Systems, Singapore Management University(新加坡管理大学计算与信息系统学院) ; Tsinghua University(清华大学)
专题命中 诊断辅助 :diagnosis(abstract)
AI总结 FormuEvo是LLM引导的进化框架,将MIP模型设计转化为符号空间的进化优化,结合求解器感知诊断与结构化内存,发现的MIP模型性能远超专家设计及现有LLM方法,求解加速最高达5.5倍且知识可跨场景迁移。
Comments 27 pages, 6 figures, and 9 tables. To appear in the Proceedings of EMNLP 2026