List your company

ResearchFormerly WizWand

proof

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

CoqStoq 100 hardest tasks

97Pass Count

4

May 25, 2026

CodeProps mini sorting

100Pass Count

4

May 25, 2026