papers-we-love_papers-we-love/computer_education/A framework for automated generation of questions across formal domains.pdf