A Formal Proof of the Expressiveness of Deep Learning.

Alexander Bentkamp Jasmin Christian Blanchette Dietrich Klakow

Published in: ITP (2017)

Keyphrases

deep learning
formal proof
unsupervised learning
unsupervised feature learning
theorem prover
deep architectures
weakly supervised
machine learning
mental models
restricted boltzmann machine
multiscale
object recognition
natural language processing
conditional probabilities