Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving
The article introduces Graph2Tac (G2T), a graph neural network that learns hierarchical representations of mathematical concepts in theorem proving. G2T uses a large-scale, graph-based dataset for machine learning in Coq,…
Continue reading