List your company
ResearchFormerly WizWand

Formal Theorem Proving on AbstractAlgebra (total)

64AccuracyAx-Prover
5.7620.883651.12Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1064
DS-Prover2025.1024
Kimina2025.1013
Sonnet2025.108