Talk page

Title:
Deep Learning for Formal Reasoning

Speaker:
Christian Szegedy

Link:
https://www.youtube.com/watch?v=HOOP4vXPyUY