List your company

ResearchFormerly WizWand

Proof writing

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

58.7Avg@3 Grade Score

11

Apr 7, 2026

IMO-GradingBench

RQGM prover (specialist)

4.33Score

4

Jun 26, 2026