Alvin, C., Gulwani, S., Majumdar, R., & Mukhopadhyay, S. (2017). Synthesis of Solutions for Shaded Area Geometry Problems. In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference (pp. 14-19). AAAI.