An SMT-Based Approach for Verifying Binarized Neural Networks

Published in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), 2021