TY  - RPRT
TI  - Graph2Tac: Online Representation Learning of Formal Math Concepts
AU  - Lasse Blaauwbroek
AU  - Miroslav Olšák
AU  - Jason Rute
AU  - Fidel Ivan Schaposnik Massolo
AU  - Jelle Piepenbrock
AU  - Vasily Pestun
PY  - 2024
UR  - https://arxiv.org/abs/2401.02949
ID  - 2401.02949
ER  -