Evaluating Automatic Difficulty Estimation of Logic Formalization Exercises

Alexandra Mayn, Kees van Deemter

Teaching logic effectively requires an understanding of the factors which cause logic students to struggle. Formalization exercises, which require the student to produce a formula…