22 citations · 27 across the 6 of their papers we have counts for
3 papers · 1 filter
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
Andrew Tremante, Yang He, Rocky Klopfenstein +3
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…
Data Migration using Datalog Program Synthesis
Yuepeng Wang, Rushi Shah, Abby Criswell +2
This paper presents a new technique for migrating data between different schemas. Our method expresses the schema mapping as a Datalog program and automatically synthesizes a Datal…
Type- and Content-Driven Synthesis of SQL Queries from Natural Language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig +1
This paper presents a new technique for automatically synthesizing SQL queries from natural language. Our technique is fully automated, works for any database without requiring add…