List your company

ResearchFormerly WizWand

LeanDojo

Benchmarks

TaskDatasetSOTA resultTrendResults

Theorem Proving

LeanDojo (random)

53.21Pass@1

16

Theorem Proving

LeanDojo (novel premises)

41.11Pass@1

12

Premise selection

LeanDojo Benchmark 4 Lean 3 (novel_premises)

9.8R@1

6

Premise Selection

LeanDojo Benchmark (random)

13.5R@1

5

Formal Theorem Proving

LeanDojo (test)

58.25Pass Rate

2

Theorem Proving

LeanDojo Benchmark 4 Lean 3 (random)

48.6Pass@1

2