面向初学者的大语言模型（去）形式化与自然论证练习应用
Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
EUF Flensburg（弗伦斯堡欧洲大学）；Institut für Mathematik Europa-Universität Flensburg（弗伦斯堡欧洲大学数学研究所）
AI总结：
本研究开发了两个基于大语言模型的自动批改系统，可分别用于逻辑形式化互译练习与自然论证写作练习，助力初学者相关能力训练。
摘要：
我们介绍了两个正在开发中的系统，二者均借助大语言模型实现自动批改：一是命题逻辑与一阶谓词逻辑语言和自然语言之间互译的练习，二是非数学场景下用自然语言撰写简单论证的练习。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
