ResearchBenchmarksFormal Theorem Proving on QuantumTheorems (total)Follow96AccuracyAx-Prover37.7652.886883.12Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.1096DS-Prover2025.1061Kimina2025.1057Sonnet2025.1040