Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:19:59.286043Z
Paper Citation Record · LEDGER
MIRB: Mathematical Information Retrieval Benchmark
As of 20 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T22:37:58.145219Z
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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+00:00.