Image de couverture de livre

LACUNA: Safe Agents as Recursive Program Holes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhao, Yaoyu, Xu, Yichen, Bračevac, Oliver, Pham, Cao Nguyen, Wu, Frank Zhengqing, Odersky, Martin
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tracking Capabilities for Safer Agents
par: Odersky, Martin, et autres
Publié: (2026)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
par: Xu, Yichen, et autres
Publié: (2025)

Agentic Proof Automation: A Case Study
par: Xu, Yichen, et autres
Publié: (2026)

Adaptive Recursive Query Optimization
par: Herlihy, Anna, et autres
Publié: (2023)

Language-Integrated Recursive Queries (Full Version)
par: Herlihy, Anna, et autres
Publié: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
par: Xu, Shuyuan, et autres
Publié: (2024)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
par: He, Mengting, et autres
Publié: (2026)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
par: Brady, Seamus
Publié: (2026)

PDL: A Declarative Prompt Programming Language
par: Vaziri, Mandana, et autres
Publié: (2024)

Relational Programming with Foundation Models
par: Li, Ziyang, et autres
Publié: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
par: Kuhn, Martin, et autres
Publié: (2024)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
par: Li, Zhening, et autres
Publié: (2025)

Emergent Representations of Program Semantics in Language Models Trained on Programs
par: Jin, Charles, et autres
Publié: (2023)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

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

First-Class Refinement Types for Scala
par: Bovel, Matt, et autres
Publié: (2026)

Pel, A Programming Language for Orchestrating AI Agents
par: Mohammadi, Behnam
Publié: (2025)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
par: Ji, Zhenlan, et autres
Publié: (2024)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

Sharing State Between Prompts and Programs
par: Cheng, Ellie Y., et autres
Publié: (2025)

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

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation
par: Pham, Loc, et autres
Publié: (2026)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
par: Huang, Zhechong, et autres
Publié: (2025)

Can Language Models Solve Olympiad Programming?
par: Shi, Quan, et autres
Publié: (2024)

Modeling Reachability Types with Logical Relations
par: Bao, Yuyan, et autres
Publié: (2023)

Prism: Symbolic Superoptimization of Tensor Programs
par: Wu, Mengdi, et autres
Publié: (2026)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
par: Barke, Shraddha, et autres
Publié: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
par: Laurent, Jonathan, et autres
Publié: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
par: Dantanarayana, Jayanaka L., et autres
Publié: (2024)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
par: Sultan, Oren, et autres
Publié: (2026)

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
par: Herskovitz, Jaylin, et autres
Publié: (2024)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
par: Liang, Eric
Publié: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
par: Zhang, William, et autres
Publié: (2024)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
par: Li, Minda, et autres
Publié: (2026)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

Provable Coordination for LLM Agents via Message Sequence Charts
par: Bollig, Benedikt, et autres
Publié: (2026)

Program Skeletons for Automated Program Translation
par: Wang, Bo, et autres
Publié: (2025)