trhoangdung

Could you please send us the your codes?

Thanks, I will check the example and get back to you soon. I cannot use my computer right now since It is running a big case study to collect data...

Hi Yan, I have tested your code with my updated nnv. Nothing wrong with it. Could you please clone the newest version of nnv from my fork: https://github.com/trhoangdung/nnv and try...

Hi Yanbing, What is the OS you are using? Tran

Hi Yanbing, NNV works well on Ubuntu and Windows OS but not for macOS because we use the MPT toolbox that works well only for Ubuntu and Windows OS. Some...

What is random_search? Where does it come from?

stepReachStarApprox(I_star,1) performs only single step reachability for the first neuron, you need to do for another neuron to get the final reachable set. The intermediate reachable set S = PosLin.stepReachStarApprox(I_star,1)...

I am going to add support for Batch normalization layer soon. Tran On Thu, Dec 19, 2019 at 12:07 PM Taylor Johnson wrote: > How can I modify a CNN...

Hi Chelsea, Thanks for your information. A star set is an empty set if the constraint on the predicate is infeasible. In this case, if you want to get a...

I will check it out. Tran On Sat, Jan 11, 2020, 6:04 PM Taylor Johnson wrote: > @trhoangdung could you please look at > this CIFAR example and see if...