List your company

ResearchFormerly WizWand

ProverBench

Benchmarks

TaskDatasetSOTA resultTrendResults

Theorem Proving

ProverBench

5.5Proof Length

13

Theorem Proving

ProverBench Number Theory

25Solved Problems

13

Autoformalization

ProverBench

95.38Success Count

7