[Matryoshka-devel] Paper Draft - A Formal Proof of the Expressiveness of Deep Learning
andschl at dtu.dk
Sat Apr 8 12:28:42 CEST 2017
I looked very briefly at your paper and I think it is a really cool formalization!
The only other feedback I have is these two small suggestions:
On page 4:
"We focus on an arbitrary entry yi of the ouput vector y."
I think "ouput" should be "output".
On page 5:
"On the other hand, our analysis is build upon inequalities, which only provide an upper bound."
I think "build" should be "built".
On 6 Apr 2017, at 10.45, Alexander Bentkamp <a.bentkamp at vu.nl<mailto:a.bentkamp at vu.nl>> wrote:
I would like to share with you the draft of a paper about my master thesis project that we will submit to ITP.
A Formal Proof of the Expressiveness of Deep Learning
Alexander Bentkamp, Jasmin Christian Blanchette, and Dietrich Klakow
The paper presents a formalization in Isabelle/HOL of a mathematical result explaining the superiority of deep learning over shallow learning. We simplified and restructured the original proof to facilitate the formalization. The project led to the development and extension of reusable libraries of tensors, matrices, multivariate polynomials, and the Borel measure.
Comments are welcome, before or after the deadline (10 April).
matryoshka-devel mailing list
matryoshka-devel at lists.gforge.inria.fr<mailto:matryoshka-devel at lists.gforge.inria.fr>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the matryoshka-devel