Schaposnik Massolo, Fidel Ivan

1 publications

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