Automatically Generating Problems and Solutions for Natural Deduction. (2013)

by U Z AHMED, S GULWANI, A KARKARE
Venue:In International Joint Conference on Artificial Intelligence