Skip to content

Commit 1b7dd25

Browse files
mldiegomldiego
committed
fixed partial path erros
1 parent 1971944 commit 1b7dd25

File tree

3 files changed

+37
-24
lines changed

3 files changed

+37
-24
lines changed

‎code/nnv/engine/nn/Prob_reach/ProbReach_ImageStar.m‎

Lines changed: 13 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -184,12 +184,14 @@
184184
status = system(command);
185185

186186
cd(obj.params.files_dir)
187-
delete('Direction_data.mat')
187+
delete_path = nnvroot + "/code/nnv/engine/nn/Prob_reach/Temp_files_mid_run/" + "Direction_data.mat";
188+
delete(delete_path)
188189

189190
% load('directions.mat')
190191
% pyenv
191192
pyenv('Version', obj.params.py_dir)
192-
npz = py.numpy.load('directions.npz');
193+
load_path = nnvroot + "/code/nnv/engine/nn/Prob_reach/Temp_files_mid_run/" + "directions.npz";
194+
npz = py.numpy.load(load_path);
193195
Directions_py = py.numpy.array(npz{'Directions'});
194196

195197
directions_list = cell(Directions_py.tolist());
@@ -198,7 +200,7 @@
198200

199201

200202
clear Directions_py npz
201-
delete('directions.npz')
203+
delete(load_path);
202204

203205

204206
Y = reshape(Y, [n1 , N]);
@@ -212,7 +214,8 @@
212214
dims = obj.params.dims;
213215
epochs = obj.params.epochs;
214216
lr = obj.params.lr;
215-
save("Reduced_dimension.mat", "dYV", "X", "dims", "epochs", "lr");
217+
save_path = nnvroot + "/code/nnv/engine/nn/Prob_reach/Temp_files_mid_run/" + "Reduced_dimension.mat";
218+
save(save_path, "dYV", "X", "dims", "epochs", "lr");
216219

217220
cd ..
218221

@@ -229,7 +232,8 @@
229232
delete('Reduced_dimension.mat')
230233

231234
if strcmp(obj.mode, 'relu')
232-
load("trained_relu_weights_2h_norm.mat")
235+
load_path = nnvroot + "/code/nnv/engine/nn/Prob_reach/Temp_files_mid_run/" + "trained_relu_weights_2h_norm.mat";
236+
load(load_path);
233237

234238
Layers = cell(1,3);
235239
W = double(W1);
@@ -249,10 +253,11 @@
249253

250254
small_net = NN(Layers);
251255

252-
delete('trained_relu_weights_2h_norm.mat')
256+
delete(load_path);
253257
%%%%%%%%%%%%%%%%%%%%%%%%
254258
elseif strcmp(obj.mode, 'Linear')
255-
load("trained_Linear_weights_norm.mat")
259+
load_path = nnvroot + "/code/nnv/engine/nn/Prob_reach/Temp_files_mid_run/" + "trained_Linear_weights_norm.mat";
260+
load(load_path);
256261

257262
W = double(W);
258263
b = double(b)';
@@ -261,7 +266,7 @@
261266

262267
small_net = NN(Layers);
263268

264-
delete('trained_Linear_weights_norm.mat')
269+
delete(load_path);
265270
%%%%%%%%%%%%%%%%%%%%%%%%
266271
end
267272

‎code/nnv/examples/Submission/VNN_COMP2025/run_vnncomp_instance.m‎

Lines changed: 18 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -533,20 +533,27 @@
533533
reachOptionsList{1} = reachOptions;
534534
else
535535
net = importNetworkFromONNX(onnx);
536-
if contains(onnx, "pensieve") && contains(onnx,"parallel")
536+
if contains(onnx, "pensieve_big_parallel")
537537
inputSize = [12,8];
538538
inputFormat = "UU";
539539
X = dlarray(rand(12,8), inputFormat);
540+
elseif contains(onnx, "pensieve_small_parallel")
541+
inputSize = [12,8];
542+
inputFormat = "UU";
543+
X = dlarray(rand(12,8), inputFormat);
544+
needReshape = 1;
540545
elseif contains(onnx, "mscn")
541-
if contains(onnx, "dual")
542-
inputSize = [1,22,14];
543-
inputFormat = "UUU";
544-
X = dlarray(rand(1,22,14), inputFormat);
545-
else
546-
inputSize = [1,11,14];
547-
inputFormat = "UUU";
548-
X = dlarray(rand(1,11,14), inputFormat);
549-
end
546+
% if contains(onnx, "dual")
547+
% inputSize = [1,22,14];
548+
% inputFormat = "UUU";
549+
% X = dlarray(rand(1,22,14), inputFormat);
550+
% else
551+
% needReshape = 2;
552+
% inputSize = [1,11,14];
553+
% inputFormat = "UUU";
554+
% X = dlarray(rand(1,11,14), inputFormat);
555+
% end
556+
error("These are not supported yet.")
550557
else
551558
inputSize = [1,6,8];
552559
inputFormat = "UUU";
@@ -558,6 +565,7 @@
558565
reachOptions.reachMethod = 'cp-star'; % default parameters
559566
reachOptionsList{1} = reachOptions;
560567
end
568+
% Somehow, some of these networks have discrepancies (all sat (invalid))
561569

562570

563571
elseif contains(category, "relusplitter")

‎code/nnv/examples/Submission/VNN_COMP2025/test_instances.m‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -428,15 +428,15 @@
428428
nn4sys_path = vnncomp_path + "nn4sys/";
429429

430430
nn4sys_instances = [... % all other networks are not supported...
431-
% "onnx/lindex.onnx","vnnlib/lindex_1.vnnlib";...
432-
% "onnx/lindex_deep.onnx", "vnnlib/lindex_200.vnnlib";...
431+
"onnx/lindex.onnx","vnnlib/lindex_1.vnnlib";...
432+
"onnx/lindex_deep.onnx", "vnnlib/lindex_200.vnnlib";...
433433
"onnx/pensieve_big_parallel.onnx", "vnnlib/pensieve_parallel_0.vnnlib";...
434434
"onnx/pensieve_small_simple.onnx", "vnnlib/pensieve_simple_1.vnnlib";...
435435
"onnx/pensieve_small_parallel.onnx", "vnnlib/pensieve_parallel_4.vnnlib";...
436-
"onnx/mscn_128d.onnx", "vnnlib/cardinality_0_1_128.vnnlib";...
437-
"onnx/mscn_128d_dual.onnx", "vnnlib/cardinality_1_1_128_dual.vnnlib";...
438-
"onnx/mscn_2048d.onnx", "vnnlib/cardinality_0_1_2048.vnnlib";...
439-
"onnx/mscn_2048d_dual.onnx", "vnnlib/cardinality_1_1_2048_dual.vnnlib";...
436+
% "onnx/mscn_128d.onnx", "vnnlib/cardinality_0_1_128.vnnlib";...
437+
% "onnx/mscn_128d_dual.onnx", "vnnlib/cardinality_1_1_128_dual.vnnlib";...
438+
% "onnx/mscn_2048d.onnx", "vnnlib/cardinality_0_1_2048.vnnlib";...
439+
% "onnx/mscn_2048d_dual.onnx", "vnnlib/cardinality_1_1_2048_dual.vnnlib";...
440440
];
441441

442442
% Run verification for nn4sys

0 commit comments

Comments
 (0)