On the Extreme Variance of Certified Local Robustness Across Model Seeds
arXiv:2601.13303v2 Announce Type: replace
Abstract: Robustness verification of neural networks, referring to formally proving that neural networks satisfy robustness properties, is of crucial importance in safety-critical applications, where model fai…