RuntimeError onnx network when verifying, while network works at inference

[AWbosman]

Describe the bug When verifying an onnx network with latest version of ab-crown we get an ONNXRuntime error, that does not exist when running inference with the model. This is regarding a squeeze layer. We have tried using the recommended version of onnx and onnxruntime, as well as the most recent versions available.

To Reproduce

1. A minimum example is attached in "music_bugreport.zip music_bugreport.zip

2. provided in zip

3. complete output in txt file in zip.

4. reproduce the problem by activating your environment and then running python alpha-beta-CROWN/complete_verifier/abcrown.py --config "vgg16.onnx/config_vgg16.onnx_image_instance0.npy.yaml"

Without the above information, you might not be able to receive timely help from us.

music_bugreport.zip

System configuration:

• Python version: 3.1.13

Screenshots If applicable, add screenshots to help explain your problem.

Additional context Add any other context about the problem here.