Quantitative Programming by Examples. - Sumit Gulwani; Kunal Pathak; Arjun Radhakrishna; Ashish Tiwari 001; Abhishek Udupa (CoRR, 2019)