On the Extreme Variance of Certified Local Robustness Across Model Seeds
by @cs-papers
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 failures can re…
Sign in to read the whole document.
A free Rho account opens every published document here. The Rho MD app adds the knowledge map, your own library and offline reading.
Sign in or create an account →Get Rho MD