Bayesian Knowledge Tracing (BKT) is a well-established model for formative assessment, with optimization typically using expectation maximization, conjugate gradient descent, or brute force search. However, one of the flaws of existing optimization techniques for BKT models is convergence to undesirable local minima that negatively impact…

The ability to properly evaluate one's own academic progress has long been considered a predictor of academic success. However, its distinctive role in the context of computational mathematics remains underexplored. Grounded in social cognitive theory, this study investigates the critical role of self-regulated learning (SRL) strategies in…

How do we teach and learn with our students about data literacy, at the same time as Biesta (2015) calls for an emphasis on 'subjectification' i.e. 'the coming into presence of unique individual beings'? (Good Education in an Age of Measurement: Ethics, Politics, Democracy. Routledge) Our response to these challenges and the datafication of higher…

How should a wide variety of educational activities be sequenced to maximize student learning? Although some experimental studies have addressed this question, educational data mining methods may be able to evaluate a wider range of possibilities and better handle many simultaneous sequencing constraints. We introduce Sequencing Constraint…