Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks

Open in new window