发布 HOList 数据集, 应用在 数学定理证明、逻辑推理 领域

本次发布的数据集 HOList, 该数据集名为HOList，包含29,465个定理及其证明，其中以“核心”和“复杂”数据集为重点，涵盖18,943个定理、637个定义以及603,950个证明步骤。该数据集涉及数学的多个领域，如集合论、算术、线性代数、拓扑学以及多变量复分析等。数据集使用S-表达式来表示陈述，并在定理上明确划分了训练/验证/测试数据。在“核心”和“复杂”数据集中，共包含18,943个定理。此外，该数据集的任务包括逻辑推理，涵盖了类型推断以及预测定理中缺失的假设。

查看HOList

关于 , 国庆学校是一所位于中国的教育机构，专注于提供基础教育服务。学校致力于培养学生的综合素质，注重学术与品德的全面发展。

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