发布 Connection Tableau Proofs from Mizar Mathematical Library 数据集, 应用在 数学证明、机器学习 领域

本次发布的数据集 Connection Tableau Proofs from Mizar Mathematical Library, 该数据集包含了13,822个由Mizar数学库生成的连接证明，这些证明被翻译成了TPTP语言，并被用于训练递归神经网络（RNNs），以指导连接表格证明计算中的子句选择。该数据集被分为训练集、验证集和测试集，分别占比为0.6、0.1和0.3。规模上，共有13,822个证明和567,273个训练对。所承担的任务是证明计算中的子句选择。

查看Connection Tableau Proofs from Mizar Mathematical Library

README 内容： 

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