Automatically generating algebra problems. In: (2012)

by R Singh, S Gulwani, S Rajamani