Simplifying Neural Networks with the Marabou Verification Engine. - Sumathi Gokulanathan; Alexander Feldsher; Adi Malca; Clark W. Barrett; Guy Katz (CoRR, 2019)

Simplifying Neural Networks Using Formal Verification. - Sumathi Gokulanathan; Alexander Feldsher; Adi Malca; Clark W. Barrett; Guy Katz (NFM, 2020)