arXiv 2026年10月12日大模型写优化模型会悄悄改错约束：不重训上游，事后修复把零样本准确率从44.8%提到64.9%OPT-Kraken 把大模型生成的优化模型与求解代码当作冻结产物做事后修复，在六个基准上把零样本准确率从 44.8% 提到 64.9%，同时只让 0.6% 原本正确的输出变错。OPT-Kraken 把大模型生成的优化模型与求解代码当作冻结产物做事后修复，在六个基准上把零样本准确率从 44.8% 提到 64.9%，同时只让 0.6% 原本正确的输出变错。Zhejiang UniversityGreat Bay UniversityPeking UniversityJiageng Wu（第一作者）#OPT-Kraken框架#基于大语言模型的优化建模#幻觉缓解#幻觉检测