Autoformalization And Verifiable Superintelligence [christian Szegedy] - 745
Synopsis
In this episode, Christian Szegedy, Chief Scientist at Morph Labs, joins us to discuss how the application of formal mathematics ...
You Might Also Like
![[AITP2020] Deep Learning for Mathematics (Christian Szegedy et. al.)](https://i.ytimg.com/vi/Hs-PyLoS1d8/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLCmF0bqLcOWu8R6K_pRVWHfFBm5WA)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.