SQLens: An End-to-End Framework for Error Detection and Correction in Text-to-SQL - Gong, Yue; Lei, Chuan; Qin, Xiao; Vaidya, Kapil; Narayanaswamy, Balakrishnan; Kraska, Tim (Advances in Neural Information Processing Systems, 2025)