40 citations · 40 across the 1 of their papers we have counts for
1 paper · 1 filter
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…