Image de couverture de livre

Synthesizing Trajectory Queries from Examples

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mell, Stephen, Bastani, Favyen, Zdancewic, Steve, Bastani, Osbert
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Opportunistically Parallel Lambda Calculus
par: Mell, Stephen, et autres
Publié: (2024)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
par: Mell, Stephen, et autres
Publié: (2026)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
par: Mell, Stephen, et autres
Publié: (2025)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
par: Barnaby, Celeste, et autres
Publié: (2026)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
par: Ramalingam, Ramya, et autres
Publié: (2024)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings
par: Xu, Kan, et autres
Publié: (2021)

Asymptotic Normality of Generalized Low-Rank Matrix Sensing via Riemannian Geometry
par: Bastani, Osbert
Publié: (2024)

Functional Meaning for Parallel Streaming
par: Rioux, Nick, et autres
Publié: (2025)

Are AI Capabilities Increasing Exponentially? A Competing Hypothesis
par: Ge, Haosen, et autres
Publié: (2026)

Stochastic Online Conformal Prediction with Semi-Bandit Feedback
par: Ge, Haosen, et autres
Publié: (2024)

Rethinking Algorithmic Fairness for Human-AI Collaboration
par: Ge, Haosen, et autres
Publié: (2023)

Winner's Curse Drives False Promises in Data-Driven Decisions: A Case Study in Refugee Matching
par: Bastani, Hamsa, et autres
Publié: (2026)

Beating the Winner's Curse via Inference-Aware Policy Optimization
par: Bastani, Hamsa, et autres
Publié: (2025)

Improving Human Sequential Decision-Making with Reinforcement Learning
par: Bastani, Hamsa, et autres
Publié: (2021)

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting
par: Young, Halley, et autres
Publié: (2024)

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
par: Li, Shuo, et autres
Publié: (2023)

Stochastic Bandits with ReLU Neural Networks
par: Xu, Kan, et autres
Publié: (2024)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

Compiling to recurrent neurons
par: Velez-Ginorio, Joey, et autres
Publié: (2025)

Compiling to linear neurons
par: Velez-Ginorio, Joey, et autres
Publié: (2025)

A Two-Phase Infinite/Finite Low-Level Memory Model
par: Beck, Calvin, et autres
Publié: (2024)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
par: Zaliva, Vadim, et autres
Publié: (2026)

Evaluating the Diversity and Quality of LLM Generated Content
par: Shypula, Alexander, et autres
Publié: (2025)

Policy-Guided Stepwise Model Routing for Cost-Effective Reasoning
par: Si, Wenwen, et autres
Publié: (2026)

Decaf: Improving Neural Decompilation with Automatic Feedback and Search
par: Shypula, Alexander, et autres
Publié: (2026)

Prior-Agnostic Incentive-Compatible Exploration
par: Ramalingam, Ramya, et autres
Publié: (2026)

Conformal Structured Prediction
par: Zhang, Botong, et autres
Publié: (2024)

LLM Program Optimization via Retrieval Augmented Search
par: Anupam, Sagnik, et autres
Publié: (2025)

One-Shot Safety Alignment for Large Language Models via Optimal Dualization
par: Huang, Xinmeng, et autres
Publié: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
par: Brancas, Ricardo, et autres
Publié: (2022)

Diversity By Design: Leveraging Distribution Matching for Offline Model-Based Optimization
par: Yao, Michael S., et autres
Publié: (2025)

SPARLING: Learning Latent Representations with Extremely Sparse Activations
par: Gupta, Kavi, et autres
Publié: (2023)

Generating Pragmatic Examples to Train Neural Program Synthesizers
par: Vaduguru, Saujas, et autres
Publié: (2023)

Generative Adversarial Model-Based Optimization via Source Critic Regularization
par: Yao, Michael S., et autres
Publié: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
par: Chen, Kean, et autres
Publié: (2025)

Synthesizing Document Database Queries using Collection Abstractions
par: Liu, Qikang, et autres
Publié: (2024)

LIGHTHOUSE: Fast and precise distance to shoreline calculations from anywhere on earth
par: Beukema, Patrick, et autres
Publié: (2025)

SeekerGym: A Benchmark for Reliable Information Seeking
par: Kim, Remy, et autres
Publié: (2026)