Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students

arXiv:2304.06186v2 Announce Type: replace
Abstract: 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 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.

abstract arxiv beginner cs.cl language language models languages large language large language models logic math.lo natural natural language students systems type writing