Using large language models for (de-)formalization and natural argumentation exercises for beginner's students

04/12/2023

∙

by   Merlin Carl, et al.

∙

0

∙

share

We describe two systems that use text-davinci-003, a large language model, for the automatized correction of (i) exercises in translating back and forth between natural language and the languages of propositional logic and first-order predicate logic and (ii) exercises in writing simple arguments in natural language in non-mathematical scenarios.