| automated-theorem-proving-on-minif2f-test | Lean GPT-f | #11 | cumulative: 29.2Pass@1: 24.6Pass@32: 29.2ITP: Lean |
| automated-theorem-proving-on-minif2f-test | Lean tidy | #18 | cumulative: 18Pass@1: 18ITP: Lean |
| automated-theorem-proving-on-minif2f-test | Metamath GPT-f | #20 | cumulative: 1.6Pass@1: 1.3ITP: Metamath |
| automated-theorem-proving-on-minif2f-valid | Metamath GPT-f | #1 | Pass@8: 2Pass@1: 1 |
| automated-theorem-proving-on-minif2f-valid | Lean GPT-f | #2 | Pass@8: 29.3Pass@1: 23.9 |
| automated-theorem-proving-on-minif2f-valid | Lean tidy | #3 | Pass@1: 16.8 |