Verification of Non-Linear Specifications for Neural Networks

Chongli Qin, Krishnamurthy, Dvijotham +7

Prior work on neural network verification has focused on specifications that are linear functions of the output of the network, e.g., invariance of the classifier output under adve…