LearningtoProveTheoremsbyLearningtoGenerate TheoremsSupplementaryMaterial AnonymousAuthor(s) Affiliation Address email

Feb-10-2026, 12:59:04 GMT–Neural Information Processing Systems 

The prover runs in iterations. In each iteration, it69 travels down from the root node.