Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Analog Neural Network Verification on Breast Cancer Wisconsin
Loading...
5
Time (s)
Cadence Spectre
4.82
6.035
7.25
8.465
May 11, 2026
Time (s)
Enclosure Rate
Updated 22d ago
Evaluation Results
Method
Method
Links
Time (s)
Enclosure Rate
Cadence Spectre
Approach=Cadence
2026.05
5
-
Proposed set-based modeling approach
Approach=Ours
2026.05
9.5
99.08
Feedback
Search any
task
Search any
task
