List your company
ResearchFormerly WizWand

Formal Theorem Proving on NuminaMath-LEAN (solved-H)

47AccuracyAx-Prover
-1.8810.8123.536.19Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1047
DS-Prover2025.1014
Sonnet2025.108
Kiminaevaluation_protocol=pass@682025.100