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

Profiles

No photo of Jasmin Christian Blanchette
20162018
No photo of J. Endrullis

J. Endrullis

Person: Academic

20062017
No photo of W.J. Fokkink
20022017

Research Output 1999 2018

Superposition for lambda-free higher-order logic

Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U. 2018 (Accepted/In press) Automated Reasoning - 8th International Joint Conference, IJCAR 2018.

Research output: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Other research outputAbstract