Fidel Ivan Schaposnik Massolo

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Semi Supervised

Theorem Proving

Parallel Search

Multiple Representations

Top Venues

Publications

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