Explore graph Talks Photos Add your work My graph

Loading devreal.ai…

Community index online

Built for the people who make technology make sense.

© 2026 devreal.ai

← Back to the graph

talk · community record

Advances in Deep Learning for Mathematic...

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

Add or suggest a connection ↗

01

Connections

4 relationships

affiliated withdeep learning researchcompany ↗presented · incomingFrancois Cholletperson ↗presented atAI Visionevent ↗recorded asai.bythebay.io: Francois Chollet, Advances in Deep Learning for Mathematical Theorem Provingvideo ↗

02

Provenance

Type: talk
Status: Imported / unclaimed
id: talk:aibythebay2017-9h5c-3859
date: 2017-03-08
type: talk
title: Advances in Deep Learning for Mathematic...
venue: Pearl
origin: conference
source: bythebay
abstract: We'll explore how Deep Learning can be used for proving mathematical theorems, and its wide-reaching implications.

Advances in Deep Learning for Mathematic... — devreal.ai