Jasmin Blanchette
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
7
Active years
2019–2026
Best venue rank
A
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Adding Sorts to an Isabelle Formalization of Superposition. | Balzs Tth, Martin Desharnais-Schfer, Jasmin Blanchette |
| 2026 | IJCAR | Tao's Equational Proof Challenge Accepted. | Lydia Kondylidou, Jasmin Blanchette, Marijn J. H. Heule |
| 2026 | ITiCSE | ChomskyTrainer: An Interactive Learning Environment for Exercising Chomsky Normal Form Transformations. | David Schmutz, Jasmin Blanchette, Sven Strickroth |
| 2026 | TACAS | Enumerating Choice Terms in Model-Based Quantifier Instantiation. | Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette, Cesare Tinelli |
| 2025 | CADE | Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL. | Lukas Bartl, Jasmin Blanchette, Tobias Nipkow |
| 2025 | ITP | Sledgehammering Without ATPs (Short Paper). | Martin Desharnais, Jasmin Blanchette |
| 2025 | TACAS | Augmenting Model-Based Instantiation with Fast Enumeration. | Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette |
| 2024 | ITP | A Modular Formalization of Superposition in Isabelle/HOL. | Martin Desharnais, Balzs Tth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret |
| 2023 | CADE | Verified Given Clause Procedures. | Jasmin Blanchette, Qi Qiu, Sophie Tourret |
| 2023 | ITP | Closure Properties of General Grammars - Formally Verified. | Martin Dvorak, Jasmin Blanchette |
| 2023 | TACAS | Extending a High-Performance Prover to Higher-Order Logic. | Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz |
| 2022 | ITP | Seventeen Provers Under the Hammer. | Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel |
| 2021 | CADE | Superposition for Full Higher-order Logic. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | A Unifying Splitting Framework. | Gabriel Ebner, Jasmin Blanchette, Sophie Tourret |
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2021 | CPP | A modular Isabelle framework for verifying saturation provers. | Sophie Tourret, Jasmin Blanchette |
| 2021 | FMCAD | SAT-Inspired Eliminations for Superposition. | Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
| 2020 | CADE | A Comprehensive Framework for Saturation Theorem Proving. | Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette |
| 2019 | CADE | Superposition with Lambdas. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |