paper-with-me

Papers

Towards Grounding of Formulae

2020-11-01 · EMNLP (sdp) 2020 11 · Takuto Asakura, André Greiner-Petter, Akiko Aizawa, Yusuke Miyao

A large amount of scientific knowledge is represented within mixed forms of natural language texts and mathematical formulae. Therefore, a collaboration of natural language processing and formula analyses, so-called mathematical language processing, is necessary to enable computers to understand and retrieve information from the documents. However, as we will show in this project, a mathematical notation can change its meaning even within the scope of a single paragraph. This flexibility makes it difficult to extract the exact meaning of a mathematical formula. In this project, we will propose a new task direction for grounding mathematical formulae. Particularly, we are addressing the widespread misconception of various research projects in mathematical information retrieval, which presume that mathematical notations have a fixed meaning within a single document. We manually annotated a long scientific paper to illustrate the task concept. Our high inter-annotator agreement shows that the task is well understood for humans. Our results indicate that it is worthwhile to grow the techniques for the proposed task to contribute to the further progress of mathematical language processing.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Tasks

Information RetrievalRetrieval

Similar Papers 제목 키워드 기반

Building Dataset for Grounding of Formulae — Annotating Coreference Relations Among Math Identifiers

2022-06-01 · LREC 2022 6 · Takuto Asakura, Yusuke Miyao, Akiko Aizawa

Grounding the meaning of each symbol in math formulae is important for automated understanding of scientific documents. Generally speaking, the meanings of math symbols are not necessarily constant, and the same symbol i…

Math

Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization

2026-02-10 · Matteo Pannacci, Andrea Fanti, Elena Umili, Roberto Capobianco arxiv

In this work we address the problem of training a Reinforcement Learning agent to follow multiple temporally-extended instructions expressed in Linear Temporal Logic in sub-symbolic environments. Previous multi-task work…

Zero-shot GeneralizationReinforcement Learning

Mathematical Formulae in Wikimedia Projects 2020

2020-03-20 · Moritz Schubotz, André Greiner-Petter, Norman Meuschke, Olaf Teschke 외

This poster summarizes our contributions to Wikimedia's processing pipeline for mathematical formulae. We describe how we have supported the transition from rendering formulae as course-grained PNG images in 2001 to prov…

The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search

2015-07-22 · Zanibbi Richard, Davila Kenny, Kane Andrew, Tompa Frank

With the ever-increasing quantity and variety of data worldwide, the Web has become a rich repository of mathematical formulae. This necessitates the creation of robust and scalable systems for Mathematical Information R…

Information RetrievalMathRetrieval

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

2018-04-13 · Schubotz Moritz, Greiner-Petter Andre, Scharpf Philipp, Meuschke Norman 외

Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scie…

Information RetrievalRetrieval