NeuralNetworkVerification/Marabou

C++/Python ONNX parser discrepancy: layer_zoo/maxpool.onnx

MatthewDaggitt opened this issue · 1 comments

Related: #727

image

Python: Only has a single output variable.
image

C++: Has four output variables
image

Conclusion: Python parser bug

Perhaps related to #614