TY - RPRT TI - Post-SQLFix: Property-Guided Repair of LLM-Generated SQL with Runtime Verification AU - Zhihao Guo AU - Zonghan Wu AU - Yilei Shao AU - Haizhou Du AU - Nan Tang AU - Xiao Cheng AU - Huan Huo PY - 2026 UR - https://arxiv.org/abs/2610.41472 ID - 2610.41472 ER -