@inproceedings{tian-zhang-2026-pv,
title = "{PV}-{SQL}: Synergizing Database Probing and Rule-based Verification for Text-to-{SQL} Agents",
author = "Tian, Yuan and
Zhang, Tianyi",
editor = "Liakata, Maria and
Moreira, Viviane P. and
Zhang, Jiajun and
Jurgens, David",
booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {ACL} 2026",
month = jul,
year = "2026",
address = "San Diego, California, United States",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/2026.findings-acl.1286/",
doi = "10.18653/v1/2026.findings-acl.1286",
pages = "25827--25845",
ISBN = "979-8-89176-395-1",
abstract = "Text-to-SQL systems often struggle with deep contextual understanding, particularly for complex queries with subtle requirements.We present **PV-SQL**, an agentic framework that addresses these failures through two complementary components: **P**robe and **V**erify. The *Probe* component iteratively generates probing queries to retrieve concrete records from the database, resolving ambiguities in value formats, column semantics, and inter-table relationships to build richer contextual understanding. The *Verify* component employs a rule-based method to extract verifiable conditions and construct an executable checklist, enabling iterative SQL refinement that effectively reduces missing constraints. Experiments on the BIRD benchmarks show that PV-SQL outperforms the best text-to-SQL baseline by 5{\%} in execution accuracy and 20.8{\%} in valid efficiency score while consuming fewer tokens."
}<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="tian-zhang-2026-pv">
<titleInfo>
<title>PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents</title>
</titleInfo>
<name type="personal">
<namePart type="given">Yuan</namePart>
<namePart type="family">Tian</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Tianyi</namePart>
<namePart type="family">Zhang</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2026-07</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Findings of the Association for Computational Linguistics: ACL 2026</title>
</titleInfo>
<name type="personal">
<namePart type="given">Maria</namePart>
<namePart type="family">Liakata</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Viviane</namePart>
<namePart type="given">P</namePart>
<namePart type="family">Moreira</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Jiajun</namePart>
<namePart type="family">Zhang</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">David</namePart>
<namePart type="family">Jurgens</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">San Diego, California, United States</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
<identifier type="isbn">979-8-89176-395-1</identifier>
</relatedItem>
<abstract>Text-to-SQL systems often struggle with deep contextual understanding, particularly for complex queries with subtle requirements.We present **PV-SQL**, an agentic framework that addresses these failures through two complementary components: **P**robe and **V**erify. The *Probe* component iteratively generates probing queries to retrieve concrete records from the database, resolving ambiguities in value formats, column semantics, and inter-table relationships to build richer contextual understanding. The *Verify* component employs a rule-based method to extract verifiable conditions and construct an executable checklist, enabling iterative SQL refinement that effectively reduces missing constraints. Experiments on the BIRD benchmarks show that PV-SQL outperforms the best text-to-SQL baseline by 5% in execution accuracy and 20.8% in valid efficiency score while consuming fewer tokens.</abstract>
<identifier type="citekey">tian-zhang-2026-pv</identifier>
<identifier type="doi">10.18653/v1/2026.findings-acl.1286</identifier>
<location>
<url>https://aclanthology.org/2026.findings-acl.1286/</url>
</location>
<part>
<date>2026-07</date>
<extent unit="page">
<start>25827</start>
<end>25845</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents
%A Tian, Yuan
%A Zhang, Tianyi
%Y Liakata, Maria
%Y Moreira, Viviane P.
%Y Zhang, Jiajun
%Y Jurgens, David
%S Findings of the Association for Computational Linguistics: ACL 2026
%D 2026
%8 July
%I Association for Computational Linguistics
%C San Diego, California, United States
%@ 979-8-89176-395-1
%F tian-zhang-2026-pv
%X Text-to-SQL systems often struggle with deep contextual understanding, particularly for complex queries with subtle requirements.We present **PV-SQL**, an agentic framework that addresses these failures through two complementary components: **P**robe and **V**erify. The *Probe* component iteratively generates probing queries to retrieve concrete records from the database, resolving ambiguities in value formats, column semantics, and inter-table relationships to build richer contextual understanding. The *Verify* component employs a rule-based method to extract verifiable conditions and construct an executable checklist, enabling iterative SQL refinement that effectively reduces missing constraints. Experiments on the BIRD benchmarks show that PV-SQL outperforms the best text-to-SQL baseline by 5% in execution accuracy and 20.8% in valid efficiency score while consuming fewer tokens.
%R 10.18653/v1/2026.findings-acl.1286
%U https://aclanthology.org/2026.findings-acl.1286/
%U https://doi.org/10.18653/v1/2026.findings-acl.1286
%P 25827-25845
Markdown (Informal)
[PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents](https://aclanthology.org/2026.findings-acl.1286/) (Tian & Zhang, Findings 2026)
ACL