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.
Bentkamp, A. ; Blanchette, J.C. ; Klakow, Dietrich. / An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract). Abstract from 2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria.2 p.
@conference{a96dd1a6691347f99f378a44dbcab463,
title = "An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)",
author = "A. Bentkamp and J.C. Blanchette and Dietrich Klakow",
year = "2017",
language = "English",
pages = "22--23",
note = "2nd Conference on Artificial Intelligence and Theorem Proving, AITP 2017 ; Conference date: 26-03-2017 Through 30-03-2017",
url = "http://aitp-conference.org/2017/",

}

Bentkamp, A, Blanchette, JC & Klakow, D 2017, 'An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)' 2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria, 26/03/17 - 30/03/17, pp. 22-23.

An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract). / Bentkamp, A.; Blanchette, J.C.; Klakow, Dietrich.

2017. 22-23 Abstract from 2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria.

Research output: Contribution to ConferenceAbstractOther research output

TY - CONF

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

AU - Bentkamp, A.

AU - Blanchette, J.C.

AU - Klakow, Dietrich

PY - 2017

Y1 - 2017

M3 - Abstract

SP - 22

EP - 23

ER -

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