要約
タイトル：大規模言語モデルの利用による初心者向け(de-)formalizationおよび自然な論証演習
要約：
– 大規模言語モデルのtext-davinci-003を使用する2つのシステムについて述べる
– システムは、(i) 自然言語と命題論理言語および一階述語論理言語の間で往復翻訳する練習及び(ii) 非数学的シナリオでの単純な論証を自然言語で書く練習の自動修正に使用される
– システムは、初心者向けに設計されている
要約(オリジナル)
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.
arxiv情報
| 著者 | Merlin Carl |
| 発行日 | 2023-04-12 23:05:02+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, OpenAI