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

Formalgeo7k dataset and benchmarks · SOTA2 Research

Research Datasets

Formalgeo7k

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Multi-step theorem prediction

FormalGeo7K (test)

89.29Total Accuracy

17

TextCDL Generation

Formalgeo7k v2 (test)

99.1Recall

7

ImgCDL Generation

Formalgeo7k v2 (test)

97Recall

4

Popular tasks

TextCDL Generation ImgCDL Generation Multi-step theorem prediction

Follow for updates

Join SOTA2 Contact