TY - RPRT TI - Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation AU - Zhouxing Shi AU - Yihan Wang AU - Huan Zhang AU - Zico Kolter AU - Cho-Jui Hsieh PY - 2022 UR - https://arxiv.org/abs/2210.07394 ID - 2210.07394 ER -