Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745

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