Improving the Diproche CNL through Autoformalization via Large Language Models

要約

Diproche システムは、ドイツ語の管理された断片で書かれたテキストの自動校正チェッカーであり、学生に初めて校正を紹介するクラスでの教育用途向けに設計されています。
システムの最初のバージョンでは、Prolog 形式化ルーチンが記述された制御された自然言語が使用されていました。
この論文では、Diproche のコンテキストで大規模な言語モデルの自動形式化を促す可能性を調査し、有望な最初の結果を示します。

要約(オリジナル)

The Diproche system is an automated proof checker for texts written in a controlled fragment of German, designed for didactical applications in classes introducing students to proofs for the first time. The first version of the system used a controlled natural language for which a Prolog formalization routine was written. In this paper, we explore the possibility of prompting large language models for autoformalization in the context of Diproche, with encouraging first results.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google