=============================================Execution of script vl_nnconv as a function is not supported:
/Users/probinet/SANDBOX/matsrc/matlab/vl_nnconv.m
Error in Conv2DLayer/reach_star_single_input (line 762)
c = vl_nnconv(double(input.V(:,:,:,1)), double(obj.Weights), double(obj.Bias), 'Stride', obj.Stride, 'Pad', obj.PaddingSize, 'Dilate', obj.DilationFactor);
Error in Conv2DLayer/reach_star_multipleInputs (line 809)
images(i) = obj.reach_star_single_input(in_images(i));
Error in Conv2DLayer/reach (line 898)
images = obj.reach_star_multipleInputs(in_images, option);
mldiego
commented
1 year ago
Running on mac and received the following error:
=============================================Execution of script vl_nnconv as a function is not supported: /Users/probinet/SANDBOX/matsrc/matlab/vl_nnconv.m
Error in Conv2DLayer/reach_star_single_input (line 762) c = vl_nnconv(double(input.V(:,:,:,1)), double(obj.Weights), double(obj.Bias), 'Stride', obj.Stride, 'Pad', obj.PaddingSize, 'Dilate', obj.DilationFactor);
Error in Conv2DLayer/reach_star_multipleInputs (line 809) images(i) = obj.reach_star_single_input(in_images(i));
Error in Conv2DLayer/reach (line 898) images = obj.reach_star_multipleInputs(in_images, option);
Error in CNN/reach (line 219) rs_new = obj.Layers{i-1}.reach(rs, obj.reachMethod, obj.reachOption, obj.relaxFactor, obj.dis_opt, obj.lp_solver);
Error in CNN/classify (line 286) obj.reach(in_image, method, numOfCores);
Error in CNN/verifyRobustness (line 340) label_id = obj.classify(in_image, method, numOfCores);
Error in verify_robustness_delta_e_07 (line 41) [robust_exact(i), ~] = nnvNet.verifyRobustness(IS, correct_id, 'exact-star');