TY - RPRT TI - Towards Certifying L-infinity Robustness using Neural Networks with L-inf-dist Neurons AU - Bohang Zhang AU - Tianle Cai AU - Zhou Lu AU - Di He AU - Liwei Wang PY - 2021 UR - https://arxiv.org/abs/2102.05363 ID - 2102.05363 ER -