Uncovering the Limits of Proof Sharing for Neural Networks

Kanak Das, Shubham Ugare, Bor-Yuh Evan Chang +3

Robustness verification of neural networks is increasingly important, due to their use in many critical domains. In certain scenarios, proof sharing has been shown to accelerate in…