Learning In Practice: Reasoning About Quantization. - Annie Cherkaev; Waiming Tai; Jeff M. Phillips; Vivek Srikumar (CoRR, 2019)