Efficient Neural Network Validation with Affine Forms | IEEE Conference Publication | IEEE Xplore