Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf] | Dark Hacker News