Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Lasse Blaauwbroek
Observed names:
Blaauwbroek, L,
Blaauwbroek, L.,
Blaauwbroek, Lasse
Institutions:
Radboud University Nijmegen,
Czech Technical University in Prague,
Institut des Hautes Études Scientifiques
Observed institutions:
Radboud University Nijmegen,
Czech Technical University in Prague,
Institut des Hautes Études Scientifiques
ORCID:
0000-0003-2910-8069
Observed ORCID:
0000-0003-2910-8069
OpenAlex ID:
A5005771747
Tactic Learning and Proving for the Coq Proof Assistant
2020
·
Lasse Blaauwbroek
, Josef Urban
, et al.
·
EPiC series in computing
·
17
PDF
The Tactician
2020
·
Lasse Blaauwbroek
, Josef Urban
, et al.
·
Lecture notes in computer science
·
16
PDF
Learning Guided Automated Reasoning: A Brief Survey
2024
·
Lasse Blaauwbroek
, David M. Cerna
, et al.
·
Lecture notes in computer science
·
12
PDF
The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
2020
·
Lasse Blaauwbroek
, Josef Urban
, et al.
·
7
Graph2Tac: Online Representation Learning of Formal Math Concepts
2024
·
Blaauwbroek, Lasse
, Olšák, Miroslav
, et al.
·
arXiv (Cornell University)
·
5
PDF
Online Machine Learning Techniques for Coq: A Comparison
2021
·
Liao Zhang
, Lasse Blaauwbroek
, et al.
·
Lecture notes in computer science
·
4
PDF
Learning Proof Transformations and Its Applications in Interactive Theorem Proving
2023
·
Liao Zhang
, Lasse Blaauwbroek
, et al.
·
Lecture notes in computer science
·
3
PDF
Hashing Modulo Context-Sensitive α-Equivalence
2024
·
Lasse Blaauwbroek
, Miroslav Olšák
, et al.
·
Proceedings of the ACM on Programming Languages
·
1
The Tactician's Web of Large-Scale Formal Knowledge
2024
·
Blaauwbroek, Lasse
·
arXiv (Cornell University)
·
1
PDF
Tactician's Web of Large-Scale Formal Knowledge
2023
·
Blaauwbroek, Lasse
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
26
Citation count:
69
H-index:
5
I10-index:
3
Year
Topic
Type
