Singh, R., Gulwani, S. and Rajamani, S. (2021) “Automatically Generating Algebra Problems”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 1620-1628. doi: 10.1609/aaai.v26i1.8341.