Holophrasm: a neural Automated Theorem Prover for higher-order logic
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-metamath-setmm
Holophrasm
#2
Percentage correct: 14.3
Rank counts only results with a code link.