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