On Optimizing Back-Substitution Methods for Neural Network Verification

Tom Zelazny, Haoze Wu, Clark Barrett +1

With the increasing application of deep learning in mission-critical systems, there is a growing need to obtain formal guarantees about the behaviors of neural networks. Indeed, ma…