vnnlib files

mldiego · Mar 18, 2024 · 9cadb4b · 9cadb4b
1 parent cfa086a
commit 9cadb4b
Show file tree

Hide file tree

Showing 31 changed files with 94,323 additions and 2 deletions.
diff --git a/code/nnv/examples/NN/medmnist/generate_vnnlib_files.m b/code/nnv/examples/NN/medmnist/generate_vnnlib_files.m
@@ -3,8 +3,9 @@
 %% All 2D datasets
 
 datapath = "data/mat_files/";
-datafiles = ["bloodmnist"; "breastmnist.mat"; "dermamnist.mat"; "octmnist.mat"; "organamnist.mat"; ...
-    "organcmnist.mat"; "organsmnist.mat"; "pathmnist.mat"; "pneumoniamnist"; "retinamnist.mat"; "tissuemnist.mat"];
+% datafiles = ["bloodmnist"; "breastmnist.mat"; "dermamnist.mat"; "octmnist.mat"; "organamnist.mat"; ...
+%     "organcmnist.mat"; "organsmnist.mat"; "pathmnist.mat"; "pneumoniamnist.mat"; "retinamnist.mat"; "tissuemnist.mat"];
+datafiles = "pneumoniamnist.mat";
 
 N = 10; % number of vnnlib files to create
 epsilon = [1,2,3]; % {epsilon} pixel color values for every channel