List your company
ResearchFormerly WizWand

Formal Theorem Proving on QuantumTheorems (intermediate)

92AccuracyAx-Prover
15.0435.025574.98Oct 14, 2025
Updated 5mo ago

Evaluation results

MethodLinks
Ax-Prover2025.1092
DS-Prover2025.1048
Kimina2025.1034
Sonnet2025.1018