Search Results for author:
Found 2 papers, 1 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.
Proof Artifact Co-training for Theorem Proving with Language Models
Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built.
Ranked #7 on
Automated Theorem Proving
on miniF2F-test
Cannot find the paper you are looking for? You can
Submit a new open access paper.
