Revisiting Differential Verification: Equivalence Verification with Confidence
We introduce a new abstract domain for differential verification using Zonotopes and explore which equivalence properties are ammenable to differential verification. Furthermore, we propose an improved approximation for confidence-based verification of NNs with softmax output.
22. Dec 2024
Geometric Path Enumeration for Equivalence Verification of Neural Networks
We present and evaluate an approach for proving equivalence properties on neural networks and show that the verification of $\epsilon$-equivalence is coNP-complete
21. Dec 2021