Superclass robustness memory issue #695
Labels
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
{{ message }}
When compiling queries the process takes up lots of memory before being killed.
Specification: https://github.com/BenCoke12/FashionVerification/blob/main/vclspecs/fashionSuperclassRobustness.vcl
Network: https://github.com/BenCoke12/FashionVerification/blob/main/onnxnetworks/fashion1l32n.onnx
Image dataset: https://github.com/BenCoke12/FashionVerification/blob/main/idxdata/individuals/Image1.idx
Label dataset: https://github.com/BenCoke12/FashionVerification/blob/main/idxdata/individuals/Label1.idx
Epsilon: 0.01
Command:
vehicle compile --target MarabouQueries --outputFile queries/superclassQueries --specification vclspecs/fashionSuperclassRobustness.vcl --network classifier:onnxnetworks/fashion1l32n.onnx --dataset trainingImages:idxdata/individuals/Image1.idx --dataset trainingLabels:idxdata/individuals/Label1.idx --parameter epsi lon:0.01Other images have been able to compile - generating 729 queries. Working example:
Specification: https://github.com/BenCoke12/FashionVerification/blob/main/vclspecs/fashionSuperclassRobustness.vcl
Network: https://github.com/BenCoke12/FashionVerification/blob/main/onnxnetworks/fashion1l32n.onnx
Image dataset: https://github.com/BenCoke12/FashionVerification/blob/main/idxdata/individuals/Image104.idx
Label dataset: https://github.com/BenCoke12/FashionVerification/blob/main/idxdata/individuals/Label104.idx
Epsilon: 0.01
Command:
vehicle compile --target MarabouQueries --outputFile queries/superclassQueries --specification vclspecs/fashionSuperclassRobustness.vcl --network classifier:onnxnetworks/fashion1l32n.onnx --dataset trainingImages:idxdata/individuals/Image104.idx --dataset trainingLabels:idxdata/individuals/Label104.idx --parameter epsilon:0.01The text was updated successfully, but these errors were encountered: