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
Country/TerritoryAustria
CityObergurgl
Period26/03/1730/03/17
Internet address

Cite this