Dathathri, S.; Gao, S.; Murray, R. M. Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI 2019, 33, 3437-3444.