An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)

A. Bentkamp, J.C. Blanchette, Dietrich Klakow

Research output: Contribution to ConferenceAbstractOther research output

Original languageEnglish
Pages22-23
Number of pages2
Publication statusPublished - 2017
Event2nd Conference on Artificial Intelligence and Theorem Proving - Obergurgl, Austria
Duration: 26 Mar 201730 Mar 2017
http://aitp-conference.org/2017/

Conference

Conference2nd Conference on Artificial Intelligence and Theorem Proving
Abbreviated titleAITP 2017
CountryAustria
CityObergurgl
Period26/03/1730/03/17
Internet address

Cite this

Bentkamp, A., Blanchette, J. C., & Klakow, D. (2017). An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract). 22-23. Abstract from 2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria.