Christakopoulou, K.; Kalai, A. Glass-Box Program Synthesis: A Machine Learning Approach. AAAI 2018, 32.