10 citations · 10 across the 1 of their papers we have counts for
2 papers
cs.LG2025★ 10 cited
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Guanqin Zhang, Kota Fukuda, Zhenya Zhang +4
The vulnerability of neural networks to adversarial perturbations has necessitated formal verification techniques that can rigorously certify the quality of neural networks. As the…
cs.LG2022
A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning
Guanqin Zhang, Jiankun Sun, Feng Xu +4
Deep neural networks (DNNs), are widely used in many industries such as image recognition, supply chain, medical diagnosis, and autonomous driving. However, prior work has shown th…