Christian Szegedy - Deep Learning for Formal Reasoning
Why it's on BrighterTube
Advanced · Editorial review · 85% confidencePicked one by one from a mixed channel. Transcript check: both title readers certain; 5 of 5 sampled certain picks confirmed by transcript, none failed. Channel rule:
What you'll learn
A 61-minute video from Institut des Hautes Etudes Scientifiques (IHES): “Christian Szegedy - Deep Learning for Formal Reasoning”.
Video by Institut des Hautes Etudes Scientifiques (IHES), played through YouTube's embedded player.
Part of Mikefest: A conference in honor of Michael Douglas' 60th birthday