# Computer Education

* :scroll: [A Framework for Automated Generation of Questions Across Formal Domains](framework-for-automated-generation-of-questions-across-formal-domains.pdf) by Rahul Singhal, Martin Henz, and Shubham Goyal