3 papers
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.PL2025
Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
Yang He, Xiaoyu Liu, Yuepeng Wang
Image editing is a common task across a wide range of domains, from personal use to professional applications. Despite advances in computer vision, current tools still demand signi…
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…