TY  - RPRT
TI  - Verifying Text-to-SQL Queries under Changing Business Semantics
AU  - Genliang Zhu
AU  - Xiaobo Chen
AU  - Ziyuan Wang
AU  - Chu Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.41090
ID  - 2610.41090
ER  -