Pruning and Slicing Neural Networks using Formal Verification.

Ori Lahav, Guy Katz

Browse the full FMCAD paper archive.