TY  - RPRT
TI  - Pruning and Slicing Neural Networks using Formal Verification
AU  - Ori Lahav
AU  - Guy Katz
PY  - 2021
UR  - https://arxiv.org/abs/2105.13649
ID  - 2105.13649
ER  -