Kinship
收藏arXiv2025-09-30 收录
下载链接：
https://archive.ics.uci.edu/ml/datasets/kinship
下载链接
链接失效反馈官方服务：
资源简介：
该数据集较小，专为评估NTP 2.0模型而设计。此外，NTP 2.0获得的结果与原始NTP进行了比较。这项任务属于神经定理证明领域。
This dataset is relatively small and purpose-built for evaluating the NTP 2.0 model. Additionally, the results obtained from NTP 2.0 are compared against those of the original NTP. This task falls under the domain of neural theorem proving.
