TPTP 发布 TPTPCD2 数据集, 应用在 定理证明、自动化评估 领域

TPTP 本次发布的数据集 TPTPCD2, 该数据集包含了196个在TPTP 7.5.0中的简化分离问题，排除了基于特定标准的一些问题。该数据集用于评估各种定理证明器，并包含了一份详细的统计文档。规模上，该数据集共有196个问题，任务是对自动化一阶定理证明进行评估。

查看TPTPCD2

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