Picture for Fidel Ivan Schaposnik Massolo

Fidel Ivan Schaposnik Massolo

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving

Add code
Jan 09, 2024
Viaarxiv icon