多伦多大学 发布 INT 数据集, 应用在 自动定理证明、机器学习 领域

多伦多大学 本次发布的数据集 INT, INT数据集是一个专为评估定理证明代理泛化能力而设计的基准。它由一个定理生成器支持，该生成器能够产生理论上无限数量的定理和证明，特别适用于测试代理在面对训练时未见过的定理时的表现。INT数据集允许调整问题分布的六个维度，以便深入探究自动定理证明中的多种泛化挑战。此外，INT还提供了一个快速的定理证明环境，支持基于序列和图形的接口，便于进行基于学习的研究。

查看INT

README 内容： 

关于 多伦多大学 , 多伦多大学（University of Toronto）是加拿大的一所顶尖公立研究型大学，位于安大略省多伦多市。该校成立于1827年，是加拿大最古老的高等教育机构之一，也是全球知名的学术和研究机构，尤其在医学、工程、社会科学和自然科学等领域享有盛誉。

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