60 citations · 186 across the 11 of their papers we have counts for
4 papers · 1 filter
Towards Stable and Efficient Training of Verifiably Robust Neural Networks
Huan Zhang, Hongge Chen, Chaowei Xiao +5
Training neural networks with verifiable robustness guarantees is challenging. Several existing approaches utilize linear relaxation based neural network output bounds under pertur…
Robustness Verification of Tree-based Models
Hongge Chen, Huan Zhang, Si Si +3
We study the robustness verification problem for tree-based models, including decision trees, random forests (RFs) and gradient boosted decision trees (GBDTs). Formal robustness ve…
Robust Decision Trees Against Adversarial Examples
Hongge Chen, Huan Zhang, Duane Boning +1
Although adversarial examples and model robustness have been extensively studied in the context of linear models and neural networks, research on this issue in tree-based models an…
The Limitations of Adversarial Training and the Blind-Spot Attack
Huan Zhang, Hongge Chen, Zhao Song +3
The adversarial training procedure proposed by Madry et al. (2018) is one of the most effective methods to defend against adversarial examples in deep neural networks (DNNs). In ou…