标签
该论文介绍了MILP-Evo,这是一个闭环框架,利用LLM引导的程序进化来自动设计白盒MILP求解器组件(割选择器和分支规则),通过迭代生成和评估候选程序,并根据其在MILP实例上的端到端求解性能进行评估。
本文介绍了利用LP2Graph进行LP挖掘的方法,该方法通过类型化变量-方程图从文献中提取LP和MILP公式并将其分类为可复现的数据集,并以铁路重新调度为例进行了展示。
逆向工程 Qualcomm NPU 编译器揭示了未文档化的 VTCM 内存管理、基于 MILP 的布局、自动精度更改,以及一个用于边缘部署优化的隐藏分析模拟器(Hextimate)。
立场论文:主张为MILP决策引擎增加一个求解后鲁棒性层,形式化扰动下的可行邻域和解的平滑性,并呼吁采用经过认证的内部近似和对抗鲁棒性裕度。