Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on ECC
Loading...
48
Assertion Count
Saarthi
4.32
15.66
27
38.34
Mar 3, 2026
Assertion Count
First Generation Result
Fix Attempts Count
Proof Success Rate
Proof Coverage
Updated 1mo ago
Evaluation Results
Method
Method
Links
Assertion Count
First Generation Result
Fix Attempts Count
Proof Success Rate
Proof Coverage
Saarthi
Backbone=GPT-5, Pass l...
2026.03
48
-
0
81.25
93.74
Saarthi
Backbone=GPT-5, Pass l...
2026.03
32
-
0
75
61.86
Saarthi
Backbone=GPT-5, Pass l...
2026.03
28
-
0
89.28
58.57
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
25
-
0
64
60.21
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
25
-
2
64
58.15
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
19
-
1
71.86
62.67
Saarthi
Backbone=Llama3.3, Pas...
2026.03
14
-
2
57.14
68.01
Saarthi
Backbone=Llama3.3, Pas...
2026.03
12
-
0
50
43.9
Saarthi
Backbone=Llama3.3, Pas...
2026.03
6
-
0
33.33
2.18
Feedback
Search any
task
Search any
task
