摘要
随着基于双编码器的密集检索方法近期取得的成功，研究者已将其应用于各种有趣的下游检索任务中，展现出良好的效率和领域内效果。最近，我们还看到密集检索模型在数学信息检索（MIR）任务中的应用，但最有效的系统仍然是考虑手工设计结构特征的经典检索方法。在这项工作中，我们尝试结合两者的优点：一种定义明确的结构搜索方法以实现高效的公式搜索，以及高效的双编码器密集检索模型来捕捉上下文相似性。具体而言，我们在最近的MIR任务中评估了两个具有代表性的双编码器模型，分别用于词级和段落级的密集检索。实验结果表明，双编码器模型与现有的结构搜索方法高度互补，并且我们能够在MIR数据集上推进现有技术水平。