{"as_of":"2026-08-05T10:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:54faa00c6178cb86b9840d4f5f5bc9b43da20b2c505fd68cb0de14ccb9c064ca","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":8,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":8,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":8,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":2,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2511.12253","last_updated":"2026-04-14T11:39:00Z","snapshot_observed_at":"2026-07-31T07:31:18.469493Z","submitted_at":"2025-11-15T15:18:51Z","title":"The Search for Constrained Random Generators","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-17T22:14:38.898617Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2511.12253"},"observation_digest":"sha256:53aefc5ba02e549eb7761384892ee4ba17be01ae783ce28874c04f8e47b42f39","observation_id":"c3a005d4-058e-4325-bc63-c84f36677422","resolution":{"observed_at":"2026-05-17T22:15:21.820500Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2604.05399","last_updated":"2026-04-09T00:24:10Z","snapshot_observed_at":"2026-07-06T22:54:08.897942Z","submitted_at":"2026-04-07T03:49:12Z","title":"PROMISE: Proof Automation as Structural Imitation of Human Reasoning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T19:08:39.326721Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2604.05399"},"observation_digest":"sha256:e4917d60b7440aa59e5fba58be6ae962b1f62ca560cc9cd7756102cc4793ab53","observation_id":"72184f4e-e596-4a88-84d2-56f10489176c","resolution":{"observed_at":"2026-05-10T23:25:53.922372Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2604.16584","last_updated":"2026-04-17T14:56:45Z","snapshot_observed_at":"2026-07-06T23:03:52.631613Z","submitted_at":"2026-04-17T14:56:45Z","title":"Certified Program Synthesis with a Multi-Modal Verifier","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T08:19:03.469738Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2604.16584"},"observation_digest":"sha256:8f1d7e0bdeca61e312135db054ab2e526f1ee79101ffadb872eb5ebc48ee2b8e","observation_id":"784fe8d8-7662-4e0c-83b7-769ad8f7ba29","resolution":{"observed_at":"2026-05-10T08:22:37.480498Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-08-02T09:13:36.201999Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:d580b6f9ba67db7a0891013df6948299446a5e7d7c4f9e2a082b9e499a210f73","observation_id":"380c0787-e186-4316-92d1-f186a6eb6c99","resolution":{"observed_at":"2026-05-10T02:27:36.553534Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2604.24354","last_updated":"2026-04-27T11:48:04Z","snapshot_observed_at":"2026-07-06T23:10:24.992210Z","submitted_at":"2026-04-27T11:48:04Z","title":"Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-07T17:51:33.241669Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2604.24354"},"observation_digest":"sha256:ed30203690e0f9e6a306380f20172bb4036480057f1984f2c39258b5e2c6e2c5","observation_id":"bf732cd2-4dc3-40ea-858f-6bb6cb801c9f","resolution":{"observed_at":"2026-05-11T23:16:14.490611Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2605.08694","last_updated":"2026-05-09T05:05:02Z","snapshot_observed_at":"2026-07-06T23:20:52.521341Z","submitted_at":"2026-05-09T05:05:02Z","title":"A Learning Method for Symbolic Systems Using Large Language Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-12T01:34:25.378350Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2605.08694"},"observation_digest":"sha256:c1fb8d79b391f70f4bae1bbe76cfbee5e671ee8e4def6dc4f6471c1ca6892cc6","observation_id":"b145b88a-c568-4a50-89fe-94b1cbddfe24","resolution":{"observed_at":"2026-05-12T01:36:14.640703Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2605.10712","last_updated":"2026-05-11T15:23:26Z","snapshot_observed_at":"2026-07-06T23:22:37.355450Z","submitted_at":"2026-05-11T15:23:26Z","title":"AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2605.10712"},"observation_digest":"sha256:976ecab38444ee5d972112d0ddda222c5d7033bc025998733cd2d5a07879f6f8","observation_id":"39373a11-7d0e-4bcd-860b-950f00a293ef","resolution":{"observed_at":"2026-05-12T04:21:20.461248Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","version":4},"cited_work":{"arxiv_id":"2410.19940","doi":"10.48550/arxiv.2410.19940","metadata_source":"pith","pith_arxiv_id":"2410.19940","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","venue":"cs.LO","work_id":"ecfd2f68-9c32-4e37-9fcd-5ec855694e41","year":2024},"citing_paper":{"arxiv_id":"2605.26017","last_updated":"2026-05-25T16:35:36Z","snapshot_observed_at":"2026-08-02T06:53:40.309183Z","submitted_at":"2026-05-25T16:35:36Z","title":"Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-29T20:17:56.069693Z"},"links":{"cited_paper":"/paper/2410.19940","citing_paper":"/paper/2605.26017"},"observation_digest":"sha256:b32456ff964c86145858c933b567a8aead39bb7ae34c27dc615523109fd704ed","observation_id":"3271f915-1146-4a27-9c05-a4f26ab82569","resolution":{"observed_at":"2026-06-29T20:23:57.864456Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2410.19940/citation-record","integrity":"/paper/2410.19940/integrity","json":"/paper/2410.19940/citation-record.json","paper":"/paper/2410.19940"},"outbound":[],"paper":{"arxiv_id":"2410.19940","last_updated":"2026-04-06T22:27:51Z","latest_version":4,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T19:39:59.961070Z","submitted_at":"2024-10-25T19:25:00Z","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification"},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2410.19940."}