Graph2Tac: Online Representation Learning of Formal Math Concepts. - Lasse Blaauwbroek; Mirek Olsák; Jason Rute; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (ICML, 2024)

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. - Jason Rute; Miroslav Olsák; Lasse Blaauwbroek; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (CoRR, 2024)