Beyond Objective Equivalence: Constraint Injection for LLM-Based Optimization Modeling on Vehicle Routing Problems
超越目标等价性:基于LLM的车辆路径问题优化建模的约束注入
机构 * Beihang University(北京航空航天大学) ; Baidu Inc.(百度公司)
AI总结 针对LLM在约束密集的运筹问题中可能添加虚假约束或遗漏必要约束的问题,提出约束注入方法,结合差分测试形成双重验证器,并在车辆路径问题上验证其有效性。
Comments 28 pages