APA (7th ed.) Citation

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 Style (17th ed.) Citation

Blaauwbroek, Lasse, Miroslav Olšák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, and Vasily Pestun. Graph2Tac: Online Representation Learning of Formal Math Concepts. 2024.

MLA (9th ed.) Citation

Blaauwbroek, Lasse, et al. Graph2Tac: Online Representation Learning of Formal Math Concepts. 2024.