Learning to Prove Theorems by Learning to Generate Theorems
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-metamath-setmm
MetaGen-IL + Holophrasm
#1
Percentage correct: 22.1
Rank counts only results with a code link.