AIBullisharXiv – CS AI · 3h ago7/10
🧠
LACUNA: Safe Agents as Recursive Program Holes
LACUNA is a new programming model that allows LLM agents to write code that shapes their own runtime environment while maintaining safety through type-checking and validation. The system rejects unsafe code before execution and uses compiler diagnostics to drive retries, achieving competitive performance on benchmark tests while preventing prompt injection and tool misuse attacks.