2 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…