Toward Scalable Verification for Safety-Critical Deep Networks
Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations