INT
收藏arXiv2021-04-04 更新2024-06-21 收录
下载链接：
https://github.com/albertqjiang/INT
下载链接
链接失效反馈官方服务：
资源简介：
INT数据集是一个专为评估定理证明代理泛化能力而设计的基准。它由一个定理生成器支持，该生成器能够产生理论上无限数量的定理和证明，特别适用于测试代理在面对训练时未见过的定理时的表现。INT数据集允许调整问题分布的六个维度，以便深入探究自动定理证明中的多种泛化挑战。此外，INT还提供了一个快速的定理证明环境，支持基于序列和图形的接口，便于进行基于学习的研究。
提供机构：
多伦多大学 & 向量研究所
创建时间：
2020-07-07
