The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
arXiv:2604.18728v1 Announce Type: new
Abstract: Many neural network (NN) verification systems represent the network’s input-output relation as a constraint program. Sound and complete, representations involve integer constraints, for simulating the ac…