Scalable Verification of Quantized Neural Networks (Technical Report)