A Formal Proof of the Expressiveness of Deep Learning.

Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow

Browse the full ITP paper archive.