TY  - RPRT
TI  - General Cutting Planes for Bound-Propagation-Based Neural Network Verification
AU  - Huan Zhang
AU  - Shiqi Wang
AU  - Kaidi Xu
AU  - Linyi Li
AU  - Bo Li
AU  - Suman Jana
AU  - Cho-Jui Hsieh
AU  - J. Zico Kolter
PY  - 2022
UR  - https://arxiv.org/abs/2208.05740
ID  - 2208.05740
ER  -