List your company
ResearchFormerly WizWand

Formal Theorem Proving on AbstractAlgebra easy

72AccuracyAx-Prover
7.5224.264157.74Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1072
DS-Prover2025.1026
Kimina2025.1012
Sonnet2025.1010