C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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