华东师范大学 发布 LeanComb 数据集, 应用在 自动化定理证明、组合数学 领域

华东师范大学 本次发布的数据集 LeanComb, LeanComb是一个基于Lean的组合恒等式定理证明基准数据集，由华东师范大学、河南大学和中国科学院的研究人员构建。该数据集从经典组合数学文献中选取组合恒等式，手工转化为Lean中的形式化定义和定理，包括它们的陈述和证明。数据集分为训练集和测试集，涵盖了一系列组合技巧和数学领域，旨在为自动化定理证明工具的性能评估提供严格的验证和形式化集合。

查看LeanComb

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