List your company
ResearchFormerly WizWand

Formal Theorem Proving on QuantumTheorems easy

100AccuracyAx-Prover
52.1664.587789.42Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.10100
DS-Prover2025.1088
Kimina2025.1072
Sonnet2025.1054