Change reachability options for some

mldiego · Jul 13, 2024 · 58a0d35 · 58a0d35
1 parent 2574491
commit 58a0d35
Showing 1 changed file with 18 additions and 7 deletions.
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
@@ -384,26 +384,37 @@
         else
             error("We don't have those");
         end
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.8;
+        reachOptionsList{1} = reachOptions;
         reachOptions = struct;
         reachOptions.reachMethod = 'approx-star'; % default parameters
-        reachOptionsList{1} = reachOptions;
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "vggnet16")
         % vgg16: onnx to matlab
         net = importNetworkFromONNX(onnx); % flattenlayer
         nnvnet = "";
         needReshape = 1;
-        reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
+        reachOptions = struct;
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.5;
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "tllverify")
         % tllverify: onnx to nnv
         net = importNetworkFromONNX(onnx,"InputDataFormats", "BC", 'OutputDataFormats',"BC");
         nnvnet = matlab2nnv(net);
         reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
+        reachOptions = struct;
+        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "vit")
         % vit: onnx to matlab
@@ -459,10 +470,10 @@
         needReshape = 1;
         reachOptions = struct;
         reachOptions.reachMethod = 'relax-star-area';
-        reachOptions.relaxFactor = 0.5;
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
-        reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.5;
         reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "tinyimagenet")