Efficient Neural Network Robustness Certification with General Activation Functions
Zhang, Huan
and
Weng, Tsui-Wei
and
Chen, Pin-Yu
and
Hsieh, Cho-Jui
and
Daniel, Luca
Neural Information Processing Systems Conference - 2018 via Local Bibsonomy
Keywords:
dblp