Scalable Verification of Quantized Neural Networks (Technical Report)

Open in new window