#线性松弛

SLiR让验证任意激活函数变得简单，比现有方法多验证近8倍属性，做神经网络安全的可以看看。