| natural-questions-on-theoremqa | GPT-4 (PoT) | #1 | Accuracy: 52.4 |
| natural-questions-on-theoremqa | GPT-4 (CoT) | #2 | Accuracy: 43.8 |
| natural-questions-on-theoremqa | GPT-3.5-turbo (PoT) | #3 | Accuracy: 35.6 |
| natural-questions-on-theoremqa | PaLM-2-unicorn (CoT) | #6 | Accuracy: 31.8 |
| natural-questions-on-theoremqa | GPT-3.5-turbo (CoT) | #7 | Accuracy: 30.2 |
| natural-questions-on-theoremqa | Claude-v1 (PoT) | #10 | Accuracy: 25.9 |
| natural-questions-on-theoremqa | Claude-v1 (CoT) | #11 | Accuracy: 24.9 |
| natural-questions-on-theoremqa | code-davinci-002 | #12 | Accuracy: 23.9 |
| natural-questions-on-theoremqa | Claude-instant (CoT) | #13 | Accuracy: 23.6 |
| natural-questions-on-theoremqa | text-davinci-003 | #14 | Accuracy: 22.8 |
| natural-questions-on-theoremqa | PaLM-2-bison (CoT) | #15 | Accuracy: 21.0 |