法国里尔大学 发布 TPTP axiom library 数据集, 应用在 数学推理、定理证明 领域

法国里尔大学 本次发布的数据集 TPTP axiom library, 该数据集是TPTP公理库，包含大量的公理，用于生成数学推理任务。数据集通过饱和引擎E-prover生成，保证了所有定理的数学有效性。数据集被用于构建三个难度可控的挑战：蕴涵验证、前提选择和证明重构。数据集的访问地址为https://github.com/sileod/reasoning_core。

查看TPTP axiom library

README 内容： 

关于 法国里尔大学 , 法国里尔大学是位于法国北部里尔市的一所综合性大学，是法国高等教育部直属的公立大学，提供多学科的教育和研究项目。_simple

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