List your company

ResearchFormerly WizWand

annotations

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

Verus-Bench full 150 tasks

149Pass Count

4

May 25, 2026

DafnyBench 100 hardest tasks

88Pass Count

4

May 25, 2026