Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
Decomposing the Enigma
#7
cumulative: 45.5
Pass@100: 45.5
ITP: Isabelle
Rank counts only results with a code link.