TY  - RPRT
TI  - Provably Bounding Neural Network Preimages
AU  - Suhas Kotha
AU  - Christopher Brix
AU  - Zico Kolter
AU  - Krishnamurthy Dvijotham
AU  - Huan Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2302.01404
ID  - 2302.01404
ER  -