Showing cs.DBShow all
2 papers · 1 filter
cs.DB2025
SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
Rocky Klopfenstein, Yang He, Andrew Tremante +3
Community-driven Text-to-SQL evaluation platforms play a pivotal role in tracking the state of the art of Text-to-SQL performance. The reliability of the evaluation process is crit…
cs.DB2024
Synthesizing Document Database Queries using Collection Abstractions
Qikang Liu, Yang He, Yanwen Cai +2
Document databases are increasingly popular in various applications, but their queries are challenging to write due to the flexible and complex data model underlying document datab…