TY  - RPRT
TI  - Simplifying Neural Networks using Formal Verification
AU  - Sumathi Gokulanathan
AU  - Alexander Feldsher
AU  - Adi Malca
AU  - Clark Barrett
AU  - Guy Katz
PY  - 2020
UR  - https://arxiv.org/abs/1910.12396
ID  - 1910.12396
ER  -