{"as_of":"2026-08-20T19:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:54562b715549c978959751c88d0f09674c83c62a4e24010bec08b5218c5b5b8a","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":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T17:20:04.247977Z","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":5,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2402.05284","last_updated":"2026-05-02T21:42:12Z","snapshot_observed_at":"2026-08-13T08:27:58.494968Z","submitted_at":"2024-02-07T21:58:40Z","title":"Analyzing Adversarial Inputs in Deep Reinforcement Learning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-24T03:40:04.265426Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2402.05284"},"observation_digest":"sha256:5745109582a75fc6d3c3b9e919e9de3a60765af4cddcd34c33d0e04e7fdba0e6","observation_id":"13141092-1437-41e5-bcfb-6bc75650a50e","resolution":{"observed_at":"2026-05-24T03:43:50.375755Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2603.23878","last_updated":"2026-08-04T18:16:49Z","snapshot_observed_at":"2026-08-17T11:46:54.915397Z","submitted_at":"2026-03-25T03:09:25Z","title":"The Luna Bound Propagator for Formal Analysis of Neural Networks","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-15T00:58:10.024343Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2603.23878"},"observation_digest":"sha256:554053f0be2eded1ad48b62ac1132a0707afc205dad07580dd73c2b18f4baf4d","observation_id":"dae1ae77-0457-4aaf-ac28-ac9ee2601353","resolution":{"observed_at":"2026-05-15T00:58:25.492923Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":1},"reference_index":127,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:366cc3a87ad31ef5dcf62bb419ba126bfcde271decb11796a6847e102a06f785","observation_id":"154a0982-c678-4d54-8ba3-12ebed28c4d4","resolution":{"observed_at":"2026-05-14T17:32:30.552067Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":2},"reference_index":127,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:338ef672f5d7941b897cbb915e69d76651faf3d692880507bc95a8f06ee10627","observation_id":"b4f1513a-6266-48e6-8e1a-9b266b51e615","resolution":{"observed_at":"2026-05-15T05:45:05.066335Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:62651f64cfa1af570245e4c326c76bf328ed5d5a8e09847fd0f0e234c8dc1378","observation_id":"26247f13-dd23-4c00-8ce0-6e6cad928120","resolution":{"observed_at":"2026-07-03T00:17:29.228876Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2401.14461/citation-record","integrity":"/paper/2401.14461/integrity","json":"/paper/2401.14461/citation-record.json","paper":"/paper/2401.14461"},"outbound":[],"paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-19T17:40:56.467411Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks"},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2401.14461."}