3 ms·Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]1 points by harporoeder 2y ago