Blaauwbroek, L., Olšák, M., Rute, J., Massolo, F. I. S., Piepenbrock, J., & Pestun, V. (2024). Graph2Tac: Online Representation Learning of Formal Math Concepts.
Chicago-Zitierstil (17. Ausg.)Blaauwbroek, Lasse, Miroslav Olšák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, und Vasily Pestun. Graph2Tac: Online Representation Learning of Formal Math Concepts. 2024.
MLA-Zitierstil (9. Ausg.)Blaauwbroek, Lasse, et al. Graph2Tac: Online Representation Learning of Formal Math Concepts. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.