No Blind Trust: Type Systems and Formal Verification for AI-Generated Code

#agents #ai #softwareengineering #scala

I put together an article looking at how type systems and formal verification could help make AI-generated code more reliable.

It brings together some research and experiments around formal verification and considers how these ideas could fit into agentic workflows.