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

Lemma Discovery research benchmarks · SOTA2 Research

Lemma Discovery

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

84.9Success Rate

47

Jun 4, 2026

42.7Success Rate

46

Jun 4, 2026

58.6Success Rate

46

Jun 4, 2026

AFP Recent formalizations (Swap Distance, Linear Orders) 2026 (test)

LEMMANAID DeepSeek-coder-6.7B

41.7Lemma Discovery Rate

10

Jun 4, 2026

Octonions Isabelle/AFP 2026 context (test)

LEMMANAID DeepSeek-coder-6.7B

0.766Lemma Discovery Rate

10

Jun 4, 2026

Popular datasets

AFP Octonions HOL

Follow for updates

Join SOTA2 Contact