Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhao, Pinhan, Wang, Yuepeng, Wang, Xinyu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Artificial Intelligence Databases Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)

Synthesizing Document Database Queries using Collection Abstractions
di: Liu, Qikang, et al.
Pubblicazione: (2024)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
di: Xie, Xudong, et al.
Pubblicazione: (2026)

Dialect2SQL: A Novel Text-to-SQL Dataset for Arabic Dialects with a Focus on Moroccan Darija
di: Chafik, Salmane, et al.
Pubblicazione: (2025)

Translating between SQL Dialects for Cloud Migration
di: Zmigrod, Ran, et al.
Pubblicazione: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
di: Brancas, Ricardo, et al.
Pubblicazione: (2022)

Enhancing SQL Query Generation with Neurosymbolic Reasoning
di: Princis, Henrijs, et al.
Pubblicazione: (2024)

Constant Optimization Driven Database System Testing
di: Zhang, Chi, et al.
Pubblicazione: (2025)

Enhancing LLM Fine-tuning for Text-to-SQLs by SQL Quality Measurement
di: Sarker, Shouvon, et al.
Pubblicazione: (2024)

Towards Automated Data Sciences with Natural Language and SageCopilot: Practices and Lessons Learned
di: Liao, Yuan, et al.
Pubblicazione: (2024)

LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL
di: Chafik, Salmane, et al.
Pubblicazione: (2026)

GeoSQL-Eval: First Evaluation of LLMs on PostGIS-Based NL2GeoSQL Queries
di: Hou, Shuyang, et al.
Pubblicazione: (2025)

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
di: Ullah, Muhammad Aziz, et al.
Pubblicazione: (2026)

Agentic Code Reasoning
di: Ugare, Shubham, et al.
Pubblicazione: (2026)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

CobbleDB: Modelling Levelled Storage by Composition
di: Ma, Emilie, et al.
Pubblicazione: (2026)

The Case for Multi-Version Experimental Evaluation (MVEE)
di: Jörz, Simon, et al.
Pubblicazione: (2026)

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
di: Deng, Wenjing, et al.
Pubblicazione: (2024)

Effective LLM-Driven Code Generation with Pythoness
di: Levin, Kyla H., et al.
Pubblicazione: (2025)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
di: Saieva, Anthony, et al.
Pubblicazione: (2023)

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

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
di: Tremante, Andrew, et al.
Pubblicazione: (2026)

From Natural Language to PromQL: A Catalog-Driven Framework with Dynamic Temporal Resolution for Cloud-Native Observability
di: Sisodia, Twinkll
Pubblicazione: (2026)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
di: Le-Cong, Thanh, et al.
Pubblicazione: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
di: Zhang, Shuoming, et al.
Pubblicazione: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
di: Zhang, Shuoming, et al.
Pubblicazione: (2026)

What Were You Thinking? An LLM-Driven Large-Scale Study of Refactoring Motivations in Open-Source Projects
di: Robredo, Mikel, et al.
Pubblicazione: (2025)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
di: Pourreza, Mohammadreza, et al.
Pubblicazione: (2025)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2026)

Quality Assessment of Tabular Data using Large Language Models and Code Generation
di: Akella, Ashlesha, et al.
Pubblicazione: (2025)

Solving Data-centric Tasks using Large Language Models
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Liberal Entity Matching as a Compound AI Toolchain
di: Fu, Silvery D., et al.
Pubblicazione: (2024)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
di: Wang, Yuchen, et al.
Pubblicazione: (2025)

Adaptive Data Quality Scoring Operations Framework using Drift-Aware Mechanism for Industrial Applications
di: Bayram, Firas, et al.
Pubblicazione: (2024)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
di: Surana, Shraddha, et al.
Pubblicazione: (2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
di: Goodfellow, Martin, et al.
Pubblicazione: (2025)