arXiv Artificial Intelligence· Rui Zhang, Chenyu Zhou, Jianghao Lin, Yaoxin Wu, Dongdong Ge, Wen Song·· 18 小时前AI 评分38
ORSMT：用可满足性模理论为 LLM 优化建模提供语义验证与修复
ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization
AI 导读
ORSMT 通过类型化语义接口和精确 SMT 关系查询，对 LLM 生成的优化模型、求解器代码与报告做语义比对，定位被反驳的行或定义域并跨工件重建。在 3,034 个问题和六种生成器规模的全部 72 个基准与生成器组合中，模型-代码匹配率均提升；受保护选择将总体匹配率从 43.2% 提高到 88.2%，正确且匹配占比从 25.2% 提高到 40.2%。
来源：arXiv Artificial Intelligence · arxiv.org