MioGatto: A Math Identifier-oriented Grounding Annotation Tool
Asakura T, Miyao Y, Aizawa A, Kohlhase M (2022)
Publication Language: English
Publication Type: Conference contribution
Publication year: 2022
Publisher: CEUR-WS
Series: CEUR Workshop Proceedings
Book Volume: 3377
Conference Proceedings Title: Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021)
Event location: Virtual, Online
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.
Authors with CRIS profile
Involved external institutions
Japan (JP)How to cite
APA:
Asakura, T., Miyao, Y., Aizawa, A., & Kohlhase, M. (2022). MioGatto: A Math Identifier-oriented Grounding Annotation Tool. In Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen (Eds.), Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021). Virtual, Online, RO: CEUR-WS.
MLA:
Asakura, Takuto, et al. "MioGatto: A Math Identifier-oriented Grounding Annotation Tool." Proceedings of the Joint of the 5th Workshop on Formal Mathematics for Mathematicians, FMM 2019, 2nd Workshop on Formal Verification of Physical Systems, FVPS 2021, 13th Workshop on Mathematical User Interaction, MathUI 2021, 2021 Workshop on Natural Formal Mathematics, NatFoM 2021, and 31st OpenMath Workshops, OM 2021 Doctoral Program and Work in Progress at the 14th Conference on Intelligent Computer Mathematics, CICM-WS 2021, Virtual, Online Ed. Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen, CEUR-WS, 2022.
BibTeX: Download