TY - RPRT TI - Efficient Neural Network Robustness Certification with General Activation Functions AU - Huan Zhang AU - Tsui-Wei Weng AU - Pin-Yu Chen AU - Cho-Jui Hsieh AU - Luca Daniel PY - 2018 UR - https://arxiv.org/abs/1811.00866 ID - 1811.00866 ER -