Lemma Discovery
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
84.9Success Rate
47
Jun 4, 2026
42.7Success Rate
46
Jun 4, 2026
58.6Success Rate
46
Jun 4, 2026
41.7Lemma Discovery Rate
10
Jun 4, 2026
0.766Lemma Discovery Rate
10
Jun 4, 2026