Christian Szegedy

  1. Title:
    Deep Learning for Formal Reasoning
    Speaker:
    Christian Szegedy

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

  2. Title:
    AI for automating mathematics
    Speaker:
    Christian Szegedy

    Link:
    https://video-archive.fields.utoronto.ca/view/16187