List your company
ResearchFormerly WizWand

Formal Theorem Proving on AbstractAlgebra intermediate

56AccuracyAx-Prover
417.53144.5Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1056
DS-Prover2025.1022
Kimina2025.1014
Sonnet2025.106