9 citations · 17 across the 4 of their papers we have counts for
8 papers
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Zhouxing Shi, Yihan Wang, Huan Zhang +2
Lipschitz constants are connected to many properties of neural networks, such as robustness, fairness, and generalization. Existing methods for computing Lipschitz constants either…
On the Convergence of Certified Robust Training with Interval Bound Propagation
Yihan Wang, Zhouxing Shi, Quanquan Gu +1
Interval Bound Propagation (IBP) is so far the base of state-of-the-art methods for training neural networks with certifiable robustness guarantees when potential adversarial pertu…
Fast Certified Robust Training with Short Warmup
Zhouxing Shi, Yihan Wang, Huan Zhang +2
Recently, bound propagation based certified robust training methods have been proposed for training neural networks with certifiable robustness guarantees. Despite that state-of-th…
Robust Text CAPTCHAs Using Adversarial Examples
Rulin Shao, Zhouxing Shi, Jinfeng Yi +2
CAPTCHA (Completely Automated Public Truing test to tell Computers and Humans Apart) is a widely used technology to distinguish real users and automated users such as bots. However…
Knowledge-Aided Open-Domain Question Answering
Mantong Zhou, Zhouxing Shi, Minlie Huang +1
Open-domain question answering (QA) aims to find the answer to a question from a large collection of documents.Though many models for single-document machine comprehension have ach…
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond
Kaidi Xu, Zhouxing Shi, Huan Zhang +6
Linear relaxation based perturbation analysis (LiRPA) for neural networks, which computes provable linear bounds of output neurons given a certain amount of input perturbation, has…