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

Multimodal Autoformalization research benchmarks · SOTA2 Research

Multimodal Autoformalization

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

MATHVERSE Solid Geometry

80Compilation Success

20

Feb 26, 2026

ANALYTIC GEOMETRY Solid Geometry

1Compile Rate

10

Feb 26, 2026

ANALYTIC GEOMETRY Plane Geometry

60Compile Rate

10

Feb 26, 2026

SYNTHETIC GEOMETRY Plane Geometry

70Compile Rate

10

Feb 26, 2026

PHYX Thermodynamics

20Compile Rate

10

Feb 26, 2026

PHYX Electromagnetism

0.667Compile Success Rate

10

Feb 26, 2026

71.4Compile Rate

10

Feb 26, 2026

71.4Compile Rate

10

Feb 26, 2026

MATHVERSE Function

100Compile Rate

10

Feb 26, 2026

MATHVERSE Plane Geometry

76Compile Rate

10

Feb 26, 2026

Popular datasets

PHYX MathVerse ANALYTIC GEOMETRY SYNTHETIC GEOMETRY

Follow for updates

Join SOTA2 Contact