Graph2Tac: Online Representation Learning of Formal Math Concepts.

Lasse Blaauwbroek, Mirek Olsk, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

Browse the full ICML paper archive.