papers-we-love_papers-we-love/Artificial Intelligence in Education/A framework for automated generation of questions across formal domains.pdf