Analog Neural Network Verification on MNIST
1.77Verification Time (s)Proposed set-based modeling approach
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Proposed set-based modeling approachApproach=Ours, Architecture=Fully-connected2026.05 | 1.77 | 97.77 | |
| Proposed set-based modeling approachApproach=Ours, Architecture=CNN2026.05 | 3.37 | 99.51 | |
| Cadence SpectreApproach=Cadence, Architecture=Fully-connected2026.05 | 29 | — | |
| Cadence SpectreApproach=Cadence, Architecture=CNN2026.05 | 84 | — |