Loading…
AI By the Bay has ended
Back To Schedule
Wednesday, March 8 • 9:50am - 10:30am
Advances in Deep Learning for Mathematical Theorem Proving

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
We'll explore how Deep Learning can be used for proving mathematical theorems, and its wide-reaching implications.

Speakers
avatar for Francois Chollet

Francois Chollet

Francois is the author of Keras, one of the most widely used libraries for deep learning in Python. He has been working with deep neural networks since 2012. Francois is currently doing deep learning research at Google. He blogs about deep learning at blog.keras.io.


Wednesday March 8, 2017 9:50am - 10:30am PST
Pearl

Attendees (7)