Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Code Verification on DAFNYBENCH
Loading...
372
Success Count
Solver backed
312.72
328.11
343.5
358.89
Nov 26, 2025
Success Count
Pass Rate
Percentage Point Difference
Updated 2mo ago
Evaluation Results
Method
Method
Links
Success Count
Pass Rate
Percentage Point Difference
Solver backed
Prompting Strategy=Fun...
2025.11
372
-
7.3
Solver backed
Prompting Strategy=Dir...
2025.11
315
-
-
Feedback
Search any
task
Search any
task
