5 citations · 9 across the 11 of their papers we have counts for
4 papers · 1 filter
Stabilizing Multi-Attack Adversarial Training via Bandit Optimization
Rui Wang, Zeming Wei, Xiyue Zhang +1
Deep Neural Networks (DNNs) remain vulnerable to diverse adversarial perturbations, motivating multi-attack adversarial training (AT) for improved robustness. However, existing met…
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Marta Kwiatkowska, Xiyue Zhang
Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis an…
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…
Global Robustness Verification Networks
Weidi Sun, Yuteng Lu, Xiyue Zhang +2
The wide deployment of deep neural networks, though achieving great success in many domains, has severe safety and reliability concerns. Existing adversarial attack generation and…