List your company
ResearchFormerly WizWand

Formal Theorem Proving on QuantumTheorems (total)

96AccuracyAx-Prover
37.7652.886883.12Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1096
DS-Prover2025.1061
Kimina2025.1057
Sonnet2025.1040