Pruning and Slicing Neural Networks using Formal Verification

Ori Lahav, Guy Katz

Deep neural networks (DNNs) play an increasingly important role in various computer systems. In order to create these networks, engineers typically specify a desired topology, and…