Buchumschlag

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tremante, Andrew, He, Yang, Klopfenstein, Rocky, Wang, Yuepeng, Narodytska, Nina, Wu, Haoze
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Databases Artificial Intelligence Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
von: Klopfenstein, Rocky, et al.
Veröffentlicht: (2025)

Viverra: Text-to-Code with Guarantees
von: Wu, Haoze, et al.
Veröffentlicht: (2026)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
von: He, Yang, et al.
Veröffentlicht: (2024)

Lemur: Integrating Large Language Models in Automated Program Verification
von: Wu, Haoze, et al.
Veröffentlicht: (2023)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
von: Zhao, Pinhan, et al.
Veröffentlicht: (2025)

A Prolog Program for Bottom-up Evaluation
von: Warren, David S.
Veröffentlicht: (2025)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
von: Roberson, Richard, et al.
Veröffentlicht: (2024)

MCTS-SQL: Light-Weight LLMs can Master the Text-to-SQL through Monte Carlo Tree Search
von: Yuan, Shuozhi, et al.
Veröffentlicht: (2025)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
von: Pourreza, Mohammadreza, et al.
Veröffentlicht: (2025)

Cubing for Tuning
von: Wu, Haoze, et al.
Veröffentlicht: (2025)

Synthesizing Document Database Queries using Collection Abstractions
von: Liu, Qikang, et al.
Veröffentlicht: (2024)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2023)

Sufficient Explanations in Databases and their Connections to Database Repairs
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2025)

Next-Generation Database Interfaces: A Survey of LLM-based Text-to-SQL
von: Hong, Zijin, et al.
Veröffentlicht: (2024)

PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents
von: Tian, Yuan, et al.
Veröffentlicht: (2026)

SchemaGraphSQL: Efficient Schema Linking with Pathfinding Graph Algorithms for Text-to-SQL on Large-Scale Databases
von: Safdarian, AmirHossein, et al.
Veröffentlicht: (2025)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
von: Li, Fangjun, et al.
Veröffentlicht: (2024)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

The Power of Negation in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
von: Weng, Han, et al.
Veröffentlicht: (2025)

ExeSQL: Self-Taught Text-to-SQL Models with Execution-Driven Bootstrapping for SQL Dialects
von: Zhang, Jipeng, et al.
Veröffentlicht: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
von: Kasibatla, Saketh Ram, et al.
Veröffentlicht: (2024)

FinSQL: Model-Agnostic LLMs-based Text-to-SQL Framework for Financial Analysis
von: Zhang, Chao, et al.
Veröffentlicht: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2026)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
von: Hansen, Zachary
Veröffentlicht: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
von: Bollig, Benedikt
Veröffentlicht: (2026)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
von: Desmartin, Remi, et al.
Veröffentlicht: (2024)

Homomorphism Problems in Graph Databases and Automatic Structures
von: Morvan, Rémi
Veröffentlicht: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

BEAVER: An Enterprise Benchmark for Text-to-SQL
von: Chen, Peter Baile, et al.
Veröffentlicht: (2024)

RSL-SQL: Robust Schema Linking in Text-to-SQL Generation
von: Cao, Zhenbiao, et al.
Veröffentlicht: (2024)

Synthetic SQL Column Descriptions and Their Impact on Text-to-SQL Performance
von: Wretblad, Niklas, et al.
Veröffentlicht: (2024)

Neural Network Verification is a Programming Language Challenge
von: Cordeiro, Lucas C., et al.
Veröffentlicht: (2025)

Rationalization Models for Text-to-SQL
von: Rossiello, Gaetano, et al.
Veröffentlicht: (2025)

Schema-Aware Multi-Task Learning for Complex Text-to-SQL
von: Wu, Yangjun, et al.
Veröffentlicht: (2024)

EllieSQL: Cost-Efficient Text-to-SQL with Complexity-Aware Routing
von: Zhu, Yizhang, et al.
Veröffentlicht: (2025)

EPI-SQL: Enhancing Text-to-SQL Translation with Error-Prevention Instructions
von: Liu, Xiping, et al.
Veröffentlicht: (2024)

Agentic Proving for Program Verification
von: Sosso, Alessandro, et al.
Veröffentlicht: (2026)

HES-SQL: Hybrid Reasoning for Efficient Text-to-SQL with Structural Skeleton Guidance
von: Qiu, Suming, et al.
Veröffentlicht: (2025)