TY  - RPRT
TI  - The Fundamental Limits of Interval Arithmetic for Neural Networks
AU  - Matthew Mirman
AU  - Maximilian Baader
AU  - Martin Vechev
PY  - 2021
UR  - https://arxiv.org/abs/2112.05235
ID  - 2112.05235
ER  -