{"as_of":"2026-08-08T12:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bfafa1f1cb150cd78c7427f300bf3c5dc6c6c608078540754e596630b79533d2","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-08T06:32:00.761636+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-07T00:43:54.903149Z","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":9,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-07T00:43:54.903149Z","title":"The F ourth I nternational V erification of N eural N etworks C ompetition ( VNN - COMP 2023): S ummary and R esults","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.13024","last_updated":"2025-08-11T02:15:49Z","snapshot_observed_at":"2026-08-07T01:31:42.307657Z","submitted_at":"2025-06-16T01:18:33Z","title":"Position: Certified Robustness Does Not (Yet) Imply Model Security","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T00:43:54.903149Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2506.13024"},"observation_digest":"sha256:739e763fce8cfa8cf1194bd32fbd4fbe5a2947ba5496d8c3ae1ab8a93a790173","observation_id":"b189dd80-5ad6-4fd1-85fb-97f93a9c2fe7","resolution":{"observed_at":"2026-08-07T00:43:54.903149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"citing_paper":{"arxiv_id":"2604.04914","last_updated":"2026-04-06T17:55:15Z","snapshot_observed_at":"2026-07-06T22:53:46.999911Z","submitted_at":"2026-04-06T17:55:15Z","title":"Analyzing Symbolic Properties for DRL Agents in Systems and Networking","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T18:40:41.047907Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2604.04914"},"observation_digest":"sha256:6ee9211eb4bdb1b146cd1647e8d57eeebfd203e5a1a18c8436ee6d27356538db","observation_id":"ccf14abb-4368-468a-8a54-7482bef97ed5","resolution":{"observed_at":"2026-05-11T00:10:51.212341Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"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":21,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:d5a6cb4bb775d40dc386bc377bd894aa8030a0ac67ee1e483bce7c30568f7465","observation_id":"76a8e3e8-e37a-4bbd-a4a0-fc7f316b41f0","resolution":{"observed_at":"2026-05-14T17:32:30.219381Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"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":21,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:fc2512456a36dd8a923df13229819db5724bd2605b1071313ac7863070bdf71a","observation_id":"24b311b0-9138-4e82-a76e-043c02017e40","resolution":{"observed_at":"2026-05-15T05:45:05.430186Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"citing_paper":{"arxiv_id":"2605.14972","last_updated":"2026-05-14T15:36:44Z","snapshot_observed_at":"2026-07-06T23:26:18.733776Z","submitted_at":"2026-05-14T15:36:44Z","title":"Viverra: Text-to-Code with Guarantees","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-05-15T03:15:11.893095Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2605.14972"},"observation_digest":"sha256:df445c5e12b58186aad8fe8fd671edcfe5210a60943190cfb0b7b4953ed69fcd","observation_id":"726f3744-ea44-41de-b863-0f52cb2a694f","resolution":{"observed_at":"2026-05-15T03:19:44.280798Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-07-06T23:48:44.159537Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:a85f2ace7cca8e1e406d3252a392eba90667167ff3f233912affc80de69e7b8d","observation_id":"3540f83e-8265-4997-a307-e614314a56a1","resolution":{"observed_at":"2026-07-03T00:17:29.247487Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"citing_paper":{"arxiv_id":"2606.20292","last_updated":"2026-06-18T14:32:05Z","snapshot_observed_at":"2026-07-06T23:55:29.991442Z","submitted_at":"2026-06-18T14:32:05Z","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-26T17:53:19.172873Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2606.20292"},"observation_digest":"sha256:e0bdd991ee51917e76909e6e6800375243a5e518b5df7306360cece0d57b08fa","observation_id":"edc363e0-8d03-4596-9325-786355cd8c39","resolution":{"observed_at":"2026-07-04T03:39:29.708899Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-02T14:02:55.491202Z","title":"arXiv preprint arXiv:2312.16760 , year=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16210","last_updated":"2026-05-14T12:32:57Z","snapshot_observed_at":"2026-08-07T14:42:18.559295Z","submitted_at":"2026-05-14T12:32:57Z","title":"A Survey on the Verification of Reinforcement Learning Policies","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-02T14:02:55.491202Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2607.16210"},"observation_digest":"sha256:7d521f6a5cd07924b8ac587d8b38775502c5148858d0e3ffb16837a0169c6386","observation_id":"59233193-e98d-450a-9add-ccb3a88c43bc","resolution":{"observed_at":"2026-08-02T14:02:55.491202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-03T16:43:37.529936Z","title":"verification of neural net- works competition (vnn-comp 2023): Summary and results","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-07T12:13:14.594321Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.529936Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:ea0b5f1c5c646e685ba76bae791621db2e07edbf41ffd057bbb6a91de9356ebb","observation_id":"59aa38d0-ebed-43d7-9f76-ab8a1bdc3de8","resolution":{"observed_at":"2026-08-03T16:43:37.529936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-03T14:41:46.338261Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.29051","last_updated":"2026-07-31T06:10:12Z","snapshot_observed_at":"2026-08-08T05:21:30.176639Z","submitted_at":"2026-07-31T06:10:12Z","title":"Learning Lookahead Lemmas for Neural Network Verification","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.338261Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:094a67d545b945cc985f393879ccf6291785d7f4bd206bfede1bba5e5797985d","observation_id":"8b8cfc58-f714-4007-9542-8bb9d1ef693f","resolution":{"observed_at":"2026-08-03T14:41:46.338261Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2312.16760/citation-record","integrity":"/paper/2312.16760/integrity","json":"/paper/2312.16760/citation-record.json","paper":"/paper/2312.16760"},"outbound":[],"paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T17:09:02.167931Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results"},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:2312.16760."}