1. Ahmed, U.Z., et al.: Synthesizing tasks for block-based programming. In: NeurIPS (2020)
2. Ahmed, U.Z., Gulwani, S., Karkare, A.: Automatically generating problems and solutions for natural deduction. In: IJCAI (2013)
3. Akram, B., et al.: Automated assessment of computer science competencies from student programs with gaussian process regression. In: EDM (2020)
4. Alvin, C., Gulwani, S., Majumdar, R., Mukhopadhyay, S.: Synthesis of geometry proof problems. In: AAAI (2014)
5. Bunel, R., Hausknecht, M.J., Devlin, J., Singh, R., Kohli, P.: Leveraging grammar and reinforcement learning for neural program synthesis. In: ICLR (2018)