{"as_of":"2026-08-08T15:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1ac3b7c5a4689e2b3e98b6a2969cd1be095f0d0527a2bca1c3652be27e4d858d","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:19:59.286043Z","state":"measured"},{"denominator":57,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":57,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T22:37:58.145219Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-15T03:09:44.154653Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15585","snapshot_observed_at":"2026-08-04T22:37:58.145219Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07253","last_updated":"2025-09-08T22:11:10Z","snapshot_observed_at":"2026-08-07T10:43:53.826911Z","submitted_at":"2025-09-08T22:11:10Z","title":"Benchmarking Information Retrieval Models on Complex Retrieval Tasks","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T22:37:58.145219Z"},"links":{"cited_paper":"/paper/2505.15585","citing_paper":"/paper/2509.07253"},"observation_digest":"sha256:f2cf13a5704fcf06327ff8bc6605814fd571a86e8fb3e8cb68857c84420599f4","observation_id":"1d7c870d-94fa-4930-ad64-44155acaa919","resolution":{"observed_at":"2026-08-04T22:37:58.145219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"cited_work":{"arxiv_id":"2505.15585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15585","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Mirb: Mathematical information retrieval benchmark.arXiv preprint arXiv:2505.15585","venue":null,"work_id":"350801f0-2edb-4a6f-98e4-831320ed2bda","year":null},"citing_paper":{"arxiv_id":"2605.13137","last_updated":"2026-05-14T05:15:13Z","snapshot_observed_at":"2026-07-06T23:24:42.799888Z","submitted_at":"2026-05-13T08:04:57Z","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-14T18:32:24.957899Z"},"links":{"cited_paper":"/paper/2505.15585","citing_paper":"/paper/2605.13137"},"observation_digest":"sha256:100b36352be53362e50aa69f6eab38cd5ab39a4e305991336100799ff60b1745","observation_id":"7802a168-6dc8-4f8b-afe0-d720213bac43","resolution":{"observed_at":"2026-05-14T18:32:34.160476Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"cited_work":{"arxiv_id":"2505.15585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15585","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Mirb: Mathematical information retrieval benchmark.arXiv preprint arXiv:2505.15585","venue":null,"work_id":"350801f0-2edb-4a6f-98e4-831320ed2bda","year":null},"citing_paper":{"arxiv_id":"2605.13137","last_updated":"2026-05-14T05:15:13Z","snapshot_observed_at":"2026-07-06T23:24:42.799888Z","submitted_at":"2026-05-13T08:04:57Z","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-15T03:05:04.196270Z"},"links":{"cited_paper":"/paper/2505.15585","citing_paper":"/paper/2605.13137"},"observation_digest":"sha256:1d1449a3e73a3735c48c37b99238541708cdc604c8738033265ffe226f21fd08","observation_id":"8b121b9c-beb1-4b7a-860b-7c0e67bf7732","resolution":{"observed_at":"2026-05-15T03:09:44.158973Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.15585/citation-record","integrity":"/paper/2505.15585/integrity","json":"/paper/2505.15585/citation-record.json","paper":"/paper/2505.15585"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:06.830443Z","title":"M3-Embedding: Multi-Linguality, Multi-Functionality, Multi-Granularity Text Embeddings Through Self- Knowledge Distillation","venue":null,"work_id":"6ae83e76-6a64-4802-ae2b-4cc3a93a3628","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.209712Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:223659ea65f5fdd6e96d8b628bd00095355b1e2f037cc7029d8433074164eb80","observation_id":"4f5ee523-911d-449e-9c17-78ed3d9a93c4","resolution":{"observed_at":"2026-08-07T15:20:06.955657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:06.661415Z","title":"Mathematical information retrieval: A review.ACM Computing Surveys, 57(3):1–34, 2024","venue":null,"work_id":"acc55db1-972b-46ef-aea3-91599259105c","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.299972Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:1466f4abaa38bec288c81ff57c6498559f52db22bd47febdf0712ee8e550cd2f","observation_id":"cbd34b46-e496-476c-a1b2-183068ba01f3","resolution":{"observed_at":"2026-08-07T15:20:06.727562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:06.491185Z","title":"The Lean 4 Theorem Prover and Programming Language","venue":null,"work_id":"46b8fd68-3bf2-49a1-b6ad-8997feddf6f3","year":2021},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.464062Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:7be8e712d8141ef74177fbceeabd3533b5b56714ee5a0f55850244d510b4939c","observation_id":"b8aeb335-0586-4710-9ee1-916d8bf4f76e","resolution":{"observed_at":"2026-08-07T15:20:06.557933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:06.288333Z","title":"The Lean Theorem Prover (System Description)","venue":null,"work_id":"9db71649-c306-4da7-9fee-025a0ba42df0","year":2015},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.566525Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:6eb869c30b9620b13bab1f08e3247e49c1451787cd0a977a68005738820b207b","observation_id":"ca2c489e-d020-4839-b98f-4e5a5aaad58f","resolution":{"observed_at":"2026-08-07T15:20:06.403172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:53.706392Z","title":"Mmteb: Massive multilingual text embedding benchmark.arXiv preprint arXiv:2502.13595, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.706392Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:3074925de7cd973f256c049a508cc668663f2840ef1d3fc0e87f0b0814a15889","observation_id":"2634b842-3d98-4ce8-9bff-54679319958e","resolution":{"observed_at":"2026-08-07T15:19:53.706392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:06.071420Z","title":"A Semantic Search Engine for Mathlib4","venue":null,"work_id":"4b4c2206-4b83-4e05-8267-72250269be5a","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.801669Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:d5ea29feef0ad5f9eb0ebf778ff022654ecd4bd70faaac5c3a51d9ed34982a02","observation_id":"85e0f3e2-cc8c-4c4c-beab-df54fb2fa4c9","resolution":{"observed_at":"2026-08-07T15:20:06.179144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:05.855449Z","title":"The Math Retrieval System of ICST for NTCIR-12 MathIR Task","venue":null,"work_id":"97b78fa5-cb97-4e94-bc67-de8e123ea2c1","year":2016},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:53.936572Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:9f29c65fb4bb9d12e03335928136bcd766ff009f221c71fdc019cdfbdd332f08","observation_id":"091a5040-212b-4b2a-aa42-7388280d6f18","resolution":{"observed_at":"2026-08-07T15:20:05.971799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:05.609562Z","title":"Verspoor, and Timothy Baldwin","venue":null,"work_id":"f492e3d8-68dd-4aa6-bec3-99f810e66d22","year":2015},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.056410Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:e4c9aba03e49135078e4a521e8ae7b802f344e5085377bca7c45a393ae8b7231","observation_id":"250943c5-2dec-400f-80bb-0e52f4bbdac5","resolution":{"observed_at":"2026-08-07T15:20:05.706426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:05.425911Z","title":"CoSQA: 20,000+ Web Queries for Code Search and Question Answering","venue":null,"work_id":"4d42cdf5-da47-4f5f-8416-eac52b4c1f0c","year":null},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.161631Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:21cf10f512df30c9cab91c13033f633904d77eeede8b23b26f743f129969acf1","observation_id":"5b681c11-9b81-408e-b496-307d4ef4ac6f","resolution":{"observed_at":"2026-08-07T15:20:05.506880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.09436","last_updated":"2020-06-08T09:09:28Z","snapshot_observed_at":"2026-08-06T10:54:14.530969Z","submitted_at":"2019-09-20T11:52:45Z","title":"CodeSearchNet Challenge: Evaluating the State of Semantic Code Search","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.09436","snapshot_observed_at":"2026-08-07T15:19:54.356557Z","title":"Codesearchnet challenge: Evaluating the state of semantic code search.arXiv preprint arXiv:1909.09436, 2019","venue":null,"work_id":null,"year":1909},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.356557Z"},"links":{"cited_paper":"/paper/1909.09436","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:36beac9320a3a0310158d7a862f48790fddabc8398f7118255f72a1c36d882ab","observation_id":"d79d3976-efc8-4b30-837f-304985b0a209","resolution":{"observed_at":"2026-08-07T15:19:54.356557Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:05.231023Z","title":"HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving","venue":null,"work_id":"6e62530a-7e5e-4e6c-b61f-8e667e9eb17f","year":2017},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.484543Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:2a1282d5cd3811e3cb32cedf7dda2da39263bf01bdf8b1f7f7600b882aee9f50","observation_id":"de08d1a9-9d9b-44a4-a17a-2f431b9a3af3","resolution":{"observed_at":"2026-08-07T15:20:05.309346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:05.033467Z","title":null,"venue":null,"work_id":"80454ed6-a25b-4bf8-886a-ec15df8f42da","year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.592088Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:3b74462be3d4c87b0100b9cc902b6704f9ae11030115db1866dfd09836db9597","observation_id":"0e6941d5-3139-4280-87e5-1b570e2f70f9","resolution":{"observed_at":"2026-08-07T15:20:05.118938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.00532","last_updated":"2025-01-23T20:59:08Z","snapshot_observed_at":"2026-08-06T04:22:30.355861Z","submitted_at":"2024-11-30T16:45:31Z","title":"ChemTEB: Chemical Text Embedding Benchmark, an Overview of Embedding Models Performance & Efficiency on a Specific Domain","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.00532","snapshot_observed_at":"2026-08-07T15:19:54.690593Z","title":"ChemTEB: Chemical Text Embedding Benchmark, an Overview of Embedding Models Performance & Efficiency on a Specific Domain.arXiv preprint arXiv:2412.00532, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.690593Z"},"links":{"cited_paper":"/paper/2412.00532","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:a483a9c4df2bff51ebc6cd10e61c1530ef9f6a284ced8c2106e7abfd4e20f687","observation_id":"80dfac8d-2732-439e-a074-e64526c5a820","resolution":{"observed_at":"2026-08-07T15:19:54.690593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:04.821931Z","title":"XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval","venue":null,"work_id":"512cd749-1d45-41bb-bcfa-0516e2443b52","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.834029Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:82fdb209480acf79e956342adbc165ad627ac027e263270d1b56d530df1cdd74","observation_id":"d18549f7-f872-4f38-b528-ebfdce646b95","resolution":{"observed_at":"2026-08-07T15:20:04.928854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:04.667472Z","title":"NV-Embed: Improved Techniques for Training LLMs as Generalist Embedding Models","venue":null,"work_id":"f6cc549f-e2c4-4f46-b6a5-6395ed3e4181","year":2025},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.968215Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:233d5bdcf4db8876c276ed2f503785bea8b559348891a465b08a25cde68fa8fa","observation_id":"411ce2d7-72e5-4c44-920b-194c59a6ce89","resolution":{"observed_at":"2026-08-07T15:20:04.734441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.20327","last_updated":"2024-03-29T17:56:40Z","snapshot_observed_at":"2026-07-06T17:53:11.000124Z","submitted_at":"2024-03-29T17:56:40Z","title":"Gecko: Versatile Text Embeddings Distilled from Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.20327","snapshot_observed_at":"2026-08-07T15:19:55.104704Z","title":"Gecko: Versatile text embeddings distilled from large language models.arXiv preprint arXiv:2403.20327, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.104704Z"},"links":{"cited_paper":"/paper/2403.20327","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:c0e029556c8cd187251b717e194fdf486bbae768953da8a811a74479f1fe687d","observation_id":"7f8cb483-46f3-490e-9eb3-3e6108a7cbc8","resolution":{"observed_at":"2026-08-07T15:19:55.104704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02883","last_updated":"2025-06-06T03:39:22Z","snapshot_observed_at":"2026-08-06T01:13:28.038577Z","submitted_at":"2024-07-03T07:58:20Z","title":"CoIR: A Comprehensive Benchmark for Code Information Retrieval Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02883","snapshot_observed_at":"2026-08-07T15:19:55.208020Z","title":"Coir: A comprehensive benchmark for code information retrieval models.arXiv preprint arXiv:2407.02883, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.208020Z"},"links":{"cited_paper":"/paper/2407.02883","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:e4b55e05b007289bbb23dcbb8f5ee4dbf48b8ebd1ff65280bb693a48069ad39d","observation_id":"522079c7-d191-4956-8cfe-25b1865b781f","resolution":{"observed_at":"2026-08-07T15:19:55.208020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:04.446938Z","title":"AoE: Angle-optimized Embeddings for Semantic Textual Similarity","venue":null,"work_id":"069b3e59-dc03-459f-a5de-946d37491814","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.317191Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:c1c176202345c97164d43e30885cf2f18d530d31bd9c41b138d08c25165bb35b","observation_id":"3f3a8473-dcd5-469b-8da2-2e245ece08f3","resolution":{"observed_at":"2026-08-07T15:20:04.572355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03281","last_updated":"2023-08-07T03:52:59Z","snapshot_observed_at":"2026-08-04T23:10:23.964516Z","submitted_at":"2023-08-07T03:52:59Z","title":"Towards General Text Embeddings with Multi-stage Contrastive Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03281","snapshot_observed_at":"2026-08-07T15:19:55.420748Z","title":"Towards general text embeddings with multi-stage contrastive learning.arXiv preprint arXiv:2308.03281, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.420748Z"},"links":{"cited_paper":"/paper/2308.03281","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:bd508ee513b5e683c35bd85e685c8cf6b8885c5dbf10e8e47271887bdc0bff97","observation_id":"634041c7-0219-48f9-bdf9-bce1a7b268fd","resolution":{"observed_at":"2026-08-07T15:19:55.420748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:04.255504Z","title":"Oard, and Richard Zanibbi","venue":null,"work_id":"f25177f2-4f34-4f9d-9e90-25889cb9090f","year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.532494Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:ba75602bb9bd292327a13dd7a24854556c3e9bdaa6e8b979f3c69cb84abb0f2b","observation_id":"2d0f3192-c852-4e67-921a-e622e5d9c94d","resolution":{"observed_at":"2026-08-07T15:20:04.329058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:04.126212Z","title":"Oard, and Anurag Agarwal","venue":null,"work_id":"0da3225e-f7f0-4813-8dcb-34b73b7acd2e","year":2021},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.639727Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:2d86537cabbcf6b33f0a07cab4f5bd57d895c8e9b4e6d100fdc879bfa4e68a4b","observation_id":"d1c68c87-4764-46bb-a659-d4de542b480f","resolution":{"observed_at":"2026-08-07T15:20:04.192966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.908343Z","title":"SFR-Embedding-2: Advanced Text Embedding with Multi-stage Training, 2024","venue":null,"work_id":"c9815cc7-211b-4755-816c-6f21f3a24f1a","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.747794Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:2ffb5a59113f65b8e56ab2d70d1e174a978db021455c21dce331621718cf0018","observation_id":"1e76f88a-bfff-40c7-ab02-dcb240d3f288","resolution":{"observed_at":"2026-08-07T15:20:04.006783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.701431Z","title":"SFR- Embedding-Mistral:Enhance Text Retrieval with Transfer Learning","venue":null,"work_id":"36c592c0-899a-4c67-a01b-0d4fbbe9411d","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.884979Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:807106eb6f41ac8a063eaeeb223c8dcf5400fbad62a03a5269fcdc2a62cc5201","observation_id":"4806c2a8-0281-4b98-a43b-727e0497e206","resolution":{"observed_at":"2026-08-07T15:20:03.800434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.517040Z","title":"Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuci´nski, Piotr Miło´s, and Yuhuai Wu","venue":null,"work_id":"f485d7b6-2f2e-4e10-8187-43bbc64a6922","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:55.975290Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:e1e0763a6339331835f7eceabe2b3ad6073db57a881ed5da7c45450543d4c0e2","observation_id":"20554604-decf-4d17-add9-078ae31f692f","resolution":{"observed_at":"2026-08-07T15:20:03.590900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:56.130335Z","title":"Generative representational instruction tuning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.130335Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:6d3f2388d091879a9e577b0a9039e71152127b996e2961a2df7a535987a4fd85","observation_id":"18af573c-6496-484d-9119-3161efe2b892","resolution":{"observed_at":"2026-08-07T15:19:56.130335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.327905Z","title":"MTEB: Massive Text Embedding Benchmark","venue":null,"work_id":"f60a5d7e-554a-4002-ba7c-2d6fde627598","year":2014},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.240161Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:4d7ac961410bfd4f75a4df7bae709128fe948b4a35c27a114c3e3ecbb6426dcd","observation_id":"62bb62c6-ed95-4b37-8493-80a2cac5d5d1","resolution":{"observed_at":"2026-08-07T15:20:03.391100Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.10005","last_updated":"2022-01-24T23:36:20Z","snapshot_observed_at":"2026-07-06T12:30:51.934079Z","submitted_at":"2022-01-24T23:36:20Z","title":"Text and Code Embeddings by Contrastive Pre-Training","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.10005","snapshot_observed_at":"2026-08-07T15:19:56.374852Z","title":"Text and Code Embeddings by Contrastive Pre-Training","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.374852Z"},"links":{"cited_paper":"/paper/2201.10005","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:0183ceffe2d4b939a382a964c64d8b43ec095385ade3e9ccd17469f82bfc0c8b","observation_id":"f010d9d5-c98a-4a8b-bcc7-a608c73b199b","resolution":{"observed_at":"2026-08-07T15:19:56.374852Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.186461Z","title":"Walker, S","venue":null,"work_id":"1aa2ec68-7a3b-45e6-b342-609d4f7c5018","year":1995},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.530727Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:181023ca06b849fa55a1be53dfd48f3b6af236bc6ce4e42eec05c69f587c8794","observation_id":"b889815b-6ce4-4ae0-9217-48979f42235a","resolution":{"observed_at":"2026-08-07T15:20:03.263743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:56.646034Z","title":"The Probabilistic Relevance Framework: BM25 and Beyond.Found","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.646034Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:8db69082f4639b050989a2879fda33dab93cc1ba7be8ff05b47446fb9e648216","observation_id":"f7bab992-c14b-49f3-80a2-d1f301ca5c3c","resolution":{"observed_at":"2026-08-07T15:19:56.646034Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:03.042175Z","title":"On information retrieval metrics designed for evaluation with incomplete relevance assessments.Information Retrieval, 11:447–470, 2008","venue":null,"work_id":"73dcda77-60c8-4455-9923-293b04f4ae09","year":2008},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.753547Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:93125e6d28249011d722d51df70a9bb6b759fa0cd7a1d884b8025b86abf9f0e0","observation_id":"ddccdd3a-9fa9-4122-af80-aa966a5ab19c","resolution":{"observed_at":"2026-08-07T15:20:03.101783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.884143Z","title":"Smith, Luke Zettlemoyer, and Tao Yu","venue":null,"work_id":"3bba7f77-1ee3-49a1-aa55-4a7f82afa2a4","year":2023},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:56.888114Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:706180774ce1b9c09744e5db3106f1f998191089948347fb90db051d6c584740","observation_id":"bdd23a09-30b1-4f8e-b9c3-50a95fedb583","resolution":{"observed_at":"2026-08-07T15:20:02.980943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.709626Z","title":"BRIGHT: A Realistic and Challenging Benchmark for Reasoning- Intensive Retrieval","venue":null,"work_id":"c66061e6-a4fb-4e12-912d-46ef39fb7af6","year":2025},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.001521Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:cbc43edacd32d51e95617004c9c6f052526b9e37ea8c445e71fe42c28b46b6b4","observation_id":"43cb528c-165e-4a0a-9228-9325413cb7c4","resolution":{"observed_at":"2026-08-07T15:20:02.787819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.10127","last_updated":"2024-10-14T03:26:51Z","snapshot_observed_at":"2026-07-06T19:32:46.742766Z","submitted_at":"2024-10-14T03:26:51Z","title":"MAIR: A Massive Benchmark for Evaluating Instructed Retrieval","version":1},"cited_work":{"arxiv_id":"2410.10127","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.10127","snapshot_observed_at":"2026-08-07T15:19:59.437159Z","title":"MAIR: A Massive Benchmark for Evaluating Instructed Retrieval","venue":"cs.IR","work_id":"cc44513b-99c8-41c8-90ce-beb7d3c4642f","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.106348Z"},"links":{"cited_paper":"/paper/2410.10127","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:633405caa01bc7333981a39d9fac4f0284556f211300794b7047c95001b71a10","observation_id":"2d28a792-8713-4592-a223-841b99f875a8","resolution":{"observed_at":"2026-08-07T15:19:59.530853Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.568766Z","title":"BEIR: A Heterogeneous Benchmark for Zero-shot Evaluation of Information Retrieval Models","venue":null,"work_id":"d2c2440f-0e02-47ad-bd06-a58b921b1467","year":2021},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.190758Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:fccdc961a8318b00e871a5857caad87106deb8ba7ed988679feb05b0cc095572","observation_id":"cc1bad57-1984-4864-892f-38aab5cfc109","resolution":{"observed_at":"2026-08-07T15:20:02.635433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.03533","last_updated":"2024-02-22T06:21:51Z","snapshot_observed_at":"2026-07-06T14:27:46.217000Z","submitted_at":"2022-12-07T09:25:54Z","title":"Text Embeddings by Weakly-Supervised Contrastive Pre-training","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.03533","snapshot_observed_at":"2026-08-07T15:19:57.321578Z","title":"Text Embeddings by Weakly-Supervised Contrastive Pre-training","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.321578Z"},"links":{"cited_paper":"/paper/2212.03533","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:149bde6d38c7610c2985d79498a8da5f0ef49d1110247f2c1c6a050bc5c0db98","observation_id":"64becf1d-d950-43f7-bede-48772d4d885b","resolution":{"observed_at":"2026-08-07T15:19:57.321578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.434320Z","title":"Improving Text Embeddings with Large Language Models","venue":null,"work_id":"637310fb-9432-4c09-9ac1-65bdc94fcd95","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.416603Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:8db00b02512b4223f6487f91831465850aba3bafc2f1edf0f62e6d68d67878c7","observation_id":"b7fabc00-1d61-4b77-881b-a556090255c3","resolution":{"observed_at":"2026-08-07T15:20:02.492376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.308773Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","venue":null,"work_id":"657ff253-b270-497e-a373-c044c5a8d57d","year":2021},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.517297Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:a18c12c5b6a590bb30a6925da9583a611a07db14f3c887e2cdf8a973ce357f1b","observation_id":"676163f1-3bf5-4387-bd2d-70b76c6c3e51","resolution":{"observed_at":"2026-08-07T15:20:02.365365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:02.144193Z","title":"Naturalprover: Grounded mathematical proof generation with language models.Advances in Neural Informa- tion Processing Systems, 35:4913–4927, 2022","venue":null,"work_id":"2e552f94-8e3d-4537-951c-185954e582d0","year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.612218Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:a7fbaf9d5c24bf2191f1fa53552ff8f10911dedfd69473c16c3f684f53210059","observation_id":"9b26d90c-3fa6-4cd8-90da-69f1de879690","resolution":{"observed_at":"2026-08-07T15:20:02.237287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.06347","last_updated":"2024-05-12T18:23:41Z","snapshot_observed_at":"2026-07-06T17:57:48.153936Z","submitted_at":"2024-04-09T14:34:48Z","title":"RAR-b: Reasoning as Retrieval Benchmark","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.06347","snapshot_observed_at":"2026-08-07T15:19:57.719528Z","title":"Rar-b: Reasoning as retrieval benchmark.arXiv preprint arXiv:2404.06347, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.719528Z"},"links":{"cited_paper":"/paper/2404.06347","citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:8b3d759a5c07655e227d24dfc876c27a94d737028fc28be967817bad176501d8","observation_id":"ba3b5872-2e77-49e4-bfda-0950539c738f","resolution":{"observed_at":"2026-08-07T15:19:57.719528Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.946080Z","title":"C-Pack: Packed Resources For General Chinese Embeddings","venue":null,"work_id":"a570c111-c513-4fe0-a192-cb83a57532dd","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.823338Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:d887e8b3d137e0b120b137611f27f1cc66d3d94c9700167a3c3811a0ecb21850","observation_id":"0144c539-4323-44f3-86aa-8cc7df4e4e5b","resolution":{"observed_at":"2026-08-07T15:20:02.020382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.786537Z","title":"LeanDojo: Theorem Proving with Retrieval- Augmented Language Models","venue":null,"work_id":"d3463c8a-8280-489a-a543-95445f3d6731","year":2023},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:57.947102Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:94f24c73425da95f3fbc38744efcd43a90d8fb651175307f8b251a89f98de5cc","observation_id":"f74beb2c-fbf7-4f46-93ba-0d3269b6bfe5","resolution":{"observed_at":"2026-08-07T15:20:01.864425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.604695Z","title":"NTCIR-12 MathIR Task Overview","venue":null,"work_id":"9d69978c-b849-4097-830c-97ea87d7707c","year":2016},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.056407Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:f42732ab239a79c2e13046f59b3795e04fc98cef6b870fc20485718ac329d6e0","observation_id":"c0db3e97-c50a-424e-ae90-6a2dd3bbc1d2","resolution":{"observed_at":"2026-08-07T15:20:01.683930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.485035Z","title":"Recognition and retrieval of mathematical expressions","venue":null,"work_id":"13add142-569f-458a-8684-9a4c62e89fc6","year":2012},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.149980Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:c58844bfe77f17758b4313cbce501db6361df4908973a5486126d11a3c19df53","observation_id":"7f0b140a-84d2-4a3c-b4ff-f0305542b295","resolution":{"observed_at":"2026-08-07T15:20:01.528813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.345433Z","title":"Mathematical information retrieval: Search and question answering.Foundations and Trends® in Information Retrieval, 19(1-2):1– 190, 2025","venue":null,"work_id":"ae49aeaa-1dd7-4fee-a67a-b41082f486af","year":2025},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.261610Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:cafc42231e3c75228bd83a6cfa9de1fd6af05da4ced9d0c60f543e3d18ff82e5","observation_id":"ac505b30-4e78-46f0-8c6d-458732b133a1","resolution":{"observed_at":"2026-08-07T15:20:01.408246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:01.171312Z","title":"Oard, Anurag Agarwal, and Behrooz Mansouri","venue":null,"work_id":"3b499394-3bcd-44c3-9074-e48f4b751bb5","year":2020},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.332878Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:93387a7456ddab2affafc8241b65fd5cd7b5f397e5a7a16a36456ff893eaeba3","observation_id":"06d6ed53-4f45-4bee-a6b2-1c6a78c8b032","resolution":{"observed_at":"2026-08-07T15:20:01.242309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.984237Z","title":"One Blade for One Purpose: Advancing Math Information Retrieval using Hybrid Search","venue":null,"work_id":"c0cc67a0-9dc3-44b3-85ad-f482de56baa6","year":2023},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.465239Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:170e1e40246dc55f799918abca9314f6536612ee1dc6510c7c88598790fd5e86","observation_id":"32fbfe2a-8bc5-40dd-a567-fb83d9d917f2","resolution":{"observed_at":"2026-08-07T15:20:01.067785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.807997Z","title":"Lee Giles, and Richard Zanibbi","venue":null,"work_id":"5ac2d1e3-71af-4262-8cfd-ed8c58cfc52e","year":2020},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.566241Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:9836bd98a35b39bdf94ed1e1adb870671cce8a7aac1ae3c8677e2d31107ff271","observation_id":"c83f46c3-db05-480d-9658-e7d4501eea8b","resolution":{"observed_at":"2026-08-07T15:20:00.877890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.650259Z","title":"Applying Structural and Dense Semantic Matching for the ARQMath Lab 2022, CLEF","venue":null,"work_id":"cd4e7dfe-9da8-4a7c-8ed3-aaee4f180b9f","year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.673404Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:4775c8317bb40b7850412a32ed9ee7fc4f1db01444cf2052d65e3f5b9f46f382","observation_id":"b07209d8-a79d-481d-8be8-6f848a427d94","resolution":{"observed_at":"2026-08-07T15:20:00.725752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.478307Z","title":"Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval","venue":null,"work_id":"a10f2383-b45e-4cd6-b4bd-80d61c0d0180","year":2022},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.828877Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:bfaad5ce7a988364a82a86f8e69e3a6a3c164c85a1c822c253f2a22e40c4c812","observation_id":"6b671a0f-0a92-4437-a8f5-a0722cafd571","resolution":{"observed_at":"2026-08-07T15:20:00.544339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.314317Z","title":"Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees","venue":null,"work_id":"18f130ff-2436-42bd-9c76-f022acfdafdb","year":2019},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:58.935024Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:ba8090a7bbd1d157affa2977a306a10c66003816587da264843c621d6d6865c7","observation_id":"393ab0c1-1b17-44f4-85ed-9c71a9fcfc91","resolution":{"observed_at":"2026-08-07T15:20:00.380201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:20:00.163825Z","title":"LongEmbed: Extending Embedding Models for Long Context Retrieval","venue":null,"work_id":"643cca89-62f1-4215-9a8d-b6248e7b8096","year":2024},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:59.039625Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:0cbb3ea64a906ea8ebdbc1c26a2075443a7a4fa430f9b6bead3f3d26d03a150f","observation_id":"9305b670-e80c-41db-96f3-abe54d260c40","resolution":{"observed_at":"2026-08-07T15:20:00.226730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:59.828685Z","title":"’c list\" and ys ::","venue":null,"work_id":"152e478e-aed8-4a83-bfaf-c064154fc0a2","year":null},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:59.286043Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:cccf581f3f576b14e4a098a3c946360fabf43b0375b80cdafc1d65f02818c274","observation_id":"09a682c7-ba6d-4d20-aa46-945e6e5980e1","resolution":{"observed_at":"2026-08-07T15:19:59.893574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:54.261872Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:54.261872Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:3bb9a43087af445cf957ccbbed3a8b41a8f12d344d2b6b6195fbaa0464c4f16c","observation_id":"ec71d64f-90af-4298-9856-e8649c9720fe","resolution":{"observed_at":"2026-08-07T15:19:54.261872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:19:59.986139Z","title":"14 A Dataset Examples In this section, we present examples of datasets from MIRB that are not included in the main text","venue":null,"work_id":"0e2f8fc7-afd5-424b-9fcb-5fff650aa89e","year":null},"citing_paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T15:19:59.198628Z"},"links":{"citing_paper":"/paper/2505.15585"},"observation_digest":"sha256:a663aff89d8af8432cccf1a506634b37a9a27f3eeed46f64a4a7901d9d6c996e","observation_id":"72574724-588b-4b94-84f3-47b544535de2","resolution":{"observed_at":"2026-08-07T15:20:00.075591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.15585","last_updated":"2025-05-21T14:40:27Z","latest_version":1,"primary_category":"cs.IR","snapshot_observed_at":"2026-08-07T15:12:11.528064Z","submitted_at":"2025-05-21T14:40:27Z","title":"MIRB: Mathematical Information Retrieval Benchmark"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":1,"verified_fuzzy":40},"total_outbound_references":54},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 3 inbound Pith citation observations for arXiv:2505.15585."}