Lasse Blaauwbroek

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Theorem Proving

Top Venues

Proc. ACM Program. Lang.

Publications

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. CoRR (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. CoRR (2024)
Lasse Blaauwbroek, Miroslav Olsák, Herman Geuvers
Hashing Modulo Context-Sensitive α-Equivalence. CoRR (2024)
Lasse Blaauwbroek, Miroslav Olsák, Herman Geuvers
Hashing Modulo Context-Sensitive 𝛼-Equivalence. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Lasse Blaauwbroek
The Tactician's Web of Large-Scale Formal Knowledge. CoRR (2024)
Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban
Learning Proof Transformations and Its Applications in Interactive Theorem Proving. FroCoS (2023)
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
Online Machine Learning Techniques for Coq: A Comparison. CoRR (2021)
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
Online Machine Learning Techniques for Coq: A Comparison. CICM (2021)
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq. CoRR (2020)
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Tactic Learning and Proving for the Coq Proof Assistant. CoRR (2020)
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Tactic Learning and Proving for the Coq Proof Assistant. LPAR (2020)
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq. CICM (2020)