Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement.

arXiv:2608.14590v3 Announce Type: replace Abstract: Large Language Model (LLM) agents take irreversible real-world actions, yet no system gives formally grounded, task-level safety guarantees for their plans. In a PRISMA 2020 systematic review, we searched six