Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
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