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

arXiv150

Multi-LogiEval

逻辑推理

自然语言处理

该数据集是一个包含多步骤逻辑推理的综合评估集，涵盖了不同推理规则和推理深度，涉及三种逻辑类型：命题逻辑、一阶逻辑和非单调逻辑。此外，该数据集包含了超过30条推理规则，并允许在零样本和三样本设置下评估各种大型语言模型。规模上，数据集拥有超过60种推理规则的组合。任务方面，该数据集旨在通过二分类来评估逻辑推理能力。

arXiv370

Metamath-qwen2-math

数学问题求解

逻辑推理

该数据集包含了大约90万个数学问题，每个问题都附有解题思路（Chain-of-Thought，简称CoT）的解决方案，这些问题来源于多个渠道，包括MetaMathQA和NuminaMath-CoT。此外，该数据集还融入了多样化的非合成数据，并包含了一个难度级别模型，以便于问题的选择。规模上，数据集涵盖了90万道问题，任务重点在于长链式解题思路推理。

arXiv160

Syllogism Data

资源简介：

相关数据集