MioGatto: A Math Identifier-Oriented Grounding Annotation Tool

EasyChair Preprint 6209

Abstract

We present a new annotation tool, called MioGatto, to efficiently build large corpora for grounding math formulae. While in documents in science, technology, engineering, and mathematics, math identifiers can be used in multiple meanings in a single document, corpora with annotated coreference relations between identifiers are crucial for the grounding task. Using MioGatto, annotators can produce a list of math concepts for each document, associate one of the math concepts with each occurrence of math identifiers, and annotate the text span that is the source for grounding. In general, manual annotation of coreference relations is a very tough task, but this tool is specialized for building grounding corpora and can annotate them more efficiently than existing general-purpose annotation tools. The tool can be obtained from https://github.com/wtsnjp/MioGatto.

Keyphrases: Grounding of formulae, Mathematical Language Processing, Natural Language Processing, annotation tool, coreference resolution

@booklet{EasyChair:6209,
  author    = {Takuto Asakura and Yusuke Miyao and Akiko Aizawa and Michael Kohlhase},
  title     = {MioGatto: A Math Identifier-Oriented Grounding Annotation Tool},
  howpublished = {EasyChair Preprint 6209},
  year      = {EasyChair, 2021}}