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

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

Research output: Contribution to Conference › Abstract › Other research output

Original language	English
Pages	22-23
Number of pages	2
Publication status	Published - 2017
Event	2nd Conference on Artificial Intelligence and Theorem Proving - Obergurgl, Austria Duration: 26 Mar 2017 → 30 Mar 2017 http://aitp-conference.org/2017/

Conference	2nd Conference on Artificial Intelligence and Theorem Proving
Abbreviated title	AITP 2017
Country/Territory	Austria
City	Obergurgl
Period	26/03/17 → 30/03/17
Internet address	http://aitp-conference.org/2017/

Access to Document

@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/",

}