Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 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
Pearl

Attendees (7)