TY - RPRT TI - Interval Universal Approximation for Neural Networks AU - Zi Wang AU - Aws Albarghouthi AU - Gautam Prakriya AU - Somesh Jha PY - 2021 DO - 10.1145/3498675 UR - https://arxiv.org/abs/2007.06093 ID - 2007.06093 ER -