Improving Neural Network Verification through Spurious Region Guided Refinement. (arXiv:2010.07722v1 [cs.AI])

We propose a spurious region guided refinement approach for robustness
verification of deep neural networks. Our method starts with applying the
DeepPoly abstract domain to analyze the network. If the robustness property
cannot be verified, the result is inconclusive. Due to the over-approximation,
the computed region in the abstraction may be spurious in the sense that it
does not contain any true counterexample. Our goal is to identify such spurious
regions and use them to guide the abstraction refinement. The core idea is to
make use of the obtained constraints of the abstraction to infer new bounds for
the neurons. This is achieved by linear programming techniques. With the new
bounds, we iteratively apply DeepPoly, aiming to eliminate spurious regions. We
have implemented our approach in a prototypical tool DeepSRGR. Experimental
results show that a large amount of regions can be identified as spurious, and
as a result, the precision of DeepPoly can be significantly improved. As a side
contribution, we show that our approach can be applied to verify quantitative
robustness properties.

Source link

WordPress database error: [Error writing file '/tmp/MYMBUJYD' (Errcode: 28 - No space left on device)]
SELECT SQL_CALC_FOUND_ROWS wp_posts.ID FROM wp_posts LEFT JOIN wp_term_relationships ON (wp_posts.ID = wp_term_relationships.object_id) WHERE 1=1 AND wp_posts.ID NOT IN (437962) AND ( wp_term_relationships.term_taxonomy_id IN (313) ) AND wp_posts.post_type = 'post' AND (wp_posts.post_status = 'publish') GROUP BY wp_posts.ID ORDER BY RAND() LIMIT 0, 3

This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More

Privacy & Cookies Policy