{"as_of":"2026-08-04T12:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f7edcc9f8cca5c59198a40ed006a51a82c7fd0214af1c84959a7744e989119cf","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T05:32:30.216388Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T03:02:27.985220Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-11T00:27:50.197103Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.17484","snapshot_observed_at":"2026-07-11T19:30:43.940487Z","title":"Matlas: A semantic search engine for mathematics, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04394","last_updated":"2026-07-05T16:37:40Z","snapshot_observed_at":"2026-08-04T10:21:40.628277Z","submitted_at":"2026-07-05T16:37:40Z","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-11T19:30:43.940487Z"},"links":{"cited_paper":"/paper/2604.17484","citing_paper":"/paper/2607.04394"},"observation_digest":"sha256:a7355c3e4e8942c75addc9d992c6d02f7369284b6c62efeaf43ff551c9a1391b","observation_id":"aa5a3021-8a39-4680-844e-194bc6de3d94","resolution":{"observed_at":"2026-07-11T19:30:43.940487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"cited_work":{"arxiv_id":"2604.17484","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.17484","snapshot_observed_at":"2026-07-11T00:27:50.197103Z","title":"Matlas: A Semantic Search Engine for Mathematics","venue":"cs.IR","work_id":"bdd3f506-ddca-457c-951b-d7a17ded2e36","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-07-11T23:19:57.492205Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-08T05:41:51.556220Z"},"links":{"cited_paper":"/paper/2604.17484","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:cd36011eac399505e348ea7eabeee97b0b1667b3f437388ecca0a68983225671","observation_id":"bc2538b0-e2fb-45a8-a2eb-d5dda751599f","resolution":{"observed_at":"2026-07-08T05:44:36.011375Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"cited_work":{"arxiv_id":"2604.17484","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.17484","snapshot_observed_at":"2026-07-11T00:27:50.197103Z","title":"Matlas: A Semantic Search Engine for Mathematics","venue":"cs.IR","work_id":"bdd3f506-ddca-457c-951b-d7a17ded2e36","year":2026},"citing_paper":{"arxiv_id":"2607.06447","last_updated":"2026-07-08T12:23:39Z","snapshot_observed_at":"2026-07-11T23:19:57.492205Z","submitted_at":"2026-07-07T16:11:30Z","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T00:26:17.026355Z"},"links":{"cited_paper":"/paper/2604.17484","citing_paper":"/paper/2607.06447"},"observation_digest":"sha256:06cc73f46a5b937df45962942931d5e7f01ddbf08218135877445389ae737594","observation_id":"94c43630-27bb-40b5-8dbf-84f62179bbfa","resolution":{"observed_at":"2026-07-11T00:27:50.223897Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.17484","snapshot_observed_at":"2026-08-01T03:02:27.985220Z","title":"http: //www2.macaulay2.com","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27705","last_updated":"2026-07-30T05:41:44Z","snapshot_observed_at":"2026-08-03T06:17:57.461115Z","submitted_at":"2026-07-30T05:41:44Z","title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T03:02:27.985220Z"},"links":{"cited_paper":"/paper/2604.17484","citing_paper":"/paper/2607.27705"},"observation_digest":"sha256:4e92b606a1a06d8f94fa180a81c826d6c7fe3ff0eb95b7b706f258fdf4079047","observation_id":"e44483d1-9c02-4483-b107-1a71fd470f50","resolution":{"observed_at":"2026-08-01T03:02:27.985220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.17484/citation-record","integrity":"/paper/2604.17484/integrity","json":"/paper/2604.17484/citation-record.json","paper":"/paper/2604.17484"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.05216","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T20:10:07.147673Z","title":"Semantic search over 9 million mathematical theorems","venue":null,"work_id":"021f0c57-81b3-414e-8017-61b1144de99e","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:71bb80a77f94556e8b33fa7cf05d0121e9bd18e2f74f71231fbd709647b49d19","observation_id":"56e46146-33d8-4864-9398-dd66cf087a25","resolution":{"observed_at":"2026-05-10T05:36:01.933040Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.11085","last_updated":"2025-06-04T16:09:54Z","snapshot_observed_at":"2026-07-06T21:41:19.199391Z","submitted_at":"2025-06-04T16:09:54Z","title":"LeanExplore: A search engine for Lean 4 declarations","version":1},"cited_work":{"arxiv_id":"2506.11085","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.11085","snapshot_observed_at":"2026-07-04T11:29:51.110565Z","title":"Leanexplore: A search engine for lean 4 declarations.CoRR, abs/2506.11085","venue":null,"work_id":"f87043d0-5303-46ff-8552-c8881d23811b","year":2025},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2506.11085","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:14d53b51bcb85152ea56ba8a64433f7523115cdaed40255aca6a265a4fc43cea","observation_id":"48bec025-70cc-4b3b-b822-5238d3036e5e","resolution":{"observed_at":"2026-05-10T05:36:01.927892Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.23245","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T22:52:12.693883Z","title":"Eigenweights for arithmetic hirzebruch proportionality","venue":null,"work_id":"c6ab9dd5-a0a4-4312-ba80-abe372d916d1","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:603deb15bb7bd87ff504d077614f5102e45cff2839481c4bfaa6f8ad06fea505","observation_id":"fd1d17cc-affd-43b3-9c9c-702667570213","resolution":{"observed_at":"2026-05-10T05:36:01.922806Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.21201","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T05:27:39.917471Z","title":"Aletheia tackles firstproof autonomously","venue":null,"work_id":"21f8e88a-f9d9-478b-8314-958afeb0f92d","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:54a66016c26ecbff1e978c69ab15def7e56231677ec7c65665d493d3d361a952","observation_id":"61021e26-db9f-44aa-82c6-20b83874bf56","resolution":{"observed_at":"2026-05-10T05:36:01.920433Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.10177","doi":"10.48550/arxiv.2602.10177","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T22:52:12.748589Z","title":"Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N","venue":null,"work_id":"0431ee8d-6d79-4807-a403-990ddaa168a0","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:7221cac3c2c311378086e3318f3f2645d5d696d024ffa1f279ea97e50de4ef9a","observation_id":"ce350345-7031-4942-abef-95c5a268a292","resolution":{"observed_at":"2026-05-10T05:36:01.907260Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-09T07:48:47.900841+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T07:48:47.900841+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.findings-emnlp.470","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T01:05:12.462994Z","title":"A Semantic Search Engine for Mathlib4","venue":null,"work_id":"ca10734d-9f70-4b70-9ea3-3ad0fb02dde5","year":2024},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:0fcde2248d06a5ade052c75b4737298cc40fc22ed4da2e9e8224ed7d48c3a50a","observation_id":"bb6138a8-2f6a-462b-a5bc-79669652c989","resolution":{"observed_at":"2026-05-10T05:36:01.396648Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.03789","last_updated":"2026-05-30T05:07:37Z","snapshot_observed_at":"2026-07-13T12:18:08.261894Z","submitted_at":"2026-04-04T16:35:16Z","title":"Automated Conjecture Resolution with Formal Verification","version":2},"cited_work":{"arxiv_id":"2604.03789","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.03789","snapshot_observed_at":"2026-07-11T02:07:43.816723Z","title":"Automated Conjecture Resolution with Formal Verification","venue":"cs.LG","work_id":"1e11fd97-bf58-475a-aacc-fbd2787ec414","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2604.03789","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:127ce639c664b04664ebdb6642dfdedd449c7edb89fea11ed6c6385364d79229","observation_id":"1abbed4e-1941-4ddb-b718-54761607792e","resolution":{"observed_at":"2026-05-10T05:36:01.912447Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.02450","doi":"10.48550/arxiv.2602.02450","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T00:27:50.133211Z","title":"Lower bounds for multivariate independence polynomials and their generalisa- tions","venue":null,"work_id":"e02bc44c-386b-487f-bdaf-2b4e87ba8e74","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:b35ee95e861588541d002bbbd2bcb0d1726390e1142f4dd16ee6540f1fe26a4b","observation_id":"f52cc58d-d938-40da-aa0d-d89d305a83f7","resolution":{"observed_at":"2026-05-10T05:36:01.909844Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.02556","last_updated":"2025-12-02T09:25:14Z","snapshot_observed_at":"2026-07-31T23:49:25.878472Z","submitted_at":"2025-12-02T09:25:14Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","version":1},"cited_work":{"arxiv_id":"2512.02556","doi":"10.18653/v1/d18-1512","metadata_source":"pith","pith_arxiv_id":"2512.02556","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","venue":"cs.CL","work_id":"07c85cc5-4086-4abc-823b-6d0f4ff784d0","year":2025},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2512.02556","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:75ac3c63cedc94318da04513608cf586370dbd6f275d4fe2463a8f6053dd8dcd","observation_id":"4ed46c93-a32e-48ec-9d25-a3df915ab42f","resolution":{"observed_at":"2026-05-10T13:05:26.778195Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Lean Finder: Semantic Search for Mathlib That Understands User Intents","venue":null,"work_id":"24f28f72-e784-4090-8594-807709970329","year":2025},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:75b05245ecfd3d5fc7b8e2817951cd01b180a59c8c1f687ef701031718b61cff","observation_id":"2284e260-74e2-4e6d-8023-5b264fb4d07e","resolution":{"observed_at":"2026-05-21T20:14:21.129513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2603.19052","last_updated":"2026-05-23T00:48:30Z","snapshot_observed_at":"2026-08-01T16:43:40.209044Z","submitted_at":"2026-03-19T15:46:44Z","title":"The Simplicity of the Hodge Bundle","version":3},"cited_work":{"arxiv_id":"2603.19052","doi":null,"metadata_source":"pith","pith_arxiv_id":"2603.19052","snapshot_observed_at":"2026-07-03T23:19:03.710600Z","title":"The simplicity of the hodge bundle","venue":"math.AG","work_id":"78598f45-3589-4ad6-b05c-739142ecd959","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2603.19052","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:85ba062b5ed6d17ca916b4795e18fc4f33ba680fb8be29356d1ceed1a1a9e6a2","observation_id":"026c39f0-97d2-4950-b00e-05a00f2ef750","resolution":{"observed_at":"2026-05-26T02:02:31.331660Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.24173","last_updated":"2026-06-22T14:14:54Z","snapshot_observed_at":"2026-08-02T20:05:54.597975Z","submitted_at":"2026-02-27T16:52:52Z","title":"LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics","version":2},"cited_work":{"arxiv_id":"2602.24173","doi":"10.48550/arxiv.2602.24173","metadata_source":"pith","pith_arxiv_id":"2602.24173","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"Lemmabench: A live, research-level benchmark to evaluate LLM capabilities in mathematics.CoRR, abs/2602.24173","venue":"cs.AI","work_id":"4875c01b-d97f-4405-9cb1-383dbc6ff28f","year":2026},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2602.24173","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:5416f157453a6ba08101c0e66034e166f164c47228e97903f06da016f7aa87fe","observation_id":"6390744e-bf5f-4833-b8f9-ae9a27e484e0","resolution":{"observed_at":"2026-06-23T04:13:44.884775Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.05176","last_updated":"2025-06-11T02:54:49Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-06-05T15:49:48Z","title":"Qwen3 Embedding: Advancing Text Embedding and Reranking Through Foundation Models","version":3},"cited_work":{"arxiv_id":"2506.05176","doi":"10.1016/j.displa.2025.103255","metadata_source":"pith","pith_arxiv_id":"2506.05176","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen3 Embedding: Advancing Text Embedding and Reranking Through Foundation Models","venue":"cs.CL","work_id":"bab684a8-d933-426c-a19e-2c855a0d1f59","year":2025},"citing_paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T05:32:30.216388Z"},"links":{"cited_paper":"/paper/2506.05176","citing_paper":"/paper/2604.17484"},"observation_digest":"sha256:55a9234b7f5d3584c2b3e48c179c04e12064e0f09acfb726a9e01be179ae7cd5","observation_id":"b1c34084-355c-4424-a99a-da106f34fe29","resolution":{"observed_at":"2026-05-10T13:46:09.919088Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.17484","last_updated":"2026-04-19T15:17:28Z","latest_version":1,"primary_category":"cs.IR","snapshot_observed_at":"2026-07-06T23:04:32.734175Z","submitted_at":"2026-04-19T15:17:28Z","title":"Matlas: A Semantic Search Engine for Mathematics"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":11,"verified_fuzzy":1},"total_outbound_references":13},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 4 inbound Pith citation observations for arXiv:2604.17484."}