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

04/12/2023
by   Merlin Carl, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset