TY - RPRT TI - Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds AU - Yujia Huang AU - Huan Zhang AU - Yuanyuan Shi AU - J Zico Kolter AU - Anima Anandkumar PY - 2021 UR - https://arxiv.org/abs/2111.01395 ID - 2111.01395 ER -