ResearchBenchmarksFormal Theorem Proving on QuantumTheorems easyFollow100AccuracyAx-Prover52.1664.587789.42Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.10100DS-Prover2025.1088Kimina2025.1072Sonnet2025.1054