List your company

ResearchFormerly WizWand

Mathematical Proof

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

STAR-PólyaMath

99.4Overall Score (%)

9

May 20, 2026

IMO-ProofBench Basic, Advanced, Overall

91.9Advanced Score

9

Mar 20, 2026

STAR-PólyaMath

88.69Score

8

May 20, 2026