Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code. - Dominik Blain; Maxime Noiseux (CoRR, 2026)