Erickson Alves comments

Repositories
Issues
Comments

Results 12 comments of


                                            Erickson Alves

Does Neurify use images as input in the execution?

From [here](https://www.cs.columbia.edu/~tcwangshiqi/docs/Neurify_poster.pdf), it seems that we can run Neurify with a trained model and the input intervals for the model, not specific inputs for the model. Is it correct?

How can we run ACAS benchmarks in Neurify?

Hi @ChristopherBrix , Thank you for the update. I will try to do that and let you know the results.