DEV Community: Kirill Volkov The latest articles on DEV Community by Kirill Volkov (@kvolque). https://dev.to/kvolque https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F4144337%2F69f2769b-2688-400d-8b97-1dcdd494ab5e.png DEV Community: Kirill Volkov https://dev.to/kvolque en No Blind Trust: Type Systems and Formal Verification for AI-Generated Code Kirill Volkov Sat, 26 Sep 2026 13:03:03 +0000 https://dev.to/kvolque/no-blind-trust-in-ai-generated-code-103o https://dev.to/kvolque/no-blind-trust-in-ai-generated-code-103o <p>I put together an article looking at how type systems and formal verification could help make AI-generated code more reliable.</p> <p>It brings together some research and experiments around formal verification and considers how these ideas could fit into agentic workflows.</p> <p><a href="https://wearecommunity.io/communities/jacov/articles/8709" rel="noopener noreferrer">https://wearecommunity.io/communities/jacov/articles/8709</a></p> agents ai softwareengineering scala