31 citations · 72 across the 5 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2021★ 14 cited
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
Shiqi Wang, Huan Zhang, Kaidi Xu +4
Bound propagation based incomplete neural network verifiers such as CROWN are very efficient and can significantly accelerate branch-and-bound (BaB) based complete verification of…
cs.LG2019★ 8 cited
On the Mathematical Understanding of ResNet with Feynman Path Integral
Minghao Yin, Xiu Li, Yongbing Zhang +1
In this paper, we aim to understand Residual Network (ResNet) in a scientifically sound way by providing a bridge between ResNet and Feynman path integral. In particular, we prove…
cs.LG2018★ 10 cited
MixTrain: Scalable Training of Verifiably Robust Neural Networks
Shiqi Wang, Yizheng Chen, Ahmed Abdou +1
Making neural networks robust against adversarial inputs has resulted in an arms race between new defenses and attacks. The most promising defenses, adversarially robust training a…