Securing AI-Assisted DeFi Development with Formal Verification

Description

AI tools can generate or optimize smart contracts, but often introduce subtle bugs. This talk explores how formal verification can be used to validate AI output, catch edge cases, and guide models toward safer and more reliable code.