A Formal Proof of the Expressiveness of Deep Learning

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)347-368
JournalJournal of Automated Reasoning
Volume63
Issue number2
DOIs
Publication statusPublished - Aug 2019

Keywords

  • Isabelle
  • HOL
  • Deep learning
  • Machine learning
  • Convolutional arithmetic circuits
  • Formalization
  • Tensors

Cite this

@article{416cf58b9ad44863be74c08d003c9469,
title = "A Formal Proof of the Expressiveness of Deep Learning",
keywords = "Isabelle, HOL, Deep learning, Machine learning, Convolutional arithmetic circuits, Formalization, Tensors",
author = "Alexander Bentkamp and Blanchette, {Jasmin Christian} and Dietrich Klakow",
year = "2019",
month = "8",
doi = "10.1007/s10817-018-9481-5",
language = "English",
volume = "63",
pages = "347--368",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "2",

}

A Formal Proof of the Expressiveness of Deep Learning. / Bentkamp, Alexander; Blanchette, Jasmin Christian; Klakow, Dietrich.

In: Journal of Automated Reasoning, Vol. 63, No. 2, 08.2019, p. 347-368.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A Formal Proof of the Expressiveness of Deep Learning

AU - Bentkamp, Alexander

AU - Blanchette, Jasmin Christian

AU - Klakow, Dietrich

PY - 2019/8

Y1 - 2019/8

KW - Isabelle

KW - HOL

KW - Deep learning

KW - Machine learning

KW - Convolutional arithmetic circuits

KW - Formalization

KW - Tensors

U2 - 10.1007/s10817-018-9481-5

DO - 10.1007/s10817-018-9481-5

M3 - Article

VL - 63

SP - 347

EP - 368

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 2

ER -