| Benchmark | Model | Rank | Results |
|---|---|---|---|
| automated-theorem-proving-on-minif2f-test | COPRA + GPT-4-turbo | #10 | cumulative: 30.7Pass@1: 30.7ITP: Lean |
| automated-theorem-proving-on-minif2f-test | COPRA + GPT-4 | #16 | cumulative: 23.3Pass@1: 23.3ITP: Lean |
| automated-theorem-proving-on-minif2f-test | COPRA + GPT-3.5 | #19 | cumulative: 11.9Pass@1: 11.9ITP: Lean |