Search Results for author:
Found 1 papers, 0 papers with code
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving
G2T is an online model that is deeply integrated into the users' workflow and can adapt in real time to new Coq projects and their definitions.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
