#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program Synthesis | Machine Learning Street Talk | Podwise