{"as_of":"2026-07-27T12:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aed2929dc94ecd732a1a551e9d35b4eed0130dfa4461ff969b4e84c838a06dab","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":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-27T06:30:09.085275+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-07-11T19:30:43.940487Z","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-07-11T19:30:43.070062Z","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:32c7f7c57c77d64e3070188f94c838e299ce36b89606627bafe9384f70897cd4","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:724af96a3d6e3fd9e5b5c55825e33e9db3bff622883218bbd12f698b6d4667dc","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:da91749a661e6cc4fd11f1ca3d46d6427bc80821db3b51454adde7757f6126da","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+00:00","source":"retraction_watch"}],"state":"measured"}}],"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:e22b475949747cbc851df1b87c083397f883232b2abc872e70a001f9f07843a2","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:ce1f0506d5e5ec880e84078c2d38e1c556340525a593378fcb3d0e2dc6d05c63","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:f2b6919c135c3bc0f8ed907a771ca40b68482f3533ce423d2164bfafae6ebb17","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:a41eb4715e1c366e39a9dd082bd362fd718cd7dcb028d0d0c6b561eccb6b9738","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:ae937116d3e5d3617174f07b87c49e15e02c15cfd5614278226e1171e24ea01c","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+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-07-27T06:30:01.563335+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:775a51963de6dda254aadd4cd8377530913bf11ec0930aa0091ef26452fd5016","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:f80c48fe3540701e76edec866212d93d0856b1a57a1b08280d1c855738c0ce7e","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:ab11da52f308194e6b7824716073bc253065aec84c8592d236544945160ce1e0","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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-06T02:11:23.670680Z","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:09a3b2607d8a735e996f55c22274fb40fa3585d586212dd5d1317754267833db","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:d2a803ba98fce03b74ced9431548034ec5d7659ffea74094b8ccc4efccfe20fc","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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-07-13T22:13:41.419164Z","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:99ae3eb8954ece7a269158c4010cb8f555f5eb54bbe2ce1dd345fe2ae31f49fc","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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-07-06T22:47:19.784697Z","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:0262dbb61d0c27e87df6f1ac00eeaa408a0fb6a87f6aac5890aee08535834046","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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:5a24aab073ad86a580b70c631ae2e5bacc333a3d7d2ac52e3caf332c34cd3ef4","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-07-27T06:30:09.085275+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+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-07-27T06:30:09.085275+00:00","source":"crossref"},{"observed_at":"2026-07-27T06:30:01.563335+00:00","source":"retraction_watch"}],"thesis":"As of 27 July 2026, this Paper Citation Record lists 13 of 13 outbound references and 3 inbound Pith citation observations for arXiv:2604.17484."}