Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Theorem Retrieval research benchmarks · SOTA2 Research

Theorem Retrieval

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA 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

Popular datasets

Lean Proof State Raw Proof State

Follow for updates

Join SOTA2 Contact