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…
This document lives in the Rho MD app.
Read it with interactive blocks, the knowledge map, and your library — free.
Get Rho MD →