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

Devs

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks | Read Paper on Bytez