arXiv · AI· Roger X. Lera-Leri, Filippo Bistaffa, Athina Georgara, Juan A. Rodr\'iguez-Aguilar·· 4 小时前AI 评分31
结合约束推理与大语言模型生成优化问题对比解释
Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications
AI 导读
针对基于优化的决策支持系统，结合约束推理与大语言模型生成混合整数规划对比解释。利用“理由图”提炼约束信息并输入 LLM，克服纯模型推理局限。 在真实调度领域测试中，引入约束推理后 LLM 生成的解释包含更多相关原因且错误减少，提升人类监督能力。
来源：arXiv · AI · arxiv.org