Automatically Generating Problems and Solutions for Natural Deduction.

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

Browse the full IJCAI paper archive.