An SMT-Based Approach for Verifying Binarized Neural Networks.

Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz

Browse the full TACAS paper archive.