From Filing towards Security: Understanding the Advantages of a Formal Agent Butler Cooley 13 Jul 2026 · 6 min read