Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Annotation on Verus-Bench full 150 tasks
Loading...
149
Pass Count
IDS
136.52
139.76
143
146.24
May 22, 2026
Pass Count
Updated 2mo ago
Evaluation Results
Method
Method
Links
Pass Count
IDS
modality=proof-only, c...
2026.05
149
Codex
modality=proof-only
2026.05
148
Claude Code
modality=proof-only
2026.05
148
AutoVerus
modality=proof-only
2026.05
137
Feedback
Search any
task
Search any
task
