@misc{indiciae8df6fd2ff53d, title = {Verifying Text-to-SQL Queries under Changing Business Semantics}, author = {Genliang Zhu and Xiaobo Chen and Ziyuan Wang and Chu Wang}, year = {2026}, url = {https://arxiv.org/abs/2610.41090}, note = {Source identifier: 2610.41090} }