TY  - RPRT
TI  - Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
AU  - Kaidi Xu
AU  - Huan Zhang
AU  - Shiqi Wang
AU  - Yihan Wang
AU  - Suman Jana
AU  - Xue Lin
AU  - Cho-Jui Hsieh
PY  - 2021
UR  - https://arxiv.org/abs/2011.13824
ID  - 2011.13824
ER  -