AI MEETS FORMAL VERIFICATION FOR SMART CONTRACTS

Summary from the TLDR Crypto newsletter

AI and formal verification are converging to eliminate entire classes of smart contract bugs.