Improving Neural Network Verification through Spurious Region Guided Refinement

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,...

Descripción completa

Detalles Bibliográficos
Autores principales: Yang, Pengfei, Li, Renjue, Li, Jianlin, Huang, Cheng-Chao, Wang, Jingyi, Sun, Jun, Xue, Bai, Zhang, Lijun
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7979199/
http://dx.doi.org/10.1007/978-3-030-72016-2_21

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7979199/
http://dx.doi.org/10.1007/978-3-030-72016-2_21

Ejemplares similares