VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails
LLM agents increasingly operate over sensitive resources, such as private documents and mutable system states, which can create serious safety and security risks.
arXiv - cs.AI2 min read