使用大型语言模型进行形式化 / 非形式化及自然论证练习，面向初学者（英文版）

英文标题：Using large language models for (de-)formalization and natural argumentation exercises for beginner's students中文摘要：使用文本 - Davinci-003 大型语言模型，自动纠正转换自然语言和命题逻辑、一阶谓词逻辑语言间翻译练习，以及在非数学场景下写作简单论证的练习。英文摘要：We describe two systems that use text-davinci-003, a large language model,for the automatized correction of (i) exercises in translating back and forthbetween natural language and the languages of propositional logic andfirst-order predicate logic and (ii) exercises in writing simple arguments inna