Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745

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

1:11:48 | Sep 2nd

In this episode, Christian Szegedy, Chief Scientist at Morph Labs, joins us to discuss how the application of formal mathematics and reasoning enables the creation of more robust and safer AI systems....Show More