Alexander Bentkamp

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 32

Top Topics

Theorem Proving

Lambda Calculus

Top Venues

J. Autom. Reason.

Arch. Formal Proofs

Publications

Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. FM (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10 (4) (2023)
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Verified reductions for optimization. CoRR (2023)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Higher-Order Logic. J. Autom. Reason. 67 (1) (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. Am. Math. Mon. 130 (5) (2023)
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Verified reductions for optimization. TACAS (2) (2023)
Valentin Hartmann, Vincent Bindschaedler, Alexander Bentkamp, Robert West
Privacy accounting εconomics: Improving differential privacy composition via a posteriori bounds. CoRR (2022)
Valentin Hartmann, Vincent Bindschaedler, Alexander Bentkamp, Robert West
Privacy accounting εconomics: Improving differential privacy composition via a posteriori bounds. Proc. Priv. Enhancing Technol. 2022 (3) (2022)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic. CoRR (2022)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
An Impossible Asylum. CoRR (2021)
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic
Superposition with First-class Booleans and Inprocessing Clausification. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Alexander Bentkamp, Jeremy Avigad
Verified Optimization. CoRR (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CoRR (2021)
Alexander Bentkamp
The Embedding Path Order for Lambda-Free Higher-Order Terms. FLAP 8 (10) (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. J. Autom. Reason. 65 (7) (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. Log. Methods Comput. Sci. 17 (2) (2021)
Alexander Bentkamp, Jeremy Avigad
Verified Optimization (work in progress). CICM Workshops (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. Log. Methods Comput. Sci. 17 (4) (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Full Higher-order Logic. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. FSCD (2020)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. CoRR (2020)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. CoRR (2020)
Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow
A Formal Proof of the Expressiveness of Deep Learning. J. Autom. Reason. 63 (2) (2019)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CADE (2019)
Alexander Bentkamp
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2018 (2018)
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. IJCAR (2018)
Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow
A Formal Proof of the Expressiveness of Deep Learning. ITP (2017)
Alexander Bentkamp
Expressiveness of Deep Learning. Arch. Formal Proofs 2016 (2016)
Alexander Bentkamp
Latin Square. Arch. Formal Proofs 2015 (2015)