Imagen de Portada

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Barnaby, Celeste, Ding, Danny, Bastani, Osbert, Dillig, Isil
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Active Learning for Neurosymbolic Program Synthesis
por: Barnaby, Celeste, et al.
Publicado: (2025)

Synthesizing Trajectory Queries from Examples
por: Mell, Stephen, et al.
Publicado: (2026)

Optimal Program Synthesis via Abstract Interpretation
por: Mell, Stephen, et al.
Publicado: (2026)

Graphiti: Bridging Graph and Relational Database Queries
por: He, Yang, et al.
Publicado: (2025)

Optimal Predicate Pushdown Synthesis
por: Zhang, Robert, et al.
Publicado: (2026)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
por: Ramalingam, Ramya, et al.
Publicado: (2024)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
por: Wei, Jiayi, et al.
Publicado: (2023)

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
por: Modak, Sadanand, et al.
Publicado: (2024)

PhotoScout: Synthesis-Powered Multi-Modal Image Search
por: Barnaby, Celeste, et al.
Publicado: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
por: Xin, Yutong, et al.
Publicado: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
por: Wang, Jingbo, et al.
Publicado: (2025)

Opportunistically Parallel Lambda Calculus
por: Mell, Stephen, et al.
Publicado: (2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
por: Xin, Yutong, et al.
Publicado: (2025)

From Batch to Stream: Automatic Generation of Online Algorithms
por: Wang, Ziteng, et al.
Publicado: (2024)

Don't exhaust, don't waste
por: Bianchini, Riccardo, et al.
Publicado: (2025)

Homomorphism Calculus for User-Defined Aggregations
por: Wang, Ziteng, et al.
Publicado: (2025)

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
por: Xin, Jimmy, et al.
Publicado: (2023)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
por: Mell, Stephen, et al.
Publicado: (2026)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
por: Mell, Stephen, et al.
Publicado: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
por: Dong, Rui, et al.
Publicado: (2026)

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings
por: Xu, Kan, et al.
Publicado: (2021)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
por: Verter, Jan Liam, et al.
Publicado: (2024)

Finite-Choice Logic Programming
por: Martens, Chris, et al.
Publicado: (2024)

Asymptotic Normality of Generalized Low-Rank Matrix Sensing via Riemannian Geometry
por: Bastani, Osbert
Publicado: (2024)

LLM-Based Config Synthesis requires Disambiguation
por: Mondal, Rajdeep, et al.
Publicado: (2025)

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting
por: Young, Halley, et al.
Publicado: (2024)

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
por: Li, Shuo, et al.
Publicado: (2023)

Galley: Modern Query Optimization for Sparse Tensor Programs
por: Deeds, Kyle, et al.
Publicado: (2024)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
por: Huot, Mathieu, et al.
Publicado: (2024)

Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't
por: Svete, Anej, et al.
Publicado: (2026)

Don't Read Everything: A Curvature-Conditioned Query for Linear Attention
por: Le, Dong, et al.
Publicado: (2026)

Program Synthesis from Partial Traces
por: Ferreira, Margarida, et al.
Publicado: (2025)

Transition-Oriented Programming: Developing Provably Correct Systems
por: Ding, Yepeng
Publicado: (2020)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
por: Böck, Markus, et al.
Publicado: (2025)

Choosing the Right Communication Protocol for your Web Application
por: Hassan, Mohamed
Publicado: (2024)

Mason: Type- and Name-Guided Program Synthesis
por: Geer, Jasper, et al.
Publicado: (2026)

Template-based Program Synthesis using Stellensätze
por: Goharshady, Amir Kafshdar, et al.
Publicado: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
por: Fernandes, Matheus Campos, et al.
Publicado: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
por: Espada, Guilherme, et al.
Publicado: (2025)

Agentic Verification for Ambiguous Query Disambiguation
por: Lee, Youngwon, et al.
Publicado: (2025)