Login / Signup
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.
Kaidi Xu
Huan Zhang
Shiqi Wang
Yihan Wang
Suman Jana
Xue Lin
Cho-Jui Hsieh
Published in:
CoRR (2020)
Keyphrases
</>
massively parallel
neural network
parallel processing
probabilistic model
scheduling problem
parallel computing
high performance computing