Mathematical Reasoning on AMC-AIMO
86.7AccuracyBASE
Evaluation results
| Method | Links | ||
|---|---|---|---|
| BASESolver=Gemini 3 Pro, K=82026.06 | 86.7 | 100 | |
| BASESolver=R1-Qwen3-8B, K=82026.06 | 85 | 100 | |
| Independent FormalizationSolver=Gemini 3 Pro, K=82026.06 | 73.5 | 82.9 | |
| Independent FormalizationSolver=R1-Qwen3-8B, K=82026.06 | 67.5 | 81.2 | |
| BASESolver=Qwen3-8B, K=82026.06 | 46.8 | 97.9 | |
| Independent FormalizationSolver=Qwen3-8B, K=82026.06 | 37.8 | 72.9 |