Showing cs.CLShow all
2 papers · 1 filter
cs.CL2024
Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
Merlin Carl
We describe two systems currently being developed that use large language models for the automatized correction of (i) exercises in translating back and forth between natural langu…
cs.CL2024
Improving the Diproche CNL through Autoformalization via Large Language Models
Merlin Carl
The Diproche system is an automated proof checker for texts written in a controlled fragment of German, designed for didactical applications in classes introducing students to proo…