R. Singh, S. Gulwani, and S. Rajamani, “Automatically Generating Algebra Problems”, AAAI, vol. 26, no. 1, pp. 1620-1628, Sep. 2021.