TY - RPRT TI - Tightened Convex Relaxations for Neural Network Robustness Certification AU - Brendon G. Anderson AU - Ziye Ma AU - Jingqi Li AU - Somayeh Sojoudi PY - 2020 UR - https://arxiv.org/abs/2004.00570 ID - 2004.00570 ER -