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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 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
  • 1 Abstract
  • 1 Article

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.

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

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

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

Bentkamp, A., Blanchette, J. C. & Klakow, D., 2017, p. 22-23. 2 p.

Research output: Contribution to ConferenceAbstractOther research output