{"as_of":"2026-08-10T00:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:48c99b52c939b7c2578030993580eb8b471bb39a3c9d8b24acc02612a4dfbfdf","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":10,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:44:59.402345Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-07T10:44:59.402345Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.04592","last_updated":"2025-06-05T03:16:08Z","snapshot_observed_at":"2026-08-09T04:20:47.756843Z","submitted_at":"2025-06-05T03:16:08Z","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T10:44:59.402345Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2506.04592"},"observation_digest":"sha256:a277340b5c28f3428c9607d1f84ab5f22da21431e2f5012e6ae9efd9345b9103","observation_id":"df9bded4-17a9-478c-969b-f7b2d77c37bb","resolution":{"observed_at":"2026-08-07T10:44:59.402345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-04T20:58:27.639555Z","title":"CoRRabs/1910.09336(2019),http://arxiv","venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.639555Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:1538c748990b5c2f8a5b36415ff32967ca28ae224d1d1ca5d3224daf6b943b45","observation_id":"48be1bf3-2c5d-43c9-8c29-a7b1e9410342","resolution":{"observed_at":"2026-08-04T20:58:27.639555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-02T21:56:44.737683Z","title":"org/abs/1910.09336,arXiv:1910.09336","venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2602.18767","last_updated":"2026-06-30T17:26:18Z","snapshot_observed_at":"2026-08-09T12:12:11.707907Z","submitted_at":"2026-02-21T09:12:51Z","title":"Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4","version":3},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-02T21:56:44.737683Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2602.18767"},"observation_digest":"sha256:74aebd36c01467d5ba586494e31122eb2684220677b2701d64e0959c71c1f33f","observation_id":"d3aa6f13-67f0-420f-bc08-ce753d9c5db7","resolution":{"observed_at":"2026-08-02T21:56:44.737683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2604.03239","last_updated":"2026-02-03T10:46:23Z","snapshot_observed_at":"2026-08-03T21:11:26.783623Z","submitted_at":"2026-02-03T10:46:23Z","title":"To Throw a Stone with Six Birds: On Agents and Agenthood","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-16T08:20:24.382037Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2604.03239"},"observation_digest":"sha256:a88e90053325f5730190812980bf8bb72cd14432e9663bfe5e3af5dad6c00ab2","observation_id":"343e7b99-b767-4908-aefd-1acdc771ed8e","resolution":{"observed_at":"2026-05-16T08:20:45.837936Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2605.23983","last_updated":"2026-05-14T21:37:29Z","snapshot_observed_at":"2026-08-08T09:34:45.557807Z","submitted_at":"2026-05-14T21:37:29Z","title":"Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-30T20:11:49.498337Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2605.23983"},"observation_digest":"sha256:380eff597e81325f2311bae1c2d8c539756ed5fd94472fd32697cc210c2a78d6","observation_id":"e3dfdcdd-bd6e-43d0-b098-097f02866b4f","resolution":{"observed_at":"2026-06-30T20:15:04.965323Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2605.29955","last_updated":"2026-05-28T14:00:22Z","snapshot_observed_at":"2026-08-09T13:58:49.202099Z","submitted_at":"2026-05-28T14:00:22Z","title":"Formalizing Mathematics at Scale","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-06-29T07:35:06.858835Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2605.29955"},"observation_digest":"sha256:404060903761a0f80f43c647a095fb1451d55c7fb9557209421694de3dd93e8b","observation_id":"81b1489b-586e-4039-9f13-07d38dcb2cc0","resolution":{"observed_at":"2026-06-29T07:53:14.267208Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2606.03743","last_updated":"2026-06-02T14:56:10Z","snapshot_observed_at":"2026-07-06T23:43:55.632508Z","submitted_at":"2026-06-02T14:56:10Z","title":"Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T09:53:31.880933Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2606.03743"},"observation_digest":"sha256:1bc784127ac6437d34e3f11074cd7f0a380e359594ba8fcf55f81b3f82bf2e1a","observation_id":"b9897d54-7062-4fd1-bb3e-5f56a5f6b31f","resolution":{"observed_at":"2026-07-02T03:36:29.762871Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2606.04883","last_updated":"2026-06-23T10:56:57Z","snapshot_observed_at":"2026-08-05T15:37:01.185480Z","submitted_at":"2026-06-03T13:46:20Z","title":"Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-06-28T06:01:44.894830Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2606.04883"},"observation_digest":"sha256:8a5adbd16ac44ab9d4c525384c358973cd6f27d32d775ba2c8060a6f279e6ec3","observation_id":"0084176b-4e73-41ed-b536-e2f910d5571e","resolution":{"observed_at":"2026-07-02T08:26:48.351454Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-09T23:09:50.625695Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-01T05:54:51.200436Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:b24bfcfcf65ee826d1bea51140bcf423a13dbff6b74a9c0a5fc3e926bf2d4e72","observation_id":"4d635300-5955-4cc0-924a-fb1026b110c7","resolution":{"observed_at":"2026-07-01T10:05:40.899794Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":"1910.09336","doi":"10.48550/arxiv.1910.09336","metadata_source":"arxiv_reference","pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ioannis Tsiokos","venue":"arXiv (Cornell University)","work_id":"f57b270c-952f-401c-9b38-534494993a6c","year":1910},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-09T23:09:50.625695Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-03T22:34:08.241014Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:ff0c057df005a7e543d18588d19990e37c427047a6e789427daf8dee6ff6f6bf","observation_id":"4e5c22cc-1f17-44e6-a092-37e4c0d89438","resolution":{"observed_at":"2026-07-03T22:39:01.197901Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/1910.09336/citation-record","integrity":"/paper/1910.09336/integrity","json":"/paper/1910.09336/citation-record.json","paper":"/paper/1910.09336"},"outbound":[],"paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:1910.09336."}