On the Extreme Variance of Certified Local Robustness Across Model Seeds

Minh Le, Phuong Cao

Robustness verification of neural networks, referring to formally proving that neural networks satisfy robustness properties, is of crucial importance in safety-critical applicatio…