Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745

by The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)