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

Published: