ResearchBenchmarksFormal Theorem Proving on NuminaMath-LEAN (solved-K)Formal Theorem Proving on NuminaMath-LEAN (solved-K)Follow100AccuracyKimina3.2828.3953.578.61Oct 14, 2025Evaluation resultsMethodMethodLinksAccuracyKiminaevaluation_protocol=pa...evaluation_protocol=pass@682025.10100Ax-Prover2025.1081DS-Prover2025.1048Sonnet2025.107