Broadcom（博通）

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification

SpotIt: 通过形式验证评估文本到SQL

Rocky Klopfenstein, Yang He, Andrew Tremante, Yuepeng Wang, Nina Narodytska, Haoze Wu

机构 * Amherst College（阿姆赫斯特学院） ； Simon Fraser University（西蒙弗雷泽大学） ； VMware Research by Broadcom（VMware由Broadcom进行的研究） 纠错

AI总结 SpotIt通过形式验证评估文本到SQL系统，发现基于测试的方法无法区分生成查询与地面真相的差异。

Comments Accepted at ICLR'26