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,…