ResearchBenchmarksMathematical Theorem Proving on AMC-AIMOFollow16.2Proof-level AccuracyBASE8.60810.57912.5514.521Jun 14, 2026Evaluation ResultsMethodMethodLinksProof-level AccuracyBASESolver=R1-Qwen3-8B, Ev...Solver=R1-Qwen3-8B, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.0616.2BASESolver=Gemini 3 Pro, E...Solver=Gemini 3 Pro, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.0613.3BASESolver=Qwen3-8B, Evalu...Solver=Qwen3-8B, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.068.9