NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation

Open in new window