List your company

ResearchFormerly WizWand

Multi-step theorem prediction

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

FormalGeo7K (test)

89.29Total Accuracy

17

Mar 6, 2026

85.64Accuracy

4

Mar 6, 2026

95.16Accuracy

3

Mar 6, 2026