diff --git a/computer_education/A framework for automated generation of questions across formal domains.pdf b/computer_education/A framework for automated generation of questions across formal domains.pdf new file mode 100644 index 0000000..65dd2ce Binary files /dev/null and b/computer_education/A framework for automated generation of questions across formal domains.pdf differ