You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
393 B
393 B
Computer Education
- [📜](A framework for automated generation of questions across formal domains.pdf) [A Framework for Automated Generation of Questions Across Formal Domains](https://github.com/papers-we-love/papers-we-love/blob/master/computer_education/A framework for automated generation of questions across formal domains.pdf) by Rahul Singhal, Martin Henz, and Shubham Goyal