Europe
SupplementaryMaterialforLipschitz-Certifiable TrainingwithaTightOuterBound
We want to provep is a local minimum of(11), then since (11) is a convex optimization, we can prove that p is the global optimum. We consider a closed local areaB(p,ฮด > 0) such that for any q B(p,ฮด), q 0 and we can ignore the box constraint forql for l Jc. We call a local optimal solution of(11) in B(p,ฮด) as p . Moreover, if kp k < 1, then we can further extendp [Jc] to produce a larger inner product withv, and this contradicts the assumption. After propagating a ballB2(ยต,ฯ) through a ReLU layer, we can estimate the propagated outer bound with anew ballB2(ยต+,ฯ)whereยต+ = max(ยต,0). However, the true image ReLU(B2(ยต,ฯ)) has no negative elements.