JSAI2023

Presentation information

General Session

General Session » GS-5 Language media processing

[1E3-GS-6] Language media processing

Tue. Jun 6, 2023 1:00 PM - 2:40 PM Room E (A2)

座長:大葉 大輔(東京大学) [オンライン]

1:00 PM - 1:20 PM

[1E3-GS-6-01] Predicting the Types of Formulas in a Mathematical Problem Text

〇Akira Noguchi1, Shunsuke Toumura1, Runa Yoshida1, Takuya Matsuzaki1, Makoto Fujiwara1 (1. Tokyo University of Science)

Keywords:mathematical formula, type theory, neural language model

We present a system that predicts the types of formulas in a math text using a neural language model and type inference. Firstly, we enumerate possible types of a formula with type inference. Since a formula generally has multiple interpretations, we cannot fully determine its type without the context. Secondly, we input the formulas and the context into a neural language model and predict their types with certainty scores. Finally, we select the type which obtained the highest score for each formula. Experimental results on a math problem dataset show that, unfortunately, the accuracy of the prediction deteriorates when we combine symbolic type inference with statistical prediction.

Authentication for paper PDF access

A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.

Password