Alexander Bentkamp

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finding mathematical proofs using computers	2024-04-08	Paper
Verified reductions for optimization	2024-04-05	Paper
\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic Formal Methods	2023-08-17	Paper
Superposition for higher-order logic Journal of Automated Reasoning	2023-06-14	Paper
An Impossible Asylum The American Mathematical Monthly	2023-05-11	Paper
Making higher-order superposition work Journal of Automated Reasoning	2022-12-12	Paper
The embedding path order for \(\lambda\)-free higher-order terms	2022-10-12	Paper
scientific article; zbMATH DE number 7471678 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471678 (Why is no real title available?)	2022-02-09	Paper
Superposition with first-class booleans and inprocessing clausification	2021-12-01	Paper
Superposition for full higher-order logic	2021-12-01	Paper
Making higher-order superposition work Automated Deduction – CADE 28	2021-12-01	Paper
Superposition with lambdas Journal of Automated Reasoning	2021-11-24	Paper
scientific article; zbMATH DE number 7350767 (Why is no real title available?) (available as arXiv preprint)	2021-05-25	Paper
scientific article; zbMATH DE number 7350767 (Why is no real title available?)	2021-05-25	Paper
Superposition with lambdas Lecture Notes in Computer Science	2020-03-10	Paper
Superposition with lambdas Lecture Notes in Computer Science	2020-03-10	Paper
A formal proof of the expressiveness of deep learning Journal of Automated Reasoning	2019-08-21	Paper
Superposition for \(\lambda\)-free higher-order logic	2018-10-18	Paper
A formal proof of the expressiveness of deep learning Interactive Theorem Proving	2018-01-04	Paper

Research outcomes over time

This page was built for person: Alexander Bentkamp