SSEmb, which fuses Operator Graph contrastive embeddings with Sentence-BERT text embeddings, reports state-of-the-art contextualized formula retrieval on ARQMath-3.
Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
While neural network approaches are achieving breakthrough performance in the natural language related fields, there have been few similar attempts at mathematical language related tasks. In this study, we explore the potential of applying neural representation techniques to Mathematical Information Retrieval (MIR) tasks. In more detail, we first briefly analyze the characteristic differences between natural language and mathematical language. Then we design a "symbol2vec" method to learn the vector representations of formula symbols (numbers, variables, operators, functions, etc.) Finally, we propose a "formula2vec" based MIR approach and evaluate its performance. Preliminary experiment results show that there is a promising potential for applying formula embedding models to mathematical language representation and MIR tasks.
citation-role summary
background 1
citation-polarity summary
fields
cs.IR 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
SSEmb: A Joint Structural and Semantic Embedding Framework for Mathematical Formula Retrieval
SSEmb, which fuses Operator Graph contrastive embeddings with Sentence-BERT text embeddings, reports state-of-the-art contextualized formula retrieval on ARQMath-3.