Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval
Not on the map. Why?
Abstract (arXiv)
With the recent success of dense retrieval methods based on bi-encoders, studies have applied this approach to various interesting downstream retrieval tasks with good efficiency and in-domain effectiveness. Recently, we have also seen the presence of dense retrieval models in Math Information Retrieval (MIR) tasks, but the most effective systems remain classic retrieval methods that consider hand-crafted structure features. In this work, we try to combine the best of both worlds: a well-defined structure search method for effective formula search and efficient bi-encoder dense retrieval models to capture contextual similarities. Specifically, we have evaluated two representative bi-encoder models for token-level and passage-level dense retrieval on recent MIR tasks. Our results show that bi-encoder models are highly complementary to existing structure search methods, and we are able to advance the state-of-the-art on MIR datasets.
Key facts. Cited by 9 papers in the map (data through 14 Oct 2026). First posted on arXiv 21 Mar 2022.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 2; 2023: 3; 2024: 2; 2025: 2.
9 papers.
- 2022PLAID: An Efficient Engine for Late Interaction Retrievalcited by 101
- 2024A Semantic Search Engine for Mathlib4cited by 31
- 2023A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformerscited by 15
- 2023DataFinder: Scientific Dataset Recommendation from Natural Language Descriptionscited by 15
- 2025Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalizationcited by 12
- 2022A Survey in Mathematical Language Processingcited by 9
- 2025MIRB: Mathematical Information Retrieval Benchmarkcited by 6
- 2023Controlling Equational Reasoning in Large Language Models with Prompt Interventionscited by 1
- 2024Fuzzy Norm-Explicit Product Quantization for Recommender Systemscited by 0
- 2025Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization10 Jul 2025
- 2025MIRB: Mathematical Information Retrieval Benchmark21 May 2025
- 2024Fuzzy Norm-Explicit Product Quantization for Recommender Systems8 Dec 2024
- 2024A Semantic Search Engine for Mathlib420 Mar 2024
- 2023Controlling Equational Reasoning in Large Language Models with Prompt Interventions19 Jul 2023
- 2023DataFinder: Scientific Dataset Recommendation from Natural Language Descriptions26 May 2023
- 2023A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers21 May 2023
- 2022A Survey in Mathematical Language Processing30 May 2022
- 2022PLAID: An Efficient Engine for Late Interaction Retrieval19 May 2022