List your company

ResearchFormerly WizWand

Theorem Generation

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

Future Theorem Prediction dataset (test)

0.975Structure Score

15

May 29, 2026