1 citations · 2 across the 7 of their papers we have counts for
3 papers · 1 filter
Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs
Lilian Killich, Marko Schmellenkamp, Fabian Vehlken +1
Modelling with mathematical formalisms like logical formulas, mathematical equations, or regular expressions is an important yet challenging task for students of computer science a…
Cross-Course Generalizability of SRL-Aligned Predictive Models Using Digital Learning Traces
Jakob Schwerter, Loreen Sabel, Judith Bose +5
STEM dropout rates remain high at universities, particularly in computer science programs with theory-intensive courses. Digital learning environments now capture rich behavioral d…
NILE: Formalizing Natural-Language Descriptions of Formal Languages
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken +1
This paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is mot…