Lasse Blaauwbroek

Postdoc, IHES

Joined

February 2023

Names

Lasse Blaauwbroek (Preferred)

Emails

****@blaauwbroek.eu (Confirmed)

Personal Links

Career & Education History

Postdoc

IHES (ihes.fr)

2021 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Graph2Tac: Online Representation Learning of Formal Math Concepts
Lasse Blaauwbroek, Mirek Olšák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
- ICML 2024 Poster
- Readers: Everyone
Graph2Tac: Learning hierarchical representations of math concepts in theorem proving
Jason Rute, Miroslav Olšák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
- Submitted to ICLR 2024
- Readers: Everyone

Co-Authors