Paper Citation Record · LEDGER

MIRB: Mathematical Information Retrieval Benchmark

As of 10 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 3 inbound Pith citation observations for arXiv:2505.15585.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.15585 v1

Coverage vector

measured 54 of 54 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:19:59.286043Z

measured 57 of 57 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T22:37:58.145219Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-15T03:09:44.154653Z

Reference resolution

54 of 54 outbound references displayed

verified exact1
verified fuzzy40
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4f5ee523-911d-449e-9c17-78ed3d9a93c4 · outbound

This paper cites M3-Embedding: Multi-Linguality, Multi-Functionality, Multi-Granularity Text Embeddings Through Self- Knowledge Distillation.

MIRB: Mathematical Information Retrieval Benchmark M3-Embedding: Multi-Linguality, Multi-Functionality, Multi-Granularity Text Embeddings Through Self- Knowledge Distillation

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:06.955657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cbd34b46-e496-476c-a1b2-183068ba01f3 · outbound

This paper cites Mathematical information retrieval: A review.ACM Computing Surveys, 57(3):1–34, 2024.

MIRB: Mathematical Information Retrieval Benchmark Mathematical information retrieval: A review.ACM Computing Surveys, 57(3):1–34, 2024

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:06.727562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b8aeb335-0586-4710-9ee1-916d8bf4f76e · outbound

This paper cites The Lean 4 Theorem Prover and Programming Language.

MIRB: Mathematical Information Retrieval Benchmark The Lean 4 Theorem Prover and Programming Language

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:06.557933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ca2c489e-d020-4839-b98f-4e5a5aaad58f · outbound

This paper cites The Lean Theorem Prover (System Description).

MIRB: Mathematical Information Retrieval Benchmark The Lean Theorem Prover (System Description)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:06.403172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2634b842-3d98-4ce8-9bff-54679319958e · outbound

This paper cites Mmteb: Massive multilingual text embedding benchmark.arXiv preprint arXiv:2502.13595, 2025.

MIRB: Mathematical Information Retrieval Benchmark Mmteb: Massive multilingual text embedding benchmark.arXiv preprint arXiv:2502.13595, 2025

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:53.706392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85e0f3e2-cc8c-4c4c-beab-df54fb2fa4c9 · outbound

This paper cites A Semantic Search Engine for Mathlib4.

MIRB: Mathematical Information Retrieval Benchmark A Semantic Search Engine for Mathlib4

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:06.179144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 091a5040-212b-4b2a-aa42-7388280d6f18 · outbound

This paper cites The Math Retrieval System of ICST for NTCIR-12 MathIR Task.

MIRB: Mathematical Information Retrieval Benchmark The Math Retrieval System of ICST for NTCIR-12 MathIR Task

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:05.971799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 250943c5-2dec-400f-80bb-0e52f4bbdac5 · outbound

This paper cites Verspoor, and Timothy Baldwin.

MIRB: Mathematical Information Retrieval Benchmark Verspoor, and Timothy Baldwin

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:05.706426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5b681c11-9b81-408e-b496-307d4ef4ac6f · outbound

This paper cites CoSQA: 20,000+ Web Queries for Code Search and Question Answering.

MIRB: Mathematical Information Retrieval Benchmark CoSQA: 20,000+ Web Queries for Code Search and Question Answering

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:05.506880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d79d3976-efc8-4b30-837f-304985b0a209 · outbound

This paper cites CodeSearchNet Challenge: Evaluating the State of Semantic Code Search.

MIRB: Mathematical Information Retrieval Benchmark CodeSearchNet Challenge: Evaluating the State of Semantic Code Search

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:54.356557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de08d1a9-9d9b-44a4-a17a-2f431b9a3af3 · outbound

This paper cites HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.

MIRB: Mathematical Information Retrieval Benchmark HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:05.309346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0e6941d5-3139-4280-87e5-1b570e2f70f9 · outbound

This paper cites an unresolved cited work.

MIRB: Mathematical Information Retrieval Benchmark Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:20:05.118938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 80dfac8d-2732-439e-a074-e64526c5a820 · outbound

This paper cites ChemTEB: Chemical Text Embedding Benchmark, an Overview of Embedding Models Performance & Efficiency on a Specific Domain.

MIRB: Mathematical Information Retrieval Benchmark ChemTEB: Chemical Text Embedding Benchmark, an Overview of Embedding Models Performance & Efficiency on a Specific Domain

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:54.690593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d18549f7-f872-4f38-b528-ebfdce646b95 · outbound

This paper cites XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval.

MIRB: Mathematical Information Retrieval Benchmark XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.928854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 411ce2d7-72e5-4c44-920b-194c59a6ce89 · outbound

This paper cites NV-Embed: Improved Techniques for Training LLMs as Generalist Embedding Models.

MIRB: Mathematical Information Retrieval Benchmark NV-Embed: Improved Techniques for Training LLMs as Generalist Embedding Models

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.734441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7f8cb483-46f3-490e-9eb3-3e6108a7cbc8 · outbound

This paper cites Gecko: Versatile Text Embeddings Distilled from Large Language Models.

MIRB: Mathematical Information Retrieval Benchmark Gecko: Versatile Text Embeddings Distilled from Large Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:55.104704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 522079c7-d191-4956-8cfe-25b1865b781f · outbound

This paper cites CoIR: A Comprehensive Benchmark for Code Information Retrieval Models.

MIRB: Mathematical Information Retrieval Benchmark CoIR: A Comprehensive Benchmark for Code Information Retrieval Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:55.208020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f3a8473-dcd5-469b-8da2-2e245ece08f3 · outbound

This paper cites AoE: Angle-optimized Embeddings for Semantic Textual Similarity.

MIRB: Mathematical Information Retrieval Benchmark AoE: Angle-optimized Embeddings for Semantic Textual Similarity

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.572355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 634041c7-0219-48f9-bdf9-bce1a7b268fd · outbound

This paper cites Towards General Text Embeddings with Multi-stage Contrastive Learning.

MIRB: Mathematical Information Retrieval Benchmark Towards General Text Embeddings with Multi-stage Contrastive Learning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:55.420748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d0f3192-c852-4e67-921a-e622e5d9c94d · outbound

This paper cites Oard, and Richard Zanibbi.

MIRB: Mathematical Information Retrieval Benchmark Oard, and Richard Zanibbi

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.329058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d1c68c87-4764-46bb-a659-d4de542b480f · outbound

This paper cites Oard, and Anurag Agarwal.

MIRB: Mathematical Information Retrieval Benchmark Oard, and Anurag Agarwal

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.192966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1e76f88a-bfff-40c7-ab02-dcb240d3f288 · outbound

This paper cites SFR-Embedding-2: Advanced Text Embedding with Multi-stage Training, 2024.

MIRB: Mathematical Information Retrieval Benchmark SFR-Embedding-2: Advanced Text Embedding with Multi-stage Training, 2024

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:04.006783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4806c2a8-0281-4b98-a43b-727e0497e206 · outbound

This paper cites SFR- Embedding-Mistral:Enhance Text Retrieval with Transfer Learning.

MIRB: Mathematical Information Retrieval Benchmark SFR- Embedding-Mistral:Enhance Text Retrieval with Transfer Learning

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:03.800434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 20554604-decf-4d17-add9-078ae31f692f · outbound

This paper cites Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuci´nski, Piotr Miło´s, and Yuhuai Wu.

MIRB: Mathematical Information Retrieval Benchmark Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuci´nski, Piotr Miło´s, and Yuhuai Wu

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:03.590900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 18af573c-6496-484d-9119-3161efe2b892 · outbound

This paper cites Generative representational instruction tuning.

MIRB: Mathematical Information Retrieval Benchmark Generative representational instruction tuning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:56.130335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62bb62c6-ed95-4b37-8493-80a2cac5d5d1 · outbound

This paper cites MTEB: Massive Text Embedding Benchmark.

MIRB: Mathematical Information Retrieval Benchmark MTEB: Massive Text Embedding Benchmark

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:03.391100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f010d9d5-c98a-4a8b-bcc7-a608c73b199b · outbound

This paper cites Text and Code Embeddings by Contrastive Pre-Training.

MIRB: Mathematical Information Retrieval Benchmark Text and Code Embeddings by Contrastive Pre-Training

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:56.374852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b889815b-6ce4-4ae0-9217-48979f42235a · outbound

This paper cites Walker, S.

MIRB: Mathematical Information Retrieval Benchmark Walker, S

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:03.263743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f7bab992-c14b-49f3-80a2-d1f301ca5c3c · outbound

This paper cites The Probabilistic Relevance Framework: BM25 and Beyond.Found.

MIRB: Mathematical Information Retrieval Benchmark The Probabilistic Relevance Framework: BM25 and Beyond.Found

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:56.646034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddccdd3a-9fa9-4122-af80-aa966a5ab19c · outbound

This paper cites On information retrieval metrics designed for evaluation with incomplete relevance assessments.Information Retrieval, 11:447–470, 2008.

MIRB: Mathematical Information Retrieval Benchmark On information retrieval metrics designed for evaluation with incomplete relevance assessments.Information Retrieval, 11:447–470, 2008

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:03.101783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bdd23a09-30b1-4f8e-b9c3-50a95fedb583 · outbound

This paper cites Smith, Luke Zettlemoyer, and Tao Yu.

MIRB: Mathematical Information Retrieval Benchmark Smith, Luke Zettlemoyer, and Tao Yu

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.980943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 43cb528c-165e-4a0a-9228-9325413cb7c4 · outbound

This paper cites BRIGHT: A Realistic and Challenging Benchmark for Reasoning- Intensive Retrieval.

MIRB: Mathematical Information Retrieval Benchmark BRIGHT: A Realistic and Challenging Benchmark for Reasoning- Intensive Retrieval

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.787819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2d28a792-8713-4592-a223-841b99f875a8 · outbound

This paper cites MAIR: A Massive Benchmark for Evaluating Instructed Retrieval.

MIRB: Mathematical Information Retrieval Benchmark MAIR: A Massive Benchmark for Evaluating Instructed Retrieval

Reference 33

Resolution: verified exact; local_arxiv, observed 2026-08-07T15:19:59.530853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cc1bad57-1984-4864-892f-38aab5cfc109 · outbound

This paper cites BEIR: A Heterogeneous Benchmark for Zero-shot Evaluation of Information Retrieval Models.

MIRB: Mathematical Information Retrieval Benchmark BEIR: A Heterogeneous Benchmark for Zero-shot Evaluation of Information Retrieval Models

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.635433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 64becf1d-d950-43f7-bede-48772d4d885b · outbound

This paper cites Text Embeddings by Weakly-Supervised Contrastive Pre-training.

MIRB: Mathematical Information Retrieval Benchmark Text Embeddings by Weakly-Supervised Contrastive Pre-training

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:57.321578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7fabc00-1d61-4b77-881b-a556090255c3 · outbound

This paper cites Improving Text Embeddings with Large Language Models.

MIRB: Mathematical Information Retrieval Benchmark Improving Text Embeddings with Large Language Models

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.492376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 676163f1-3bf5-4387-bd2d-70b76c6c3e51 · outbound

This paper cites NaturalProofs: Mathematical Theorem Proving in Natural Language.

MIRB: Mathematical Information Retrieval Benchmark NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.365365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9b26d90c-3fa6-4cd8-90da-69f1de879690 · outbound

This paper cites Naturalprover: Grounded mathematical proof generation with language models.Advances in Neural Informa- tion Processing Systems, 35:4913–4927, 2022.

MIRB: Mathematical Information Retrieval Benchmark Naturalprover: Grounded mathematical proof generation with language models.Advances in Neural Informa- tion Processing Systems, 35:4913–4927, 2022

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.237287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ba3b5872-2e77-49e4-bfda-0950539c738f · outbound

This paper cites RAR-b: Reasoning as Retrieval Benchmark.

MIRB: Mathematical Information Retrieval Benchmark RAR-b: Reasoning as Retrieval Benchmark

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:57.719528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0144c539-4323-44f3-86aa-8cc7df4e4e5b · outbound

This paper cites C-Pack: Packed Resources For General Chinese Embeddings.

MIRB: Mathematical Information Retrieval Benchmark C-Pack: Packed Resources For General Chinese Embeddings

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:02.020382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f74beb2c-fbf7-4f46-93ba-0d3269b6bfe5 · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval- Augmented Language Models.

MIRB: Mathematical Information Retrieval Benchmark LeanDojo: Theorem Proving with Retrieval- Augmented Language Models

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.864425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0db3e97-c50a-424e-ae90-6a2dd3bbc1d2 · outbound

This paper cites NTCIR-12 MathIR Task Overview.

MIRB: Mathematical Information Retrieval Benchmark NTCIR-12 MathIR Task Overview

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.683930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7f0b140a-84d2-4a3c-b4ff-f0305542b295 · outbound

This paper cites Recognition and retrieval of mathematical expressions.

MIRB: Mathematical Information Retrieval Benchmark Recognition and retrieval of mathematical expressions

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.528813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ac505b30-4e78-46f0-8c6d-458732b133a1 · outbound

This paper cites Mathematical information retrieval: Search and question answering.Foundations and Trends® in Information Retrieval, 19(1-2):1– 190, 2025.

MIRB: Mathematical Information Retrieval Benchmark Mathematical information retrieval: Search and question answering.Foundations and Trends® in Information Retrieval, 19(1-2):1– 190, 2025

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.408246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 06d6ed53-4f45-4bee-a6b2-1c6a78c8b032 · outbound

This paper cites Oard, Anurag Agarwal, and Behrooz Mansouri.

MIRB: Mathematical Information Retrieval Benchmark Oard, Anurag Agarwal, and Behrooz Mansouri

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.242309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 32fbfe2a-8bc5-40dd-a567-fb83d9d917f2 · outbound

This paper cites One Blade for One Purpose: Advancing Math Information Retrieval using Hybrid Search.

MIRB: Mathematical Information Retrieval Benchmark One Blade for One Purpose: Advancing Math Information Retrieval using Hybrid Search

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:01.067785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c83f46c3-db05-480d-9658-e7d4501eea8b · outbound

This paper cites Lee Giles, and Richard Zanibbi.

MIRB: Mathematical Information Retrieval Benchmark Lee Giles, and Richard Zanibbi

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.877890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b07209d8-a79d-481d-8be8-6f848a427d94 · outbound

This paper cites Applying Structural and Dense Semantic Matching for the ARQMath Lab 2022, CLEF.

MIRB: Mathematical Information Retrieval Benchmark Applying Structural and Dense Semantic Matching for the ARQMath Lab 2022, CLEF

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.725752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6b671a0f-0a92-4437-a8f5-a0722cafd571 · outbound

This paper cites Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval.

MIRB: Mathematical Information Retrieval Benchmark Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.544339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 393ab0c1-1b17-44f4-85ed-9c71a9fcfc91 · outbound

This paper cites Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees.

MIRB: Mathematical Information Retrieval Benchmark Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.380201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9305b670-e80c-41db-96f3-abe54d260c40 · outbound

This paper cites LongEmbed: Extending Embedding Models for Long Context Retrieval.

MIRB: Mathematical Information Retrieval Benchmark LongEmbed: Extending Embedding Models for Long Context Retrieval

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.226730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 09a682c7-ba6d-4d20-aa46-945e6e5980e1 · outbound

This paper cites ’c list" and ys ::.

MIRB: Mathematical Information Retrieval Benchmark ’c list" and ys ::

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:19:59.893574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ec71d64f-90af-4298-9856-e8649c9720fe · outbound

This paper cites an unresolved cited work.

MIRB: Mathematical Information Retrieval Benchmark Unresolved cited work

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-07T15:19:54.261872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72574724-588b-4b94-84f3-47b544535de2 · outbound

This paper cites 14 A Dataset Examples In this section, we present examples of datasets from MIRB that are not included in the main text.

MIRB: Mathematical Information Retrieval Benchmark 14 A Dataset Examples In this section, we present examples of datasets from MIRB that are not included in the main text

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:20:00.075591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

Observation 1d7c870d-94fa-4930-ad64-44155acaa919 · inbound

Benchmarking Information Retrieval Models on Complex Retrieval Tasks cites this paper.

Benchmarking Information Retrieval Models on Complex Retrieval Tasks MIRB: Mathematical Information Retrieval Benchmark

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T22:37:58.145219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7802a168-6dc8-4f8b-afe0-d720213bac43 · inbound

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving cites this paper.

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving MIRB: Mathematical Information Retrieval Benchmark

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-14T18:32:34.160476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8b121b9c-beb1-4b7a-860b-7c0e67bf7732 · inbound

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving cites this paper.

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving MIRB: Mathematical Information Retrieval Benchmark

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-15T03:09:44.158973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.