ResearchBenchmarksFormal Theorem Proving on AbstractAlgebra (total)Follow64AccuracyAx-Prover5.7620.883651.12Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.1064DS-Prover2025.1024Kimina2025.1013Sonnet2025.108