Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Alexander Bentkamp
- Faculty of Science, Theoretical Computer Science - Standard PhD Candidate
- Network Institute - Standard PhD Candidate
Person: Academic
Jasmin Christian Blanchette
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Research Output 1993 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-review › Conference 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-review › Conference 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 output › Abstract