arXiv Artificial Intelligence· Piyush Jha, Cruise Song, Zhengyu Li, Yatharth Sejpal·2026-10-15 12:00· 19 小时前AI 评分29

VeriPIE：面向 Text-to-SQL 的可检查查询计划与证据引导选择

VeriPIE: Checkable Query Plans and Evidence-Guided Selection for Text-to-SQL

AI 导读

VeriPIE 是一个神经符号框架，将语言模型生成与符号检查结合，用 Lean 实现的后端校验 QuerySketch 结构化计划语言，并通过执行一致性和区分性数据库的有界搜索来筛选候选。