Closed YuhuiMa closed 2 years ago
Hi, we are working on making the dataset public, and we will update the webpage accordingly. We hope this to happen within a month or so. We are not affiliated with the Dundee group I am afraid, so I cannot comment on the data that they have used.
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Sunday, May 23rd, 2021 at 09:52, Yuhui Ma @.***> wrote:
Hi, you say that you plan to make the annotated dataset public in the paper. How to achieve the dataset at http://vampire.computing.dundee.ac.uk? I haven't seen where to download the dataset.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.
Closing: will update as soon as data is available.
Hi, you say that you plan to make the annotated dataset public in the paper. How to achieve the dataset at http://vampire.computing.dundee.ac.uk? I haven't seen where to download the dataset.