3 papers
cs.FL2026
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…
cs.LO2025
Logical Modelling in CS Education: Bridging the Natural Language Gap
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
An important learning objective for computer science students is to learn how to formalize descriptions of real world scenarios in order to subsequently solve real world challenges…
cs.CY2024
Tool-Assisted Learning of Computational Reductions
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp +2
Computational reductions are an important and powerful concept in computer science. However, they are difficult for many students to grasp. In this paper, we outline a concept for…