@misc{indiciae8ad947f9d8f8,
  title = {VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails},
  author = {Duy Nguyen and Lesly Miculicich and Bhavana Dalvi Mishra and Shuo Li and Krishnamurthy Dj Dvijotham and Mohit Bansal and Tomas Pfister and Long T. Le},
  year = {2026},
  url = {https://arxiv.org/abs/2610.12813},
  note = {Source identifier: 2610.12813}
}