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）在非数学场景下用自然语言撰写简单论证的练习。