Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Annotation on DafnyBench 100 hardest tasks
Loading...
88
Pass Count
IDS
50.56
60.28
70
79.72
May 22, 2026
Pass Count
Updated 2mo ago
Evaluation Results
Method
Method
Links
Pass Count
IDS
modality=proof-only, c...
2026.05
88
Codex
modality=proof-only
2026.05
78
Claude Code
modality=proof-only
2026.05
76
DafnyPro
modality=proof-only
2026.05
52
Feedback
Search any
task
Search any
task
