NotImplementedError： Operation Gather not implemented

[JingyuanZhou]

I encountered a NotImplementedError while attempting to load my ONNX model using Marabou. The error suggests that the Gather operation is not implemented. I guess this issue arises because my original PyTorch neural network utilizes the .shape and slice operation in pytorch, which may be translating to a Gather operation in the ONNX export process.