diff --git a/resources/argot-dataset-2021.md b/resources/argot-dataset-2021.md index e7dac686525c7d38d2081b2b3b769bff8ee92fcd..e920372ad6664fe174255bed9f9b53162962dedb 100644 --- a/resources/argot-dataset-2021.md +++ b/resources/argot-dataset-2021.md @@ -20,7 +20,6 @@ title: ArGoT 2021 - arXiv Glossary of Terms - [SIGMathLing members](/member/) only. Joining is free and mostly a legal checkmark on our end - all researchers welcome! ### Description - This is the first public release of the ArGoT dataset generated by the [Formal Abstracts](https://formalabstracts.github.io/) research group. ArGoT is a dataset of term-definition pairs automatically extracted from the arXiv mathematical papers. @@ -106,8 +105,7 @@ articles, the right of distribution was only given (or assumed) to arXiv itself. Part of the [Formal Abstracts](https://formalabstracts.github.io/) research group. Author: Luis Berlioz ### Appendix -**MathML formula example:** - +**Example of an entry in the database:** ```xml <article name="1407_005/1407.2218/1407.2218.xml" num="89"> <definition index="51">