DeepPoly: An abstract domain for certifying neural networks (2019)sri.inf.ethz.ch1 pointteleforcea year ago