TY - RPRT TI - Logical Modelling in CS Education: Bridging the Natural Language Gap AU - Tristan Kneisel AU - Fabian Vehlken AU - Thomas Zeume PY - 2025 UR - https://arxiv.org/abs/2504.21384 ID - 2504.21384 ER -