On Optimizing Back-Substitution Methods for Neural Network Verification.

Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz

Browse the full FMCAD paper archive.