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

Published in International Conference on Learning Representations (ICLR'26), 2026