Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Other
243 stars 60 forks source link

RuntimeError onnx network when verifying, while network works at inference #54

Open AWbosman opened 8 months ago

AWbosman commented 8 months ago

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_imageinstance0.npy.yaml"

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

music_bugreport.zip

System configuration:

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

Additional context Add any other context about the problem here.