Lasse Blaauwbroek

14 papers A* 1B 1C 2Journal 8Unranked 2

Year	Rank	Type	Title / 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