search

eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks
Apache License 2.0
313 stars 100 forks source link

AssertionError: Operations of type Div are not yet supported when running DeepPoly on your ConvMaxPool #76

Closed JacksonZyy closed 3 years ago

JacksonZyy commented 3 years ago

Hi,

I had an assertion error in prepare_model() function when using Deeppoly to analyze your provided MNIST ConvMaxpool. You did handle Div in translate() but missed the definition in prepare_model() for onnx translator. You may want to add it on? Thanks.

mnmueller commented 3 years ago

Hi @JacksonZyy,

Thanks for pointing this out. I have added it. Now the MNIST ConvMaxpool runs fine with both when loading from the old .tf and the new .onnx file or me.

Cheers, Mark