Analog Neural Network Verification on MNIST
1.77Verification Time (s)
Proposed set-based modeling approach
Updated 22d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| 1.77 | 97.77 | ||
| 3.37 | 99.51 | ||
2026.05 | 29 | - | |
2026.05 | 84 | - |
Proposed set-based modeling approach
| Method | Links | ||
|---|---|---|---|
| 1.77 | 97.77 | ||
| 3.37 | 99.51 | ||
2026.05 | 29 | - | |
2026.05 | 84 | - |