SSEmb: 一种结合结构和语义嵌入的数学公式检索框架.pdfVIP

SSEmb:一种结合结构和语义嵌入的数学公

式检索框架

RuyinLiXiaoyuChen∗

SchoolofMathematicalSciences,SchoolofMathematicalSciences,

BeihangUniversityBeihangUniversity

Beijing,ChinaBeijing,China

liruyin@chenxiaoyu@

摘要CCSConcepts

本公式检索是数学信息检索中的一个重要主题。我们•Informationsystems→Retrievalmodels.

译提出了SSEmb，一个能够捕捉数学公式的结构和语

中义特征的新颖嵌入框架。在结构上，我们采用图对比Keywords

2学习来编码表示为操作符图的公式。为了增强这些数学信息检索，公式检索，图对比学习，图数据增强

v公式图的结构多样性同时保持其数学有效性，我们通

2

6过替换策略引入了一种新颖的图数据扩增方法。在语

1

4义上，我们使用Sentence-BERT来编码公式的周围文1介绍

0.本。最后，对于每个查询及其候选者，分别计算结构

8和语义相似性，然后通过加权方案融合这些相似度。在上下文化的ARQMath-3公式检索任务[12]中，来自

0

5在ARQMath-3公式检索任务中，SSEmb在P’@10和社区问答（CQA）帖子的公式用作查询以从帖子语料

2nDCG’@10指标上比现有的基于嵌入的方法高出超过库中检索相关公式。此任务对于数学信息检索（MIR）

:

v

i5个百分点。此外，SSEmb提升了其他方法的所有运至关重要，因为它帮助用户探索公式的含义、推导及

x

r行性能，并且当与Approach0结合时实现了最先进的其应用，支持解决问题、概念学习和跨域数学推理等

a

结果。下游任务。然而，结构高度相似的公式可能属于具有

不同意义的不同领域，而结构上不相似的公式可以包

∗CorrespondingAuthor含语义相关的术语，提供有用的数学见解。因此，公式

检索的关键挑战在于检索出具有数学意义的信息，这

Permissiontomakedigitalorhardcopiesofallorpartofthisworkforpersonal

orclassroomuseisgrantedwithoutfeeprovidedthatcopiesarenotmadeor不仅需要基于结构相似性来评估相关性，还需要根据

distributedforprofitorcommercialadvantageandthatcopiesbearthisnotice周围文本提供的语义线索进行评估。

andthefullcitationonthefirstpage.Copyrightsforcompon