Lasse Blaauwbroek

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