Formal Theorem Proving on Putnam-200
35.5Pass@8Seed2.0 Pro
Evaluation Results
| Method | Links | |
|---|---|---|
| Seed2.0 ProSetup=Agent-based multi-turn, Tools=Lean, Python, and Lean search tools2026.06 | 35.5 | |
| Seed2.0 LiteSetup=Agent-based multi-turn, Tools=Lean, Python, and Lean search tools2026.06 | 30.5 | |
| Seed-1.5 ProverSetup=Agent-based multi-turn, Tools=Lean, Python, and Lean search tools2026.06 | 26.5 | |
| Gemini-3-ProSetup=Agent-based multi-turn, Tools=Lean, Python, and Lean search tools2026.06 | 26.5 | |
| Deepseek-Prover-V2Setup=Agent-based multi-turn, Tools=Lean, Python, and Lean search tools2026.06 | 4 |