Abstract
Developing robust sparse models fit for safety-critical andresource-constrained systems such as drones, autonomous robots, etc., has beenan issue of longstanding interest. The inability of adversarial trainingmechanisms to provide a formal robustness guarantee kindles the requirement forverified local robustness mechanisms. This work aims to compute sparse verifiedlocally robust networks which exhibit (benign) accuracy and verified localrobustness comparable to their dense counterparts. Towards this objective, weexamine several model sparsification approaches and present `SparseVLR'-- aframework to search verified locally robust sparse networks. We empiricallyinvestigated SparseVLR's efficacy and generalizability by evaluating variousbenchmark and application-specific datasets across several models. Above all,we provide an in-depth study and reasoning to unveil the causes for theascendancy of SparseVLR.