AI & Formal Verification for Onchain Finance is an invite-only gathering in New York for researchers, founders, and protocol teams working on decentralized finance, stablecoins, and real-world assets. The event examines how artificial intelligence is reshaping both attack and defense strategies in onchain finance, with discussions grounded in real exploit investigations and security experience across DeFi, stablecoin, and RWA protocols. Rather than a one-way panel, the session is structured for genuine exchange among technical and business leaders solving similar security challenges. Attendees will explore formal verification, provable security standards, recent failure modes, and practical defensive approaches as the threat landscape becomes more sophisticated.