ResearchBenchmarksFormal Theorem Proving on QuantumTheorems (intermediate)Follow92AccuracyAx-Prover15.0435.025574.98Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.1092DS-Prover2025.1048Kimina2025.1034Sonnet2025.1018