Proof Artifact Co-training for Theorem Proving with Language Models
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
PACT (reproduced by Thor)
#15
cumulative: 24.6
Pass@1: 24.6
ITP: Isabelle
Rank counts only results with a code link.