verivital
diff --git a/‎code/nnv/examples/Submission/FORMATS2022/AE_instructions.pdf‎
153 KB b/‎code/nnv/examples/Submission/FORMATS2022/AE_instructions.pdf‎
153 KB
diff --git a/‎code/nnv/examples/Submission/FORMATS2022/Comparison/plot_spiralL.m‎
Lines changed: 2 additions & 2 deletions b/‎code/nnv/examples/Submission/FORMATS2022/Comparison/plot_spiralL.m‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎code/nnv/examples/Submission/FORMATS2022/NeuralODEs_formats.pdf‎
1.75 MB b/‎code/nnv/examples/Submission/FORMATS2022/NeuralODEs_formats.pdf‎
1.75 MB
diff --git a/‎code/nnv/examples/Submission/FORMATS2022/formatsAE_neuralode.zip‎
144 KB b/‎code/nnv/examples/Submission/FORMATS2022/formatsAE_neuralode.zip‎
144 KB
diff --git a/‎rl/ctrnn_osc.npz‎
-5.19 KB b/‎rl/ctrnn_osc.npz‎
-5.19 KB
diff --git a/‎rl/lds/b1.npy‎
-208 Bytes b/‎rl/lds/b1.npy‎
-208 Bytes
diff --git a/‎rl/lds/b2.npy‎
-192 Bytes b/‎rl/lds/b2.npy‎
-192 Bytes
diff --git a/‎rl/lds/ba.npy‎
-136 Bytes b/‎rl/lds/ba.npy‎
-136 Bytes
diff --git a/‎rl/lds/w1.npy‎
-928 Bytes b/‎rl/lds/w1.npy‎
-928 Bytes
diff --git a/‎rl/lds/w2.npy‎
-768 Bytes b/‎rl/lds/w2.npy‎
-768 Bytes
@@ -31,7 +31,7 @@
 ax.XAxis.FontSize = 14; % Set font size of axis
 ax.YAxis.FontSize = 14;
 if is_codeocean
-    run /flowresults/outputs/spiralL3.m
+    run /results/logs/flowresults/outputs/spiralL3.m
 else
     run flowstar/results/spiralL3.m
 end
@@ -164,4 +164,4 @@
 % figure;
 % run flowstar/results/spiralL2.m
 % figure;
-% run flowstar/results/spiralL3.m
+% run flowstar/results/spiralL3.m