arXiv:2607.18252cs.AIcs.NE2026-07

用大模型自动设计可解释的优化求解器,提升求解效率。

MILP-Evo: Closed-Loop Fully Automatic Design of MILP Solvers

论文配图:MILP-Evo: Closed-Loop Fully Automatic Design of MILP Solvers
图 1 · 摘自论文原文
  • 用大模型驱动的闭环搜索,自动生成可执行的求解器代码组件。
  • 在四个基准族上发现性能媲美人工设计的专用策略。
  • 输出结果透明可读,适合需要可解释性的工业优化场景。

机器学习方法表明,数据驱动的策略能加速混合整数线性规划(MILP)求解器,但许多方法因学习策略以外部预测器等黑盒形式存在,难以审查、修改和部署。相比之下,显式求解逻辑更易理解与集成,但通常为手工设计而非从求解反馈中学习。本文研究是否可将求解器逻辑的自动设计转化为由大语言模型引导的闭环搜索,通过可执行的白盒组件直接评估端到端求解行为。为此,我们提出一种基于PySCIPOpt实现的闭环程序进化框架,应用于割平面选择器与分支规则的联合设计。候选程序被迭代生成、加载至SCIP并直接在MILP实例上执行,其反馈用于指导性能选择、针对性修复、诊断反思及多样性感知的种群维护。该方法输出的显式求解组件可被检查、修改并在标准求解流程中部署。在四个基准家族中,我们发现大模型引导的程序进化可在多个场景下发现具有竞争力的领域专用策略。

原文摘要 · Abstract (English)

Machine learning methods have shown that data-driven policies can accelerate mixed-integer linear programming (MILP) solvers, but many such approaches remain difficult to inspect, adapt, and deploy because the learned policy is represented as an external predictor or other opaque model. By contrast, explicit solver logic is easier to understand and integrate, but is usually hand-designed rather than learned from solver feedback. We study whether the automatic design of MILP solver logic can instead be cast as LLM-guided closed-loop search over executable white-box components evaluated directly by end-to-end solver behavior. To this end, we propose a closed-loop program evolution framework for MILP solver auto-design, implemented through PySCIPOpt, and instantiate it on the joint design of a cut selector and a branching rule. Candidate programs are iteratively generated, loaded into SCIP, and evaluated by direct execution on MILP instances, with the resulting feedback guiding performance-based selection, targeted repair, diagnostic reflection, and diversity-aware population maintenance. The method outputs explicit solver components that can be inspected, modified, and deployed within standard solver workflows. Across four benchmark families, we find that LLM-guided program evolution can discover competitive domain-specialized policies in several settings.

优化求解程序进化可解释性LLM应用

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。