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

Formalgeo dataset and benchmarks · SOTA2 Research

Research Datasets

Formalgeo

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Geometry problem solving

Formalgeo7k

63.5Top-1 Accuracy

17

Formalgeo Rec-CoT 1.0 (test)

97.2Img CDL Recall

10

Plane Geometry Problem Solving

Formalgeo (test)

0.857Accuracy

10

Popular tasks

Geometry Problem Solving Plane Geometry Problem Solving CDL Generation

Follow for updates

Join SOTA2 Contact