Using Z3 for Formal Modeling and Verification of FNN Global Robustness

Yihao Zhang, Zeming Wei, Xiyue Zhang +1

While Feedforward Neural Networks (FNNs) have achieved remarkable success in various tasks, they are vulnerable to adversarial examples. Several techniques have been developed to v…