SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
Subgoal-XL
#4
cumulative: 56.1
Pass@32: 39.3
ITP: Isabelle
Rank counts only results with a code link.