10 citations · 82 across the 40 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2023★ 1 cited
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.CL2023★ 1 cited
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…