SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification. - Rocky Klopfenstein; Yang He; Andrew Tremante; Yuepeng Wang; Nina Narodytska; Haoze Wu (CoRR, 2025)