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

60 citations · 154 across the 11 of their papers we have counts for

collaborators
Showing 2018 · stat.MLShow all

1 paper · 2 filters

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…