Analog Neural Network Verification on Breast Cancer Wisconsin
5Time (s)Cadence Spectre
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Cadence SpectreApproach=Cadence2026.05 | 5 | — | |
| Proposed set-based modeling approachApproach=Ours2026.05 | 9.5 | 99.08 |
Loading the SOTA2 catalog…