arXiv cs.SE· Rui Zhang, Chenyu Zhou, Jianghao Lin, Yaoxin Wu, Dongdong Ge, Wen Song·· 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 生成的优化模型、求解器代码与报告是否语义一致，并能定位反驳到具体行或定义域、从一个产物重建另一个。
来源：arXiv cs.SE · arxiv.org