04:00
2026-10-12
arxiv.org
ai-safety
VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails
Researchers introduced VEPA, a framework for the verified evolution of formal agent guardrails that represents guardrails as executable symbolic rules over typed agent events and uses an LLM guided by…