{"as_of":"2026-08-14T09:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b9e730cc3f6176638515698dc2114115b9a27750f4246d20d9efcebce89b25e2","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":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":11,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T22:57:11.315769Z","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":60,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-11T22:57:11.315769Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-12T07:43:59.663028Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.315769Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:96a1e538c718655f1bfd8e6a5e0915e63ee525afe816a42f97abc69383e096d4","observation_id":"822fd003-ba22-4063-b4cb-930c1aaa70fb","resolution":{"observed_at":"2026-08-11T22:57:11.315769Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-07T11:09:06.756849Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers.arXiv preprint arXiv:2011.13824, 2020","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.03531","last_updated":"2025-06-04T03:26:31Z","snapshot_observed_at":"2026-08-14T06:26:11.820480Z","submitted_at":"2025-06-04T03:26:31Z","title":"Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:09:06.756849Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2506.03531"},"observation_digest":"sha256:2139013e90208f8df1e03c39119fc178df35b1da6710cc43b723c34a3248377d","observation_id":"2767abf3-9192-4cef-a3f2-d5180c25c90d","resolution":{"observed_at":"2026-08-07T11:09:06.756849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-06T17:43:23.040910Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-10T03:14:57.517544Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:23.040910Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:80bd40844bd3d1126d6233a43d78416bd06a3ce9a59ebcc87ced169f049cdf2b","observation_id":"ae1d90d7-9770-4730-a2af-b1ac1909edcd","resolution":{"observed_at":"2026-08-06T17:43:23.040910Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-03T08:39:45.848507Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2601.16510","last_updated":"2026-07-06T14:55:50Z","snapshot_observed_at":"2026-08-07T00:38:18.433498Z","submitted_at":"2026-01-23T07:18:07Z","title":"Learning to Optimize by Differentiable Programming","version":4},"reference_index":177,"source":"pdf_text","source_observed_at":"2026-08-03T08:39:45.848507Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2601.16510"},"observation_digest":"sha256:0fc51b7b26c1c442b999ff2db481aebc7e383635b84fb36c2ca988ba934d2618","observation_id":"12978dff-ecb1-4a67-8347-79233638af96","resolution":{"observed_at":"2026-08-03T08:39:45.848507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"citing_paper":{"arxiv_id":"2604.23474","last_updated":"2026-04-25T23:54:41Z","snapshot_observed_at":"2026-08-11T15:34:55.014475Z","submitted_at":"2026-04-25T23:54:41Z","title":"GeoCert: Certified Geometric AI for Reliable Forecasting","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-08T08:15:10.739078Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2604.23474"},"observation_digest":"sha256:6f706c75db813f158a048c46b0a292e37be39d8cc71551374c738c2faeb34e24","observation_id":"2ca7604c-5be6-4b21-a691-d2f8cdb5c51c","resolution":{"observed_at":"2026-05-11T20:41:13.924127Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"citing_paper":{"arxiv_id":"2605.10621","last_updated":"2026-05-11T14:16:13Z","snapshot_observed_at":"2026-08-11T11:02:15.730697Z","submitted_at":"2026-05-11T14:16:13Z","title":"Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-12T04:46:50.715051Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2605.10621"},"observation_digest":"sha256:43563a62f08dd8ecf315a21a9ec27c472f0af0b3527745e42db0273b960e7d59","observation_id":"55f45111-59c0-4ed5-8464-1b91f1f97119","resolution":{"observed_at":"2026-05-12T05:56:26.877290Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"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":130,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:18902e03703dd340ee535d063ab1a1226c6b2b484b7d8ccc87497d2d100b093c","observation_id":"df594802-bcf5-496d-9e7f-c805a21033e7","resolution":{"observed_at":"2026-05-14T17:32:30.581466Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"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":130,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:7dacd0fe412deadadcc98be8d4f354fb82748208401049f6ef369c7b2cee5f1e","observation_id":"d9485b93-b743-4a4d-8e6c-1e8616f9a5fe","resolution":{"observed_at":"2026-05-15T05:45:05.048925Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"citing_paper":{"arxiv_id":"2605.17153","last_updated":"2026-05-16T20:56:52Z","snapshot_observed_at":"2026-07-06T23:28:12.114488Z","submitted_at":"2026-05-16T20:56:52Z","title":"Stress-Testing Neural Network Verifiers with Provably Robust Instances","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-20T14:48:54.688641Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2605.17153"},"observation_digest":"sha256:42645d203cec8d97684862cb78652245f13ae80c2b68ec0feff4fa66ade74eee","observation_id":"13a55bfe-f73a-4b0d-bc18-d92ace8861ba","resolution":{"observed_at":"2026-05-20T14:53:23.488250Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"citing_paper":{"arxiv_id":"2605.30155","last_updated":"2026-06-02T17:20:50Z","snapshot_observed_at":"2026-07-06T23:39:29.458653Z","submitted_at":"2026-05-28T16:15:13Z","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-29T00:00:52.891222Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2605.30155"},"observation_digest":"sha256:7c593fb8e78ead8594bd18286b811242040b57744ddd81d1f760c0e0dff85c66","observation_id":"423706a3-21c0-46bd-a359-aeeae437162b","resolution":{"observed_at":"2026-06-29T00:02:49.696269Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":"2011.13824","doi":"10.48550/arxiv.2011.13824","metadata_source":"arxiv_reference","pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":"arXiv (Cornell University)","work_id":"b4078de3-9ab8-4e6e-bb28-b13437e218f6","year":2020},"citing_paper":{"arxiv_id":"2606.25239","last_updated":"2026-06-23T23:56:21Z","snapshot_observed_at":"2026-07-06T23:59:42.289674Z","submitted_at":"2026-06-23T23:56:21Z","title":"Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-25T22:32:53.911412Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2606.25239"},"observation_digest":"sha256:4038e419d8b5e80eaa94182619f31f6089a602297499d184654e93812bf197b2","observation_id":"f8c872d7-2ad1-46b9-b9e6-8a5246b58005","resolution":{"observed_at":"2026-06-25T22:38:32.943515Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2011.13824/citation-record","integrity":"/paper/2011.13824/integrity","json":"/paper/2011.13824/citation-record.json","paper":"/paper/2011.13824"},"outbound":[],"paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2011.13824."}