Function "verify_network_with_milp_zonotope" is missing.

eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks

Apache License 2.0

320 stars 103 forks source link

Function "verify_network_with_milp_zonotope" is missing. #11

Closed nikos-kekatos closed 4 years ago

nikos-kekatos commented 5 years ago

Hello!

It seems that the function verify_network_with_milp_zonotope has not been defined anywhere in the project. Maybe, it has been accidentally omitted in one of the commits.

It is called by the main.py file in line 301 (latest commit) as

verified_flag,adv_image = verify_network_with_milp_zonotope(nn, zonotope, label, nlb, nub)

Could you please take a look?

Thanks, Nikos

GgnDpSngh commented 5 years ago

Hi Nikos,

I have added support for handling --complete True with Zonotope specs and it should work now. Let me know if you have any further issues.

Cheers, Gagandeep Singh