大言語モデルを使用した初心者学生向けの(非)形式化と自然言語議論演習

大言語モデルを使用して、(1)自然言語と命題論理・述語論理の言語の間の相互変換の演習と(2)非数学的な状況における簡単な議論の自然言語での記述の演習を自動的に修正するシステムを開発している。