Yuan He, Zhangdie Yuan, Jiaoyan Chen, Ian Horrocks: Datasets for the Hierarchy Transformer Encoders (HiTs). Zenodo 2024