arXiv cs.AI· Rui Zhang, Chenyu Zhou, Jianghao Lin, Yaoxin Wu, Dongdong Ge, Wen Song·2026-10-23 12:00· 2 小时前AI 评分38

ORSMT：用 SMT 实现基于 LLM 的优化建模语义验证与修复

ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization

AI 导读

ORSMT 提供类型化语义接口和精确 SMT 关系查询，用于验证与修复 LLM 自动生成的优化模型、求解器代码与报告。在 3,034 个问题和六种生成器规模上，受保护选择将模型-代码匹配率从 43.2% 提升到 88.2%，正确且匹配的比例从 25.2% 提升到 40.2%。