Fidel Ivan Schaposnik Massolo

According to our database, Fidel Ivan Schaposnik Massolo authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Graph2Tac: Online Representation Learning of Formal Math Concepts.

Lasse Blaauwbroek, Mirek Olsák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

Proceedings of the Forty-first International Conference on Machine Learning, 2024