@MastersThesis{bentkamp2016,
    author     =     {Alexander Bentkamp},
    title     =     {{An Isabelle Formalization of the Expressiveness of Deep Learning}},
    school     =     {Universit\"at des Saarlandes},
    year     =     {2016},
    note     =     "\url{http://matryoshka.gforge.inria.fr/bentkamp_msc_thesis.pdf}"
    }

@inproceedings{cohen2015,
  author    = {Nadav Cohen and
               Or Sharir and
               Amnon Shashua},
  title     = {On the Expressive Power of Deep Learning: {A} Tensor Analysis},
  booktitle = {Conference on Learning Theory ({COLT} 2016)},
  pages     = {698--728},
  editor    = {Vitaly Feldman and
               Alexander Rakhlin and
               Ohad Shamir},
  series    = {{JMLR} Workshop and Conference Proceedings},
  volume    = {49},
  publisher = {JMLR.org},
  year      = {2016}
}
