TY  - RPRT
TI  - VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
AU  - Lesly Miculicich
AU  - Mihir Parmar
AU  - Hamid Palangi
AU  - Krishnamurthy Dj Dvijotham
AU  - Mirko Montanari
AU  - Tomas Pfister
AU  - Long T. Le
PY  - 2025
UR  - https://arxiv.org/abs/2510.05156
ID  - 2510.05156
ER  -