about
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding (arxiv.org)
1 point by ArtWomb on May 5, 2021 | hide | past | pdf | discuss on HN

In plain words: This model learns math by reading formulas alongside the sentences around them and by filling in missing pieces of each formula's operator tree, a diagram showing how its parts combine. It beat the best earlier methods on math search, topic sorting, and headline writing.

Abstract

Large-scale pre-trained models like BERT, have obtained a great success in various Natural Language Processing (NLP) tasks, while it is still a challenge to adapt them to the math-related tasks. Current pre-trained models neglect the structural features and the semantic correspondence between formula and its context. To address these issues, we propose a novel pre-trained model, namely \textbf{MathBERT}, which is jointly trained with mathematical formulas and their corresponding contexts. In addition, in order to further capture the semantic-level structural features of formulas, a new pre-training task is designed to predict the masked formula substructures extracted from the Operator Tree (OPT), which is the semantic structural representation of formulas. We conduct various experiments on three downstream tasks to evaluate the performance of MathBERT, including mathematical information retrieval, formula topic classification and formula headline generation. Experimental results demonstrate that MathBERT significantly outperforms existing methods on all those three tasks. Moreover, we qualitatively show that this pre-trained model effectively captures the semantic-level structural information of formulas. To the best of our knowledge, MathBERT is the first pre-trained model for mathematical formula understanding.

Shuai Peng, Ke Yuan, Liangcai Gao, Zhi Tang
arXiv:2105.00377 · cs.CL, cs.AI · submitted May 2, 2021
abstract · pdf · html

add comment on HN