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

要約

現在開発中の 2 つのシステムについて説明します。このシステムは、(i) 自然言語と命題論理および一次述語論理の言語の間で相互に翻訳する演習と、(ii) 単純な引数を記述する演習の自動修正に大規模な言語モデルを使用します。
非数学的なシナリオで自然言語で。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google