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
