An SMT-Based Approach for Verifying Binarized Neural Networks

Guy Amir, Haoze Wu, Clark Barrett +1

Deep learning has emerged as an effective approach for creating modern software systems, with neural networks often surpassing hand-crafted systems. Unfortunately, neural networks…