The IsarStep dataset and our HAT implementation are available from the following link:
https://drive.google.com/file/d/1y5T4zZO2VtbFu6qqdmfQpxCz8umTMvxq/view?usp=sharing

Our test suite can be accessed from the link below:
https://drive.google.com/file/d/1QUKC3RzzvZ5O9-VkgXx3h37heCq8OPPC/view?usp=sharing