摘要
本文提出一种代理式混合整数规划（MIP）研究框架，将大语言模型嵌入求解器感知环境中，用于自动生成、验证和评估开源求解器 SCIP 的插件。该框架专注于将 MIP 公式语义提升为全局约束，并自动构建仅传播的约束处理器。通过在沙箱环境中进行上下文学习，Agent 不仅能调试代码，还能发现新的传播策略。实验表明，该方法在 MIPLIB 2017 基准上成功解决了额外五个实例，证明了 Agent 自主导航复杂研发循环的能力。
AI 推荐理由
论文核心在于 Agent 自动生成、调试及优化求解器插件的技能，属于高阶工具使用与代码生成。
研究机构
Zuse Institute Berlin, Germany
Equal contribution. Independent Researcher. Correspondence to: .
Zuse Institute Berlin and Technische Universität Berlin, Germany
论文信息