activity
20172023
most citedThe Limitations of Adversarial Training and the Blind-Spot Attack

60 citations · 184 across the 10 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

stat.ML2018

Towards Fast Computation of Certified Robustness for ReLU Networks

Tsui-Wei Weng, Huan Zhang, Hongge Chen +5

Verifying the robustness property of a general Rectified Linear Unit (ReLU) network is an NP-complete problem [Katz, Barrett, Dill, Julian and Kochenderfer CAV17]. Although finding…