Erickson Alves issues

Repositories
Issues
Comments

Results 2 issues of


                                            Erickson Alves

How can we run ACAS benchmarks in Neurify?

I have tried to run ACAS benchmarks from ReluVal in Neurify code, but it closes unexpectedly.

Does Neurify use images as input in the execution?

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...