Yuan Tian, Tianyi Zhang: PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents. ACL (Findings) 2026: 25827-25845