Image de couverture de livre

Active Learning for Neurosymbolic Program Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Barnaby, Celeste, Chen, Qiaochu, Ramalingam, Ramya, Bastani, Osbert, Dillig, Isil
Format:	Preprint
Publié:	2025
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

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)

PhotoScout: Synthesis-Powered Multi-Modal Image Search
par: Barnaby, Celeste, et autres
Publié: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
par: Xin, Yutong, et autres
Publié: (2026)

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
par: Xin, Yutong, et autres
Publié: (2025)

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

Optimal Predicate Pushdown Synthesis
par: Zhang, Robert, et autres
Publié: (2026)

Synthesizing Trajectory Queries from Examples
par: Mell, Stephen, et autres
Publié: (2026)

Graphiti: Bridging Graph and Relational Database Queries
par: He, Yang, et autres
Publié: (2025)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
par: Wei, Jiayi, et autres
Publié: (2023)

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

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
par: Modak, Sadanand, et autres
Publié: (2024)

Probabilistic Inference for Datalog with Correlated Inputs
par: Wang, Jingbo, et autres
Publié: (2025)

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

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
par: Xin, Jimmy, et autres
Publié: (2023)

From Batch to Stream: Automatic Generation of Online Algorithms
par: Wang, Ziteng, et autres
Publié: (2024)

Homomorphism Calculus for User-Defined Aggregations
par: Wang, Ziteng, et autres
Publié: (2025)

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

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

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
par: Khatry, Anirudh, et autres
Publié: (2025)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
par: Biberstein, Paul, et autres
Publié: (2025)

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

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)

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)

Proving Functional Program Equivalence via Directed Lemma Synthesis
par: Sun, Yican, et autres
Publié: (2024)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Sound Interval-Based Synthesis for Probabilistic Programs
par: Espada, Guilherme, et autres
Publié: (2025)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

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

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

Active Learning of Symbolic NetKAT Automata
par: Moeller, Mark, et autres
Publié: (2025)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2024)

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