Singh, R.; Gulwani, S.; Rajamani, S. Automatically Generating Algebra Problems. AAAI 2021, 26, 1620-1628.