SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification - Klopfenstein, Rocky; He, Yang; Tremante, Andrew; Wang, Yuepeng; Narodytska, Nina; Wu, Haoze (International Conference on Learning Representations, 2026)