ResearchBenchmarksFormal Theorem Proving on AbstractAlgebra easyFollow72AccuracyAx-Prover7.5224.264157.74Oct 14, 2025Evaluation ResultsMethodMethodLinksAccuracyAx-Prover2025.1072DS-Prover2025.1026Kimina2025.1012Sonnet2025.1010