leanprover-community 发布 Mathematics in Lean (MIL) 数据集, 应用在 数学教育、证明优化 领域

leanprover-community 本次发布的数据集 Mathematics in Lean (MIL), 该数据集收录了常见本科层次习题的教学解决方案，其中包括了许多可读性强但过于冗长且效率不高的证明过程。此外，该数据集还包含了集合论、初等数论、群论、拓扑学、微分学和积分与测度理论等领域的习题解答。这些习题的难度属于本科层次，任务是对证明过程进行优化和重写。

查看Mathematics in Lean (MIL)

关于 leanprover-community , -

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。