Alexander Bentkamp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2017–2024
Best venue rank
A
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ITP | Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory. | Joshua Clune, Yicheng Qian, Alexander Bentkamp, Jeremy Avigad |
| 2023 | FM | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. | Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
| 2023 | TACAS | Verified reductions for optimization. | Alexander Bentkamp, Ramon Fernndez Mir, Jeremy Avigad |
| 2021 | CADE | Superposition for Full Higher-order Logic. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Superposition with First-class Booleans and Inprocessing Clausification. | Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2020 | FSCD | Efficient Full Higher-Order Unification. | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
| 2019 | CADE | Superposition with Lambdas. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |
| 2018 | CADE | Superposition for Lambda-Free Higher-Order Logic. | Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann |
| 2017 | ITP | A Formal Proof of the Expressiveness of Deep Learning. | Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow |