Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Analog Neural Network Verification on Iris
Loading...
1.15
Time (s)
Proposed set-based modeling approach
-33.4296
199.9827
433.395
666.8073
May 11, 2026
Time (s)
Enclosure Rate
Updated 22d ago
Evaluation Results
Method
Method
Links
Time (s)
Enclosure Rate
Proposed set-based modeling approach
Approach=Ours
2026.05
1.15
98.01
Cadence Spectre
Approach=Cadence
2026.05
865.64
-
Feedback
Search any
task
Search any
task
