Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Authors: Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong | Published: 2022-06-24 | Updated: 2022-10-11
Algorithm Design
Formal Verification
Adversarial Example