Programming by Rewards. - Natarajan, Nagarajan; Karthikeyan, Ajaykrishna; Jain, Prateek; Radicek, Ivan; Rajamani, Sriram K.; Gulwani, Sumit; Gehrke, Johannes (CoRR, 2020)