Revisiting Differential Verification: Equivalence Verification with Confidence

Samuel Teuber, Philipp Kern, Marvin Janzen +1

When validated neural networks (NNs) are pruned (and retrained) before deployment, it is desirable to prove that the new NN behaves equivalently to the (original) reference NN. To…