A Formal Proof of the Expressiveness of Deep Learning.

Alexander Bentkamp Jasmin Christian Blanchette Dietrich Klakow

Published in: J. Autom. Reason. (2019)

Keyphrases

deep learning
formal proof
machine learning
unsupervised learning
theorem prover
weakly supervised
unsupervised feature learning
mental models
restricted boltzmann machine
deep architectures
data sets
pairwise
viewpoint
active learning
higher order