Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on Automotive IP
Loading...
76
Assertion Count
Saarthi
6.32
24.41
42.5
60.59
Mar 3, 2026
Assertion Count
Generation
Fix Attempts Count
Proof Rate
Coverage
Updated 1mo ago
Evaluation Results
Method
Method
Links
Assertion Count
Generation
Fix Attempts Count
Proof Rate
Coverage
Saarthi
Backbone=GPT-5, Pass l...
2026.03
76
-
3
56.57
77.02
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
64
-
5
50
76.6
Saarthi
Backbone=GPT-5, Pass l...
2026.03
58
-
3
84.48
80.99
Saarthi
Backbone=GPT-5, Pass l...
2026.03
54
-
3
55.55
80.38
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
45
-
3
48.88
72.75
Saarthi
Backbone=GPT-4.1, Pass...
2026.03
36
-
4
50
64.29
Saarthi
Backbone=Llama3.3, Pas...
2026.03
16
-
5
18.75
8.96
Saarthi
Backbone=Llama3.3, Pas...
2026.03
11
-
5
45.45
42.44
Saarthi
Backbone=Llama3.3, Pas...
2026.03
9
-
5
22.22
6.99
Feedback
Search any
task
Search any
task
