List your company

ResearchFormerly WizWand

Theorem Retrieval

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

Raw Proof State

8.3Recall@1

5

Feb 26, 2026

Augmented Proof State

0.246R@1

5

Feb 26, 2026

Lean Augmented Statement

82.7R@1

4

Feb 26, 2026

Lean Synthetic User Query (Sec. 3.1)

54.4Recall@1

4

Feb 26, 2026

Lean Informalized Statement

64.2R@1

4

Feb 26, 2026

Lean Augmented Statement cleaned (test)

86.8R@1

2

Feb 26, 2026

Lean Synthetic User Query cleaned (test)

57.3Recall@1

2

Feb 26, 2026

Lean Informalized Statement cleaned (test)

65.7R@1

2

Feb 26, 2026