ResearchBenchmarksFormal Theorem Proving on NuminaMath-LEAN (solved-H)Follow47AccuracyAx-Prover-1.8810.8123.536.19Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.1047DS-Prover2025.1014Sonnet2025.108Kiminaevaluation_protocol=pa...evaluation_protocol=pass@682025.100