List your company

ResearchFormerly WizWand

set.mm

Benchmarks

TaskDatasetSOTA resultTrendResults

Theorem Proving

set.mm (test)

600Proofs Found (Test)

14

Theorem Proving (Relevance Ranking)

set.mm (val)

53.2Top-1 Accuracy

12

Theorem Proving (Substitution Network)

set.mm (val)

0.685Prob

12