1 dataset found

Tags: Proof Extraction

Filter Results

  • arXiv dataset

    The dataset used in this paper is a collection of arXiv papers in English, filtered to include only those written in English, with LATEX source available, compilable on a modern...
You can also access this registry using the API (see API Docs).