Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]files.sri.inf.ethz.ch1 pointharporoedera year ago