@misc{indiciae41d74cd14648, title = {LACUNA: Safe Agents as Recursive Program Holes}, author = {Yaoyu Zhao and Yichen Xu and Oliver Bračevac and Cao Nguyen Pham and Frank Zhengqing Wu and Martin Odersky}, year = {2026}, url = {https://arxiv.org/abs/2605.28617}, note = {Source identifier: 2605.28617} }