Theorem Proving on DeepTheorem
54False Rate
DeepSeek-V3.2-Thinking (Agentic)
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| 54 | 18 | 18 | ||
2026.01 | 58 | 16 | 14 | |
2026.01 | 62 | 22 | 22 | |
2026.01 | 72 | 32 | 26 | |
2026.01 | 76 | 42 | 36 | |
2026.01 | 76 | 22 | 22 | |
2026.01 | 76 | 20 | 16 | |
2026.01 | 80 | 36 | 32 |