Neurify

Neurify copied to clipboard

hi, i have tried the all models on Neurify, but all results are segmentation fault I also used smaller model and above instruction in the previous issue the results are...

k86228

Does Neurify work with simple Neural Nets?

4

We are trying to verify a very simple neural network that is attached.  We already changed functions "check_max" (file split.c line 58) and "check_max1" (file split.c line 104) for...

LuizHenriqueSena

Patch adressed to Mrs. Christopher Brix about issue #16 .

LuizHenriqueSena

Does Neurify use images as input in the execution?

5

In the architecture presented in "Efficient Formal Safety Analysis of Neural Networks" does not mention images as inputs, but in the README.md, test images are mentioned, as well as in...

ericksonalves

Does documentation for the nnet format exist? I cannot find a spec anywhere, particularly for encoding conv and max pool layers.

OpControl

The `README` refers to an ACAS folder: ``` The test on ACAS Xu can be easily ran with pre-written scripts in folder "scripts". Here is an example: cd ACAS ./scripts/run_property5.sh...

stanleybak

the readme has the lines ``` wget http://github.com/xianyi/OpenBLAS/archive/v0.2.20.tar.gz tar -xzf SOpenBLAS-0.2.20.tar.gz ``` The tar is extracting the wrong filename, it should be the one that was downloaded: `v0.2.20.tar.gz`

stanleybak