Simplifying Neural Networks using Formal Verification

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca +2

Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-…