Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on VeriBench
Loading...
95.2
Pass Rate
POLCA
68.472
75.411
82.35
89.289
Mar 16, 2026
Pass Rate
Updated 2mo ago
Evaluation Results
Method
Method
Links
Pass Rate
POLCA
Backbone=claude-3.5-so...
2026.03
95.2
DSPy
Backbone=claude-3.5-so...
2026.03
88.8
OpenEvolve
Backbone=claude-3.5-so...
2026.03
73.8
GEPA
Backbone=claude-3.5-so...
2026.03
69.5
Feedback
Search any
task
Search any
task
