arXiv cs.SE· Zhihao Guo, Zonghan Wu, Yilei Shao, Haizhou Du, Nan Tang, Xiao Cheng, Huan Huo·· 4 小时前AI 评分38
Post-SQLFix：用属性引导与运行时验证修复 LLM 生成的 SQL
Post-SQLFix: Property-Guided Repair of LLM-Generated SQL with Runtime Verification
AI 导读
Post-SQLFix 将 Text-to-SQL 修复重构为属性引导的程序修复，先把 SQL 规范化为方言感知的 Canonical Query Structure，再经句法、上下文无关结构、上下文敏感语义三层静态分析器给出违规诊断，并用 Verify-Before-Apply 时序监控只接受减少违规数且不引入已解决违规的修复。
来源：arXiv cs.SE · arxiv.org