Onnx operation Div not currectly supported by Marabou.

[ytsao]

Hi,

I'm currently using Marabou to develop my research project.

I have a problem to verify CNN model which is stored in onnx format.
In this onnx file, it has Sub and Div operations to do the normalization before convolutional layer.
While, I got the error message: Caught a MarabouError error. Code: 105, Errno: 0, Message: Onnx operation Div not currently supported by Marabou. It seems, in current Marabou version, Marabou doesn't support Div operation in onnx file.
Will this operation be supporting in the future? Is there any way to deal with this issue now?

Thanks!

[MatthewDaggitt]

Hi @ytsao, apologies for the long reply time. In theory it should be possible to add this operation to the ONNX parser files. (e.g. see #886 for adding a new operation)

I'm unsure how the potential division by zero problem would be handled though.

[ytsao]

Hi @MatthewDaggitt , thanks for the reply!
I will have a look for this PR, but not sure if I will have problem for adding new operation, so I will keep this issue open.