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

Multi-step theorem prediction research benchmarks · SOTA2 Research

Multi-step theorem prediction

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

FormalGeo7K (test)

89.29Total Accuracy

17

Mar 6, 2026

85.64Accuracy

4

Mar 6, 2026

95.16Accuracy

3

Mar 6, 2026

Popular datasets

Geometry3K GeoQA Formalgeo7k

Follow for updates

Join SOTA2 Contact