I gave an invited talk at VerifAI-2: The Second Workshop on AI Verification in the Wild, which was co-located with ICLR 2026 in Rio de Janeiro. The workshop brings together researchers working at the intersection of generative AI and formal verification.