List your company
ResearchFormerly WizWand

Octonions

Benchmarks

TaskDatasetSOTA resultTrendResults
Lemma Discovery
Octonions Isabelle/AFP 2026 context (test)
0.766Lemma Discovery Rate
10