TY - RPRT TI - A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks AU - Hadi Salman AU - Greg Yang AU - Huan Zhang AU - Cho-Jui Hsieh AU - Pengchuan Zhang PY - 2020 UR - https://arxiv.org/abs/1902.08722 ID - 1902.08722 ER -