Alexander Bentkamp

20172019
If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Alexander Bentkamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Equivalence classes Engineering & Materials Science
Higher-order Logic Mathematics
Image recognition Engineering & Materials Science
Bioinformatics Engineering & Materials Science
Computer science Engineering & Materials Science
Superposition Mathematics
Tensors Engineering & Materials Science
Calculus Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2019

  • 3 Conference contribution
  • 2 Article
  • 1 Abstract

A Formal Proof of the Expressiveness of Deep Learning

Bentkamp, A., Blanchette, J. C. & Klakow, D., Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 347-368

Research output: Contribution to JournalArticleAcademicpeer-review

Superposition with Lambdas

Bentkamp, A., Blanchette, J. C., Tourret, S., Vukmirovic, P. & Waldmann, U., 19 Apr 2019, (Accepted/In press) The 27th International Conference on Automated Deduction: CADE-27. p. 28-46 18 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Equivalence classes

A Formal Proof of the Expressiveness of Deep Learning

Bentkamp, A., Blanchette, J. C. & Klakow, D., 22 Sep 2018, (Accepted/In press) In : Journal of Automated Reasoning. p. 1-22 22 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Image recognition
Bioinformatics
Computer science
Tensors
Polynomials

Superposition for Lambda-Free Higher-Order Logic

Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 28-46 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Higher-order Logic
Superposition
Calculus
Monotonic
Higher Order

A formal proof of the expressiveness of deep learning

Bentkamp, A., Blanchette, J. C. & Klakow, D., 2017, Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings. Springer, Vol. 10499. p. 46-64 (LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Image recognition
Bioinformatics
Computer science
Tensors
Polynomials