AI RESEARCH
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
arXiv CS.AI
•
ArXi:2603.04334v2 Announce Type: replace-cross We present SpotIt+, an open-source tool for evaluating Text-to-SQL systems via bounded equivalence verification. Given a generated SQL query and the ground truth, SpotIt+ actively searches for database instances that differentiate the two queries. To ensure that the generated counterexamples reflect practically relevant discrepancies, we