Sign in
On Optimizing Back-Substitution Methods for Neural Network Verification.
Tom Zelazny
Haoze Wu
Clark W. Barrett
Guy Katz
Published in:
FMCAD (2022)
Keyphrases
</>
neural network
significant improvement
cross validation
computational cost
machine learning methods
information retrieval
similarity measure
search algorithm
pattern recognition
image retrieval
empirical studies
optimization methods
training process