{"as_of":"2026-08-15T19:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4f257608d5d27411eea87769ca7ae9fa9fe203062baf005787be018677d9d0e9","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-15T06:32:42.880941+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-10T06:36:21.113288Z","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-09T12:46:22.534535Z","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:c3ef6901d009c5dda1abd5f1cad541b249a4a5846a76f9a10c3916fbaa1c1ef1","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-10T06:36:21.113288Z","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-08-13T18:43:44.405835Z","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:b4845a3e40180fc74190f77785055c7c2525cde346625da5b33041a3dd57712b","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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-08-13T18:43:44.405835Z","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:1e470ec2f868b9af1b60da12b9f820c05c6c0aca9d74920e56149963e1c075f4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:f53765665411080986c664426ce749d9775e55df49b9d5735ab62e68439600a0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:482c1d021d27c0ff142d2512cf9c0f4a9c285eccbd5673c6903b063de03779f5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:d372c93e2d66a3894bd97ed5b4c78296cf820547cd4e93b02a95ce4e21bc1621","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:0ece25b798b1de9290facd7c6eba40addd5e5e0a724ce609799db11c2e8955d4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:f7d1ba7ba4d90f2cd9369585a1cb77f1d4be4151d48a6a8a4fa9b74fbcd18fec","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-10T06:36:21.113288Z","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:439835940257f410e9d902868f1df52a2a82229b9f1bf9919751cf4fe00e021f","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:a04a36b4abeb209b951fcc51eb97683ce34aac4598543d36b96126e9a6fc3bb1","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:b9de9dfc7555ce4d1f2033fa649f4da2d9b9796226bc73778763ef28132369a0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:9a31355aa518324b8c545bd892c46737b21321a4e7fef236ca26c70f3d3f1a24","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:30bd76e922c4708a1ce3ffadb2b12ddc8e942f91296839988ee01946b31cb985","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-10T06:36:21.113288Z","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:943d9808a8e30637ffc1c75265d6c4d645cb5ecd8330ed177a99d3b07cd8bd29","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:8e20fee3bb1736ad7869219d390d25610e80695a3c05997cd3b01343f0239062","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T09:54:32.495150Z","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-10T06:36:21.113288Z","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:d8d1c214bed58d898982c53de06b302029a7b34764f4fc49fda939d58d317748","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-10T06:36:21.113288Z","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:ae627a23c844c9da597a7f063a5bce3401b0e118fd7d0a3396dbd5c62ecf2710","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:dbd8bd431422c24484925fba4256fc159efafabdac8d4e40073b28362a2a4b81","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-13T00:41:52.368105Z","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-10T06:36:21.113288Z","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:f22b2bff6507173357c5d17446ed95a983d9b1fed576c73782289d6d55d27095","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-14T18:42:47.023606Z","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-10T06:36:21.113288Z","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:9c6537049b8240fe34d9cd58e5b895946e8778800dc56c85b6b31062f9e5946d","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-10T06:36:21.113288Z","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:639e273a73ed9a693de0fd57330e5c308d2edd632af5385b73f13415b2ba3997","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T21:56:20.223557Z","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-10T06:36:21.113288Z","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:0c472d32b373185c837cda16712f7804ffef2ec90c39c8c4aa2383fa856e4686","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-10T06:36:21.113288Z","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:69c3c677a54f69f6751614fc6a3ae48f575c003cc1dd0cd48af0e6f5662010ee","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:6bba34a75e91637f707e82369e6304da7b049a377afec648fc5e8b462afd1b0e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:1199c4c9850bfd705d54b78f3c806c89647e82046ff4ac49c228c40992f7246d","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:fff3172f7fb21595dc8fd24eb7546a3f51cae20ee58e48eb4673306291ef62f0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:7f6a71ceea2a918693b680d8a331c424e6486c1e0efcd0da89fd14764158ab3a","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:a7e756553fb3371ab3106d186b3ca81df86c5f621124b260664927513d53f6b9","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-10T06:36:21.113288Z","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:8c308fcf8bbcbae7cf40c19c111bfbb8553e66049109d905b25bfba81743abfb","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:d77a3ec95d3541f9bc835cdc11b0eebf431a2c4a8cc9ac8b44738a2706adfca9","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-10T06:36:21.113288Z","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:afdcc80f18325eafc567ccad57247bdb696633996ee36e753910aa7f27cf7c48","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:ddbdf0231303d35a11b6f64604b38bb2c928b166705ab8ca57bcafa51e59584b","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-10T06:36:21.113288Z","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:d501e41a530f8cfd2ef76f46494da1afcb0112d4201370fd5db9ae2d3f0b46d8","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:e7adcb761ad471fb9fd16058911b432de10140946397b54596c4be8b7c7166c6","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:be8bac61c49dbd52c5c48f8d0b47450cedb0b18917138b5f7e02fb9a414e5cfc","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-12T22:24:09.689702Z","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-10T06:36:21.113288Z","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:c0b5771bcf3306fd117f4b90569957e35b472bd7988ab4100ae20b4d902a8d60","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:0d9dbcdfe46ee007aa2dc4db5a4e848012b0542dbad0df8b416388b5bbda5bfe","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:eb69d89a2ac482ec3cf022828ce826b23251295fafe5cd5ce6fcd3220b0b9b76","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-10T06:36:21.113288Z","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:bb9ac4f71a5ddbda00048783d929ff4f43cba1296ab10683bf4ac9b2e3c87561","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:403a8f1172b31d1452099bcd73ce9f25b05fca85460ef3d8aa73d54d6e5cafbd","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:1fb9e156ec453082c58780934e33bd6d294ddf7276394613312a7bffcf111578","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-14T18:42:38.525485Z","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-10T06:36:21.113288Z","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:f22a1f02819d2a6c37dc9d90d66b1b526c7c0cde702bb0e9e5d416b09b50bc5c","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-10T06:36:21.113288Z","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:ae6ccd27ede62a70fbf9ca1fd7ee29c774b14b90a31c9d45f4a29803c4887007","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:16d47722b94bd967fe68b4af499b50a7487d4812a1133ad94220f0045e1c0681","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:341f22181202785f6e02fbb53ead257abea6791a5ebfcb0f963039f2d71ea656","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:a87abe8538170b945ed88be74d38b2d30847ca822324bfdef95a8e17c11f8cf1","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:e638db42b53f066d46fce45e4cace4a8f9c6e782448d13cc5ab746cbbbcf0689","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:198a2c33e5351109bc93f05250411ad414c3627e85e84933d479af1cc1a2a7c3","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:9bc90bd4c036d264f9ffc6a55272fb907eb3e043fe2b0cfb8d9a80aa7ee2fbb0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:e7b2c1954be4e6e73b399c5180aeea7dcb7457db38264d6c7c67daae73b96771","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:51f7cb1fcc32656b53696a482d630b1bd6f9d51b14866e1313e58adda48a9026","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:550a382fef426562a205081c6a2e7a34290b7da86eb8426838b5982865f339e0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:db96186ecb2cfcca644f792ff3ea9f3188fe359d25aedbf2dc221936990d074e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:de7489403bf6acc1f7cb047ef672903afe96e88d96b9be422eb6bfa18bdc29c4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:6e8a838d8535a0d9896da433c35672ccfd2852ea78ab737272c03299dab3eed5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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:390bda9ff8ac57c442374d82817cb3d1048192589f347dfd59a9ec2d72ff5326","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-10T06:36:21.113288Z","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:c04d49c35e8158974aa26e37fb3e2b5a641c05d66042ae545d9ddc3c2d1ffccf","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T06:36:21.113288Z","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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 3 inbound Pith citation observations for arXiv:2505.15585."}