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.

翻译：我们描述了两个系统，它们使用text-davinci-003，一个大型语言模型，自动纠正以下练习：（i）在自然语言和命题逻辑及一阶谓词逻辑语言之间来回翻译；（ii）在非数学情境下，以自然语言写出简单的论证。