Copertina

Modelling Program Spaces in Program Synthesis with Constraints

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hinnerichs, Tilman, Swinkels, Bart, de Jong, Jaap, Reid, Reuben Gardos, Magirescu, Tudor, Yorke-Smith, Neil, Dumancic, Sebastijan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Herb.jl: A Unifying Program Synthesis Library
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2024)

Learning logic programs by discovering higher-order abstractions
di: Hocquette, Céline, et al.
Pubblicazione: (2023)

A Divide-Align-Conquer Strategy for Program Synthesis
di: Witt, Jonas, et al.
Pubblicazione: (2023)

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Relational Programming with Foundation Models
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
di: Rocha, Filipe Marinho, et al.
Pubblicazione: (2024)

Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
di: Hanou, Issa, et al.
Pubblicazione: (2025)

Can Language Models Solve Olympiad Programming?
di: Shi, Quan, et al.
Pubblicazione: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
di: Zheng, Lianmin, et al.
Pubblicazione: (2023)

Emergent Representations of Program Semantics in Language Models Trained on Programs
di: Jin, Charles, et al.
Pubblicazione: (2023)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

Certified Program Synthesis with a Multi-Modal Verifier
di: Feng, Yueyang, et al.
Pubblicazione: (2026)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Neural Task Synthesis for Visual Programming
di: Pădurean, Victor-Alexandru, et al.
Pubblicazione: (2023)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
di: Lin, Yu-An, et al.
Pubblicazione: (2023)

Program Skeletons for Automated Program Translation
di: Wang, Bo, et al.
Pubblicazione: (2025)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Sharing State Between Prompts and Programs
di: Cheng, Ellie Y., et al.
Pubblicazione: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
di: Dong, Honghua, et al.
Pubblicazione: (2024)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
di: Zhang, Xiao, et al.
Pubblicazione: (2025)

LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)

PDL: A Declarative Prompt Programming Language
di: Vaziri, Mandana, et al.
Pubblicazione: (2024)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

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

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
di: Zenkner, Janis, et al.
Pubblicazione: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
di: Rossi, Roberto, et al.
Pubblicazione: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
di: Kuhn, Martin, et al.
Pubblicazione: (2024)

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
di: Matricon, Théo, et al.
Pubblicazione: (2024)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2025)

The IsalProgram Programming Language
di: López-Rubio, Ezequiel
Pubblicazione: (2026)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
di: Sultan, Oren, et al.
Pubblicazione: (2026)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
di: Marra, Giuseppe, et al.
Pubblicazione: (2021)

Learning Logical Rules using Minimum Message Length
di: Sharma, Ruben, et al.
Pubblicazione: (2025)

Program Semantic Inequivalence Game with Large Language Models
di: Miceli-Barone, Antonio Valerio, et al.
Pubblicazione: (2025)

The Elements of Differentiable Programming
di: Blondel, Mathieu, et al.
Pubblicazione: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
di: Laurent, Jonathan, et al.
Pubblicazione: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
di: Dantanarayana, Jayanaka L., et al.
Pubblicazione: (2024)