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

Pierre Dantas, Lucas Cordeiro, Ehsan Nowroozi +1

LLM agents increasingly perform irreversible real-world actions, including database updates, API calls, file operations, and autonomous use of tools. However, no existing system pr…