Horizon: Robust Checks for SQL Migration Using LLMs. - K. Venkatesh Emani; Wenjing Wang 005; Zi Ye; Jia He; Neel Ball; Kumaraswamy Boora; Carlo Curino; Avrilia Floratou; Manan Goenka; Paridhi Gupta; Vivek Gupta; Katherine Lin; et al. (Proc. VLDB Endow., 2025)