ML Anthology

Tremante, Andrew

1 publications

ICLR 2026 SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification Rocky Klopfenstein, Yang He, Andrew Tremante, Yuepeng Wang, Nina Narodytska, Haoze Wu