A semantic-based deep learning approach for mathematical expression retrieval

TL;DR

This paper presents a deep learning method using a deep recurrent neural network to extract semantic features from mathematical expressions for improved retrieval based on their nested complexity, outperforming traditional syntactic methods.

Contribution

The study introduces a novel semantic feature extraction approach using DRNNs for ME retrieval, considering expression complexity, and demonstrates its effectiveness on a real dataset.

Findings

Semantic features improve retrieval accuracy.

Deep neural network captures nested complexity of MEs.

Method outperforms traditional string matching techniques.

Abstract

Mathematical expressions (MEs) have complex two-dimensional structures in which symbols can be present at any nested depth like superscripts, subscripts, above, below etc. As MEs are represented using LaTeX format, several text retrieval methods based on string matching, vector space models etc., have also been applied for ME retrieval problem in the literature. As these methods are based on syntactic similarity, recently deep learning approaches based on embedding have been used for semantic similarity. In our present work, we have focused on the retrieval of mathematical expressions using deep learning approaches. In our approach, semantic features are extracted from the MEs using a deep recurrent neural network (DRNN) and these features have been used for matching and retrieval. We have trained the network for a classification task which determines the complexity of an ME. ME complexity has been quantified in terms of its nested depth. Based on the nested depth, we have considered three complexity classes of MEs: Simple, Medium and Complex. After training the network, outputs just before the the final fully connected layer are extracted for all the MEs. These outputs form the semantic features of MEs and are stored in a database. For a given ME query, its semantic features are computed using the trained DRNN and matched against the semantic feature database. Matching is performed based on the standard euclidean distance and top 'k' nearest matches are retrieved, where 'k' is a user-defined parameter. Our approach has been illustrated on a database of 829 MEs.