diff --git a/code/nnv/engine/set/VolumeStar.m b/code/nnv/engine/set/VolumeStar.m index fa20cbed43..db2a0d396b 100644 --- a/code/nnv/engine/set/VolumeStar.m +++ b/code/nnv/engine/set/VolumeStar.m @@ -391,7 +391,7 @@ S2 = I.toStar; S = S1.MinkowskiSum(S2); - volume = S.toVolumeStar(I.height, I.width, I.depth, I.numChannel); % TODO: implement this function in Star set + volume = S.toVolumeStar(I.height, I.width, I.depth, I.numChannel); end diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/acc_results.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/acc_results.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/acc_results.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/acc_results.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/glorot/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/glorot/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/he/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/he/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/narrow-normal/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/narrow-normal/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/train_dropout.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/train_dropout.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/dropout/train_dropout.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/dropout/train_dropout.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/glorot/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/glorot/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/he/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/he/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/narrow-normal/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/narrow-normal/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/train_jacobian.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/train_jacobian.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/jacobian/train_jacobian.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/jacobian/train_jacobian.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/glorot/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/glorot/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/he/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/he/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/mnist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/mnist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/mnist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/mnist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/modelsHere.txt b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/modelsHere.txt similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/narrow-normal/models/modelsHere.txt rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/narrow-normal/models/modelsHere.txt diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/train_l2.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/train_l2.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/l2/train_l2.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/l2/train_l2.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/mnist_falsify_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/mnist_falsify_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/mnist_falsify_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/mnist_falsify_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/mnist_falsify_model.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/mnist_falsify_model.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/mnist_falsify_model.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/mnist_falsify_model.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/comboRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/comboRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/comboRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/comboRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/comboTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/comboTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/comboTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/comboTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/initRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/initRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/initRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/initRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/initTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/initTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/initTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/initTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/regRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/regRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/regRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/regRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/regTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/regTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/regTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/regTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/seedTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/seedTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/seedTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/seedTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/seed_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/seed_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/plots/seed_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/plots/seed_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/process_results.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/process_results.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/process_results.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/process_results.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results/rob_model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results/rob_model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/test_accuracy.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/test_accuracy.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/test_accuracy.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/test_accuracy.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/train_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/train_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/train_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/train_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/verify_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/verify_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/verify_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/verify_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/verify_mnist_model.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/verify_mnist_model.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MNIST/verify_mnist_model.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MNIST/verify_mnist_model.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/acc_results.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/acc_results.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/acc_results.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/acc_results.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/glorot/models/model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/glorot/models/model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/he/models/model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/he/models/model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/narrow-normal/models/model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/train_dropout.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/train_dropout.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/dropout/train_dropout.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/dropout/train_dropout.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/glorot/models/model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/he/models/model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/he/models/model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/medNist_training_adam.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/medNist_training_adam.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/medNist_training_adam.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/medNist_training_adam.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/narrow-normal/models/model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/train_jacobian.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/train_jacobian.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/train_jacobian.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/train_jacobian.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/train_jacobian_noisy.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/train_jacobian_noisy.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/jacobian/train_jacobian_noisy.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/jacobian/train_jacobian_noisy.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/glorot/models/model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/glorot/models/model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/he/models/model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/he/models/model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/medNist_training.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/medNist_training.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/medNist_training.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/medNist_training.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/narrow-normal/models/model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/train_l2.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/train_l2.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/l2/train_l2.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/l2/train_l2.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/medNist_falsify_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/medNist_falsify_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/medNist_falsify_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/medNist_falsify_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/medNist_falsify_model.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/medNist_falsify_model.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/medNist_falsify_model.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/medNist_falsify_model.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/comboRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/comboRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/comboRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/comboRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/comboTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/comboTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/comboTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/comboTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/initRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/initRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/initRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/initRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/initTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/initTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/initTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/initTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/regRes_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/regRes_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/regRes_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/regRes_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/regTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/regTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/regTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/regTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/seedTime_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/seedTime_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/seedTime_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/seedTime_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/seed_vs_class.pdf b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/seed_vs_class.pdf similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/plots/seed_vs_class.pdf rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/plots/seed_vs_class.pdf diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/process_results.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/process_results.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/process_results.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/process_results.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results/rob_model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results/rob_model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_dropout_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_jacobian_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_glorot_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_glorot_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_he_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_he_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_0.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_1.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_2.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_3.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/results_falsify/falsify_model_l2_narrow-normal_4.mat diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/test_accuracy.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/test_accuracy.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/test_accuracy.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/test_accuracy.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/train_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/train_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/train_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/train_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/verify_all.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/verify_all.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/verify_all.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/verify_all.m diff --git a/code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/verify_medNist_model.m b/code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/verify_medNist_model.m similarity index 100% rename from code/nnv/examples/Submission/AISOLA2023/Empirical Analysis of Benchmark Generation for the Verification of NN Image Classifiers/MedMNIST/verify_medNist_model.m rename to code/nnv/examples/Submission/AISOLA2023/Empirical_Analysis_MNIST_MedNIST/MedMNIST/verify_medNist_model.m diff --git a/code/nnv/tests/nn/funcs/HardSig/test_funcs_HardSig.m b/code/nnv/tests/nn/funcs/hardsig/test_funcs_HardSig.m similarity index 100% rename from code/nnv/tests/nn/funcs/HardSig/test_funcs_HardSig.m rename to code/nnv/tests/nn/funcs/hardsig/test_funcs_HardSig.m diff --git a/code/nnv/tests/nn/funcs/leakyrelu/todo_test.m b/code/nnv/tests/nn/funcs/leakyrelu/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/funcs/sign/todo_test.m b/code/nnv/tests/nn/funcs/sign/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/averagePooling2dLayer/one_image.mat b/code/nnv/tests/nn/layers/AveragePooling2DLayer/one_image.mat similarity index 100% rename from code/nnv/tests/nn/layers/averagePooling2dLayer/one_image.mat rename to code/nnv/tests/nn/layers/AveragePooling2DLayer/one_image.mat diff --git a/code/nnv/tests/nn/layers/averagePooling2dLayer/test_layers_averagePooling.m b/code/nnv/tests/nn/layers/AveragePooling2DLayer/test_layers_averagePooling.m similarity index 100% rename from code/nnv/tests/nn/layers/averagePooling2dLayer/test_layers_averagePooling.m rename to code/nnv/tests/nn/layers/AveragePooling2DLayer/test_layers_averagePooling.m diff --git a/code/nnv/tests/nn/layers/AveragePooling3DLayer/todo_test.m b/code/nnv/tests/nn/layers/AveragePooling3DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/BatchNormalizationLayer/todo_test.m b/code/nnv/tests/nn/layers/BatchNormalizationLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/ConcatenationLayer/todo_test.m b/code/nnv/tests/nn/layers/ConcatenationLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/Conv1DLayer/todo_test.m b/code/nnv/tests/nn/layers/Conv1DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/Conv3DLayer/todo_test.m b/code/nnv/tests/nn/layers/Conv3DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/DepthConcatLayer/SthToTest.mat b/code/nnv/tests/nn/layers/DepthConcatLayer/SthToTest.mat deleted file mode 100644 index 3357dc9a7f..0000000000 Binary files a/code/nnv/tests/nn/layers/DepthConcatLayer/SthToTest.mat and /dev/null differ diff --git a/code/nnv/tests/nn/layers/DepthConcatLayer/layerfunction.m b/code/nnv/tests/nn/layers/DepthConcatLayer/layerfunction.m deleted file mode 100644 index c9cadd7b82..0000000000 --- a/code/nnv/tests/nn/layers/DepthConcatLayer/layerfunction.m +++ /dev/null @@ -1,20 +0,0 @@ -% Load network with computed reach sets -nn = load("SthToTest.mat"); -nn = nn.nn; - -% Get all the reach sets -set1 = nn.reachSet{1}; -set2 = nn.reachSet{2}; -set3 = nn.reachSet{3}; -set4 = nn.reachSet{4}; -set5 = nn.reachSet{5}; -set6 = nn.reachSet{6}; -set7 = nn.reachSet{7}; -set8 = nn.reachSet{8}; -set9 = nn.reachSet{9}; - -% DepthConcatenation concatenates two inputs along the channel dimension -% (3rd dimension in ImageStars.V) -% new_V = - -concatSet = ImageStar(new_V, set9.C, set9.d, set9.pred_lb, set9.pred_ub); \ No newline at end of file diff --git a/code/nnv/tests/nn/layers/DepthConcatenationLayer/todo_test.m b/code/nnv/tests/nn/layers/DepthConcatenationLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/ElementwiseAffineLayer/todo_test.m b/code/nnv/tests/nn/layers/ElementwiseAffineLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/FeatureInputLayer/todo_test.m b/code/nnv/tests/nn/layers/FeatureInputLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/FlattenLayer/todo_test.m b/code/nnv/tests/nn/layers/FlattenLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/fullyConnectedLayer/test_layers_fullyConnected.m b/code/nnv/tests/nn/layers/FullyConnectedLayer/test_layers_fullyConnected.m similarity index 100% rename from code/nnv/tests/nn/layers/fullyConnectedLayer/test_layers_fullyConnected.m rename to code/nnv/tests/nn/layers/FullyConnectedLayer/test_layers_fullyConnected.m diff --git a/code/nnv/tests/nn/layers/GlobalAveragePooling1DLayer/todo_test.m b/code/nnv/tests/nn/layers/GlobalAveragePooling1DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/GlobalAveragePooling2DLayer/todo_test.m b/code/nnv/tests/nn/layers/GlobalAveragePooling2DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/HardSigmoidLayer/todo_test.m b/code/nnv/tests/nn/layers/HardSigmoidLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/imageInputLayer/test_layers_image.m b/code/nnv/tests/nn/layers/ImageInputLayer/test_layers_image.m similarity index 100% rename from code/nnv/tests/nn/layers/imageInputLayer/test_layers_image.m rename to code/nnv/tests/nn/layers/ImageInputLayer/test_layers_image.m diff --git a/code/nnv/tests/nn/layers/layers/test_layers_layerS.m b/code/nnv/tests/nn/layers/LayerS/test_layers_layerS.m similarity index 100% rename from code/nnv/tests/nn/layers/layers/test_layers_layerS.m rename to code/nnv/tests/nn/layers/LayerS/test_layers_layerS.m diff --git a/code/nnv/tests/nn/layers/maxPooling2dLayer/one_image.mat b/code/nnv/tests/nn/layers/MaxPooling2DLayer/one_image.mat similarity index 100% rename from code/nnv/tests/nn/layers/maxPooling2dLayer/one_image.mat rename to code/nnv/tests/nn/layers/MaxPooling2DLayer/one_image.mat diff --git a/code/nnv/tests/nn/layers/maxPooling2dLayer/test_layers_maxpool.m b/code/nnv/tests/nn/layers/MaxPooling2DLayer/test_layers_maxpool.m similarity index 100% rename from code/nnv/tests/nn/layers/maxPooling2dLayer/test_layers_maxpool.m rename to code/nnv/tests/nn/layers/MaxPooling2DLayer/test_layers_maxpool.m diff --git a/code/nnv/tests/nn/layers/maxUnpooling2dLayer/test_layers_maxunpool.m b/code/nnv/tests/nn/layers/MaxUnpooling2DLayer/test_layers_maxunpool.m similarity index 100% rename from code/nnv/tests/nn/layers/maxUnpooling2dLayer/test_layers_maxunpool.m rename to code/nnv/tests/nn/layers/MaxUnpooling2DLayer/test_layers_maxunpool.m diff --git a/code/nnv/tests/nn/layers/ODEblockLayer/todo_test.m b/code/nnv/tests/nn/layers/ODEblockLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/PixelClassificationLayer/todo_test.m b/code/nnv/tests/nn/layers/PixelClassificationLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/reluLayer/test_layers_relu.m b/code/nnv/tests/nn/layers/ReluLayer/test_layers_relu.m similarity index 100% rename from code/nnv/tests/nn/layers/reluLayer/test_layers_relu.m rename to code/nnv/tests/nn/layers/ReluLayer/test_layers_relu.m diff --git a/code/nnv/tests/nn/layers/ReshapeLayer/todo_test.m b/code/nnv/tests/nn/layers/ReshapeLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SaturatingLinearLayer/todo_test.m b/code/nnv/tests/nn/layers/SaturatingLinearLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SaturatingLinearSymmLayer/todo_test.m b/code/nnv/tests/nn/layers/SaturatingLinearSymmLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SequenceInputLayer/todo_test.m b/code/nnv/tests/nn/layers/SequenceInputLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SigmoidLayer/todo_test.m b/code/nnv/tests/nn/layers/SigmoidLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SignLayer/todo_test.m b/code/nnv/tests/nn/layers/SignLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/SoftmaxLayer/todo_test.m b/code/nnv/tests/nn/layers/SoftmaxLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/TanhLayer/todo_test.m b/code/nnv/tests/nn/layers/TanhLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/TransposeConv1DLayer/todo_test.m b/code/nnv/tests/nn/layers/TransposeConv1DLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/layers/transposedConv2DLayer/test_layers_TransposedConv2dLayer.m b/code/nnv/tests/nn/layers/TransposedConv2DLayer/test_layers_TransposedConv2dLayer.m similarity index 100% rename from code/nnv/tests/nn/layers/transposedConv2DLayer/test_layers_TransposedConv2dLayer.m rename to code/nnv/tests/nn/layers/TransposedConv2DLayer/test_layers_TransposedConv2dLayer.m diff --git a/code/nnv/tests/nn/layers/UpsampleLayer/todo_test.m b/code/nnv/tests/nn/layers/UpsampleLayer/todo_test.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/nn/segnet/test_SEGNET.m b/code/nnv/tests/nn/nn/test_SEGNET.m similarity index 100% rename from code/nnv/tests/nn/segnet/test_SEGNET.m rename to code/nnv/tests/nn/nn/test_SEGNET.m diff --git a/code/nnv/tests/nn/cnn/test_cnn.m b/code/nnv/tests/nn/nn/test_cnn.m similarity index 93% rename from code/nnv/tests/nn/cnn/test_cnn.m rename to code/nnv/tests/nn/nn/test_cnn.m index 0e68b2a25a..0e0c3cc064 100644 --- a/code/nnv/tests/nn/cnn/test_cnn.m +++ b/code/nnv/tests/nn/nn/test_cnn.m @@ -48,18 +48,3 @@ MatlabNet = trainNetwork(imdsTrain,layers,options); nnvNet = matlab2nnv(MatlabNet); - -% save test_Nets.mat imds imdsTrain imdsValidation MatlabNet nnvNet; - - - - - - - - - - - - - diff --git a/code/nnv/tests/nn/fnn/test_feedforward_NN.m b/code/nnv/tests/nn/nn/test_feedforward_NN.m similarity index 89% rename from code/nnv/tests/nn/fnn/test_feedforward_NN.m rename to code/nnv/tests/nn/nn/test_feedforward_NN.m index b592020caf..e2d2af6c29 100644 --- a/code/nnv/tests/nn/fnn/test_feedforward_NN.m +++ b/code/nnv/tests/nn/nn/test_feedforward_NN.m @@ -1,30 +1,35 @@ +rng(0); % ensure test won't fail due to random seed + %% test 1: falsify + +% create NN W = [1 1; 0 1]; b = [0; 0.5]; L = LayerS(W, b, 'poslin'); Layers = {L}; - F = NN(Layers); - +% create input set lb = [-1; -1]; ub = [1; 1]; - I = Star(lb, ub); +% compute reachability R = F.reach(I); +% Create unsafe region G = [-1 0]; g = [-1.5]; - U = HalfSpace(G, g); +% define number of samples to attempt falsification n_samples = 1000; - +% find counter examples counter_inputs = F.falsify(I, U, n_samples); counter_outputs = F.evaluate(counter_inputs); +% Visualize results figure; subplot(1, 2, 1); Star.plot(I); diff --git a/code/nnv/tests/nn/nn/todo_test_NN.m b/code/nnv/tests/nn/nn/todo_test_NN.m new file mode 100644 index 0000000000..e69de29bb2 diff --git a/code/nnv/tests/set/volume_star/img3d_data.mat b/code/nnv/tests/set/volume_star/img3d_data.mat new file mode 100644 index 0000000000..7c2c383867 Binary files /dev/null and b/code/nnv/tests/set/volume_star/img3d_data.mat differ diff --git a/code/nnv/tests/set/volume_star/notes.txt b/code/nnv/tests/set/volume_star/notes.txt new file mode 100644 index 0000000000..344da25d13 --- /dev/null +++ b/code/nnv/tests/set/volume_star/notes.txt @@ -0,0 +1 @@ +Add tests for volumestar, i.e. constructor, getRange, affineMap, etc \ No newline at end of file diff --git a/code/nnv/tests/set/volume_star/test_VolumeStar.m b/code/nnv/tests/set/volume_star/test_VolumeStar.m new file mode 100644 index 0000000000..5ed59fa00d --- /dev/null +++ b/code/nnv/tests/set/volume_star/test_VolumeStar.m @@ -0,0 +1,51 @@ +% test constructor for VolumeStar class + +if ~is_github_actions() % out of memory error in github actions, need to update this with smaller images (create a small random one) + + load("img3d_data.mat"); % img_X and img_I + + % These are the shared variables we will use throughout this script + + disturbance = ones(size(img_I)); + + % Constructor + I = VolumeStar(img_I, -disturbance, disturbance); + X = VolumeStar(img_X, -disturbance, disturbance); + + %% 1) Get range + tic; + [xmin, xmax] = I.getRange(1,1,1,1); + toc; + display(xmin); + display(xmax); + + %% 2) AffineMap + I2 = I.affineMap(1,1); % use scalars + + % %% 3) Sampling + % volumes = I.sample(10); % sample 10 images % TODO (takes too long, improve function) + + %% 4) Minkowski Sum + I4 = I.MinkowskiSum(X); + + %% 5) Concatenate + I5 = I.concatenation(X); + + %% 6) Hadamard Product + I6 = I.HadamardProduct(X); + + %% 7) isEmptySet + res7 = I.isEmptySet; + assert(res7 == 0); + + % %% 8) contains %% TODO (out of memory, improve function) + % res8 = I.contains(img_I); + % assert(res8 == 1); + % + % res8b = I.contains(img_X); + % assert(res8 == 0); + + %% 9) estimateRanges + [x1, x2] = I.estimateRanges; + +end