Copertina

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barke, Shraddha, Gonzalez, Emmanuel Anaya, Kasibatla, Saketh Ram, Berg-Kirkpatrick, Taylor, Polikarpova, Nadia
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
di: González, Emmanuel Anaya, et al.
Pubblicazione: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2024)

Grammar-Aligned Decoding
di: Park, Kanghee, et al.
Pubblicazione: (2024)

Language-Based Agent Control
di: Zhou, Timothy, et al.
Pubblicazione: (2026)

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

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

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
di: Gonzalez, Emmanuel Anaya, et al.
Pubblicazione: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

Readability $\ne$ Learnability: Rethinking the Role of Simplicity in Training Small Language Models
di: Lee, Ivan, et al.
Pubblicazione: (2025)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
di: Yin, Chenyun, et al.
Pubblicazione: (2026)

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

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

Laurel: Unblocking Automated Verification with Large Language Models
di: Mugnier, Eric, et al.
Pubblicazione: (2024)

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

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

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
di: Li, Minda, et al.
Pubblicazione: (2026)

Decision-Oriented Programming with Aporia
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2026)

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

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
di: Xu, Shuyuan, et al.
Pubblicazione: (2024)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
di: Gao, Wei, et al.
Pubblicazione: (2024)

keepitsimple at SemEval-2025 Task 3: LLM-Uncertainty based Approach for Multilingual Hallucination Span Detection
di: Vemula, Saketh Reddy, et al.
Pubblicazione: (2025)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

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

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

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

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

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

Validating AI-Generated Code with Live Programming
di: Ferdowsi, Kasra, et al.
Pubblicazione: (2023)

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
di: Tang, Annabelle Sujun, et al.
Pubblicazione: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

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

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

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
di: Wen, Hongbo, et al.
Pubblicazione: (2026)

The Command Line GUIde: Graphical Interfaces from Man Pages via AI
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2025)

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

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

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

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

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)