Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745

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