2 papers
cs.LO2022
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…
stat.ME2021
A conditional independence test for causality in econometrics
Jaime Sevilla, Alexandra Mayn
The Y-test is a useful tool for detecting missing confounders in the context of a multivariate regression.However, it is rarely used in practice since it requires identifying multi…