8 citations · 31 across the 12 of their papers we have counts for
4 papers · 1 filter
Next-Step Hint Generation for Introductory Programming Using Large Language Models
Lianne Roest, Hieke Keuning, Johan Jeuring
Large Language Models possess skills such as answering questions, writing essays or solving programming exercises. Since these models are easily accessible, researchers have invest…
A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren, Johan Jeuring
LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale…
Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren, Johan Jeuring
A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional pr…
Properties of Exercise Strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Mathematical learning environments give domain-specific and immediate feedback to students solving a mathematical exercise. Based on a language for specifying strategies, we have d…