{"as_of":"2026-08-10T14:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6538b13e9f52280a8b6bfa56022380aaea1592e9b429913c90f458d495bd41f6","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:00:46.733872Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:41:51.221476Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.01054","snapshot_observed_at":"2026-08-04T09:41:51.221476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.221476Z"},"links":{"cited_paper":"/paper/2506.01054","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:0941e61dc4508603455968c89ccacfaa2ad04d6b3750414fd02cd11cf426a017","observation_id":"f7bde2a3-4ada-4258-98a0-84924621886c","resolution":{"observed_at":"2026-08-04T09:41:51.221476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.01054","snapshot_observed_at":"2026-07-15T14:07:56.936206Z","title":"arXiv preprint arXiv:2506.01054 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-02T18:47:57.962901Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":5},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-15T14:07:56.936206Z"},"links":{"cited_paper":"/paper/2506.01054","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:eed6c87e3743d1894403c7965fef0dcbed07963021b831c03eb55df17bad2385","observation_id":"a9516165-647b-4359-889a-4d2e34761cb9","resolution":{"observed_at":"2026-07-15T14:07:56.936206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.01054","snapshot_observed_at":"2026-08-02T18:47:59.452883Z","title":"arXiv preprint arXiv:2506.01054 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-02T18:47:57.962901Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":6},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.452883Z"},"links":{"cited_paper":"/paper/2506.01054","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:01e24034a331ebc0ed6fc37aa990c600c2a2082571b39a7b3f235a8e2ef892c4","observation_id":"e46537c2-79e8-46cc-bc0e-966c54b9096c","resolution":{"observed_at":"2026-08-02T18:47:59.452883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.01054/citation-record","integrity":"/paper/2506.01054/integrity","json":"/paper/2506.01054/citation-record.json","paper":"/paper/2506.01054"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:42.817143Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:42.817143Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:0b49ed42b06f1cf7d07d2c3e17f2210f35d9f93ecb6177519e5c05945f7dec66","observation_id":"840b782d-7708-4e5b-9a65-94d9bb34e65c","resolution":{"observed_at":"2026-08-07T12:00:42.817143Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:42.939341Z","title":"Introduction to neural network verification","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:42.939341Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:9a12ab8ced081990da0bcca7ac2c1c97493834afa356ed3bba48e76d2cb33a9d","observation_id":"cbb25258-f365-43a7-a4cb-0f6608595c27","resolution":{"observed_at":"2026-08-07T12:00:42.939341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.807896Z","title":"and Herzberger, J","venue":null,"work_id":"70625a82-0332-4fe0-838b-0dd4f7e40051","year":1983},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.053648Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:4e90e3cdb6753580249feefb2bb60ceec54e51e4b0386df9ee47bdcd4c2a3347","observation_id":"c1f3cabb-65e9-400d-b04a-35101748f776","resolution":{"observed_at":"2026-08-07T12:00:47.814504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.793652Z","title":null,"venue":null,"work_id":"ea5308f8-4fee-44a6-864f-c17e7e06f7c5","year":2020},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.215099Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:75bf45bd52c8b66fc6d6c3a1d42dbcb2ace39fda7381b5382110e817c6c65ea6","observation_id":"89974be4-67ac-4afc-84b7-3d5ea26f303b","resolution":{"observed_at":"2026-08-07T12:00:47.797948Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-91118-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"C., Daggitt, M","venue":"Lecture notes in computer science","work_id":"7bf8fb41-77ec-4d53-986e-340991ee65bb","year":2025},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.339108Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:c72068a676c47b8e801d03f8ad2526760f1bb4927b43ca166a8c429c67f39a06","observation_id":"06e723f2-8cbb-4ab1-bc2e-f8954da3c839","resolution":{"observed_at":"2026-08-07T12:00:47.780726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:43.494167Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.494167Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:545ae2e7f50b12b85e8bea1b857c9bee9f7fb8cb98fba8a1f1b4c2c5455def72","observation_id":"bfe4526a-39c0-44e4-bc5a-811e1b59ef09","resolution":{"observed_at":"2026-08-07T12:00:43.494167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-77935-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Output range analysis for deep feedforward neural networks","venue":"Lecture notes in computer science","work_id":"6d41afa5-3e36-4ea2-a229-1fa3c345d887","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.618025Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:df5ab6fab9200576a552008e20d1659e93e7b7e97ab9f1032659ca89effbddf3","observation_id":"0d78fc0d-8a30-4a48-9277-b0881565238e","resolution":{"observed_at":"2026-08-07T12:00:47.037015Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-68167-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Formal verification of piece-wise linear feed-forward neural networks","venue":"Lecture notes in computer science","work_id":"9480f885-1002-4594-b7e8-c0280594bb0c","year":2017},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.713627Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:0d388c2a8445282f29d66a0db152b1ffd7dd4a79d8ec417ab26fbf76be6d0a71","observation_id":"1871c1a4-bad3-4408-a8a4-29dd96905437","resolution":{"observed_at":"2026-08-07T12:00:47.025926Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.762321Z","title":"N., Jovanovic, N., and Vechev, M","venue":null,"work_id":"11c6e8f0-73e0-4dcf-935c-f5aec67fb86f","year":2022},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.785892Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:bf7af81ac1ff55112f2438dfd333d4dea570b9eacaf9dcab811d3e0946cdc49b","observation_id":"67eaa2fe-f0a4-44e6-a28b-6ef3477c2c70","resolution":{"observed_at":"2026-08-07T12:00:47.766824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.749163Z","title":"The zonotope abstract domain taylor1+","venue":null,"work_id":"d2a41442-7b63-4375-a1b1-49020e945049","year":2009},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:43.881952Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:97b21bd5450d5f4ad066463e8804fc6b0d6e6b4f10567c7ce1be9258126bdfb2","observation_id":"63a7d9af-d04b-4fbe-9a55-9d7c5739b507","resolution":{"observed_at":"2026-08-07T12:00:47.754737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-08T14:49:59.485488Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-07T12:00:44.007259Z","title":"A., and Kohli, P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.007259Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:1171ea276bd67493b9c68ae7c442261ac19fe7c4a1fe10f2d7e8254b154f9497","observation_id":"2549995c-24fe-4f47-a375-00a884e6b58e","resolution":{"observed_at":"2026-08-07T12:00:44.007259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:44.075841Z","title":"A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.075841Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:9a6acd2a66e0d7041cd3bee0fdab23f4673431c12b4af669697a432db24fd641","observation_id":"a0823970-c5d6-4b15-96c2-15560212e491","resolution":{"observed_at":"2026-08-07T12:00:44.075841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.734075Z","title":"and Rinard, M","venue":null,"work_id":"b19d56b7-8d5f-4e9c-8e07-d620fd4e77a9","year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.195192Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:ce51d78be64335f915fcb63d87e904b6cb040f3752df921538071add0382e628","observation_id":"41b56926-89ad-4d98-8b5d-7db1d926ccd3","resolution":{"observed_at":"2026-08-07T12:00:47.740553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.719187Z","title":"and Wang, J","venue":null,"work_id":"d2461259-efaa-440b-b19b-8004d63d5747","year":2000},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.293813Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:47a450a0f3f3e09c3c9809bbede32fd8faa810fa842575c589016208f28af4b2","observation_id":"fb80e53a-58b1-47f5-ac2d-351e93863711","resolution":{"observed_at":"2026-08-07T12:00:47.724386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.704535Z","title":"L., Julian, K., and Kochenderfer, M","venue":null,"work_id":"2de0cfe4-b522-4c8a-879b-2a1303594235","year":2017},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.357626Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:f7cea97eeded6de52283e7ef92e4c229ca2ce29722a602363462f34b84a6e86d","observation_id":"36229d61-84b6-41b5-bd35-1761ebd405b2","resolution":{"observed_at":"2026-08-07T12:00:47.709154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.688537Z","title":"J., and Bengio, S","venue":null,"work_id":"5cbdbe12-f2df-4b78-81f5-8a374b09c3d8","year":2017},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.430658Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:35cd50f299f89ae27ec6826f327f26deecb9bde97369039bed16ada87941f89c","observation_id":"ca98b070-c54a-4de4-b432-7561c7cc4ad5","resolution":{"observed_at":"2026-08-07T12:00:47.695159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:44.524476Z","title":"Sok: Certified robustness for deep neural networks","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.524476Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:a2265279f196bb4210a45dee3c170d4df634597598ad023497ffd7aecc23d8ce","observation_id":"1bbb77c3-2611-46a0-abb5-34fcf10cd2f0","resolution":{"observed_at":"2026-08-07T12:00:44.524476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:44.615387Z","title":"A., Barrett, C","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.615387Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:36c088e52c159e90179d4fab9739042aacd653c8af58621a0c2a58845ba369bb","observation_id":"f93e53e7-1771-42ca-bb8c-209f93f7eb29","resolution":{"observed_at":"2026-08-07T12:00:44.615387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:44.690030Z","title":"Sound mixed fixed-point quantization of neural networks","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.690030Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:42a6c732a61502659b25b16441207628cb6c5d19f928fab0d0cc5dec145f195a","observation_id":"c4114db3-3ef6-4cbd-93fb-446e41e03fba","resolution":{"observed_at":"2026-08-07T12:00:44.690030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.675623Z","title":"Towards deep learning models resistant to adversarial attacks","venue":null,"work_id":"f280d7f6-0ff6-48d1-95b9-b97048ab35de","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.810743Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:aa7ef7cda9eba2e5708fcbcff96e09bb497a300d1b0fdd18dc9aff2b9043e703","observation_id":"68bfcb56-1d5e-4564-8e18-894731a27b31","resolution":{"observed_at":"2026-08-07T12:00:47.681024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.660309Z","title":"Relational abstract domains for the detection of floating-point run-time errors","venue":null,"work_id":"a532465a-ad8c-45c2-80a9-487dc575b549","year":2004},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.873508Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:ab6c36a719a613ce38e5766463a28a609b9f81cc20b471219af6fa40aa722a37","observation_id":"bea3ede0-523c-4dd4-a690-670c35e212b9","resolution":{"observed_at":"2026-08-07T12:00:47.665627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.647204Z","title":"Differentiable abstract interpretation for provably robust neural networks","venue":null,"work_id":"45b268f1-e655-4dfa-8614-9cdc1ce8256e","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:44.966985Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:8f08905156a4ad8ceb7e54ad8c601f24323e569e110312612dad7d28715810be","observation_id":"3c8d7df1-0367-4e23-b226-feaa9a7fd565","resolution":{"observed_at":"2026-08-07T12:00:47.652333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.629063Z","title":"D., Behl, H","venue":null,"work_id":"9e7aace6-8681-4eab-b519-79974d123878","year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.059756Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:1a26b508af46fcad4042a7759414468aeae1104d98bc4c75d6a96341b9d391b5","observation_id":"34afbd3a-3e96-43b7-a1fc-acec2e453947","resolution":{"observed_at":"2026-08-07T12:00:47.636264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.614280Z","title":null,"venue":null,"work_id":"ce01f63c-82be-4454-94d1-610fb7bb673c","year":2014},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.133103Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:c6787b2937944387e0795bd4d2041398dcb31f8ea6e7ba97a059817abf598dc1","observation_id":"2e3c0e7b-8ef3-4b33-b506-aaf2de7e2c11","resolution":{"observed_at":"2026-08-07T12:00:47.618738Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.596513Z","title":"o gl, A., Hofer, N., and B \\","venue":null,"work_id":"a810f1ab-bcaf-4b2e-9504-9470d3cffb09","year":2023},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.239496Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:8499d96f0e830675b9dda463c34969498712d7b7b99f6718000a3d8847faaa56","observation_id":"6ab2b81f-b578-4f42-b01e-a2dbda15c8f1","resolution":{"observed_at":"2026-08-07T12:00:47.602512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:45.327431Z","title":"R., Coletti, M., and Sedova, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.327431Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:0e801ab46bbd1659dd7564cc06060218c1e860d22f46f5d5c5cf77c9d47b5d16","observation_id":"10df825c-9b29-43df-9cb2-b685244b8c3e","resolution":{"observed_at":"2026-08-07T12:00:45.327431Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17173","last_updated":"2025-08-22T12:19:45Z","snapshot_observed_at":"2026-08-08T22:03:13.310720Z","submitted_at":"2025-03-21T14:19:45Z","title":"Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability","version":2},"cited_work":{"arxiv_id":"2503.17173","doi":"10.48550/arxiv.2503.17173","metadata_source":"pith","pith_arxiv_id":"2503.17173","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability","venue":"cs.LG","work_id":"407d9fe6-6c83-4c8e-ba6b-2fddec410df1","year":2025},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.391335Z"},"links":{"cited_paper":"/paper/2503.17173","citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:71f074d7cca7d8e4639f82485aa90cd5d32cccb6d4b7121a62e63b9aaf106829","observation_id":"aa780e96-fa14-47a2-a733-e180d01d36e8","resolution":{"observed_at":"2026-08-07T12:00:46.988368Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.579412Z","title":null,"venue":null,"work_id":"6b2d6d0e-bf24-45bf-8183-70b0523ccf97","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.464423Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:4dbf15d24213bfbd978e7dfb5f9eb2c6f8e150e4b6727d1e95e718ecb87b42dd","observation_id":"0784e130-4422-450b-a5de-8546c059ca98","resolution":{"observed_at":"2026-08-07T12:00:47.584945Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:45.583208Z","title":"An abstract domain for certifying neural networks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.583208Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:8d1f9e06e5d0177f9e0a9d621ac2e087d0cdc2a3fb551bfa0b6d7561c4292fc8","observation_id":"912be65e-7cec-4519-a1fb-699f6808016a","resolution":{"observed_at":"2026-08-07T12:00:45.583208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.561619Z","title":"Boosting robustness certification of neural networks","venue":null,"work_id":"5d8c27b3-60d0-4e24-aff2-c0d5f6c5b420","year":2019},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.646896Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:78ba07ff9d5e9eb6eaa648221cfee165e44ffd4e8ec2caa1e94cb019e90509a7","observation_id":"7e8c86da-62ce-42fa-9f1e-5f8a33e7775c","resolution":{"observed_at":"2026-08-07T12:00:47.569246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.544625Z","title":"uller, C., Maurer, J., Hoffmann, A., Baader, M., Mirman, M., Gehr, T., Tsankov, P., Drachsler Cohen, D., P\\","venue":null,"work_id":"e14c3d78-a11c-40ed-a61a-31f20cf92cf2","year":2025},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.734424Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:c1ee47a1a27627cbaa8ef722a36e6cce4f26a5575df649b7c97b346941a33502","observation_id":"ee778f79-19a4-4048-aa49-250bc5f1634d","resolution":{"observed_at":"2026-08-07T12:00:47.550576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-07-06T03:31:33.797310Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-07T12:00:45.794547Z","title":"J., and Fergus, R","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.794547Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:827128e4c4c3cb63afcaeef184995cabf571814b3cda171349e44a28707436ca","observation_id":"21054a58-c4b3-45a6-91fd-4a3c11a72f9a","resolution":{"observed_at":"2026-08-07T12:00:45.794547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.529110Z","title":"Y., and Tedrake, R","venue":null,"work_id":"8298209e-1edf-4f0d-b067-e18e8c9b113f","year":2017},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.853119Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:3562e1ce6804d4d0ca8975fec7df4b65f170b9c77fdaba43a6519fd894791fd9","observation_id":"89685e76-1773-4940-8419-fae7bc995964","resolution":{"observed_at":"2026-08-07T12:00:47.534221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.514811Z","title":"Effects of floating-point non-associativity on numerical computations on massively multithreaded systems","venue":null,"work_id":"b012c791-0367-42c4-bea5-fa5f22a3b7cc","year":2009},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.934658Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:94437f889318dd87bbe39b2b60fdf85f122ac6ff650c8db676b582a328e44ecd","observation_id":"19365a3d-414c-4310-8a77-a773c8eab4c9","resolution":{"observed_at":"2026-08-07T12:00:47.519959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.502409Z","title":null,"venue":null,"work_id":"caf816c0-5d33-4b80-99ac-1d7f9994d0c2","year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:45.943205Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:88bfd6d86fb5cf1b58d74b62ffd05400aacd552f01f339662e355902837b90da","observation_id":"d5fcd98c-4c1f-4238-9a47-dec704547cea","resolution":{"observed_at":"2026-08-07T12:00:47.506236Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.487817Z","title":"and Kolter, Z","venue":null,"work_id":"229b39ef-ebd6-4349-8c24-47fe25fc09fa","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.009543Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:a3846307e4c64f31a66f25d0a0f6606dca11e10033c8fbeaf7da8b5e56ea0e0b","observation_id":"d1cef670-493d-43a5-a6c9-f1c25724e3d3","resolution":{"observed_at":"2026-08-07T12:00:47.492082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.474994Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond","venue":null,"work_id":"58768cc7-211e-4d70-8049-6d9c20728afb","year":2020},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.176799Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:6f626c0f66865efcf8ddffd68380c8965043871efb7966f30a84bd00f3b1908a","observation_id":"958f67ed-9dbb-408e-b715-bbd94c5e93cd","resolution":{"observed_at":"2026-08-07T12:00:47.478667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.460410Z","title":"Fast and Complete : Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":"c0b4ff68-b2eb-469e-9784-769dd0244ace","year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.279669Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:759ce2c56168daba308eca490c9c3627e09dbaec4d69fc5bb56b59c9c919852b","observation_id":"c8b7b090-a0b5-4ea3-a9d1-8b9484499419","resolution":{"observed_at":"2026-08-07T12:00:47.465801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.447317Z","title":"Efficient neural network robustness certification with general activation functions","venue":null,"work_id":"4ed9bbc5-a854-4ca6-87d2-ef8f4c0a4fcb","year":2018},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.443006Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:43f1c55a7aa2eefb4bfaada8f5ff9e22a03601b7ed2e9899920bff3476e0fd08","observation_id":"b412a8a7-f16e-4d16-a6c9-9e8f856dc243","resolution":{"observed_at":"2026-08-07T12:00:47.452217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.432172Z","title":null,"venue":null,"work_id":"b2123882-d5c9-40ca-9b0e-f7fdaa3b0518","year":2022},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.567154Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:e78ac8c51abd24d08b73d508120b490a9517f077f17c21c259b3c39f026c6b7b","observation_id":"d249868f-c543-4d0a-8ae1-dba35e2ebc62","resolution":{"observed_at":"2026-08-07T12:00:47.437038Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.418180Z","title":"Fooling a complete neural network verifier","venue":null,"work_id":"8610262f-6692-45a4-9351-b210f7df6a42","year":2021},"citing_paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T12:00:46.733872Z"},"links":{"citing_paper":"/paper/2506.01054"},"observation_digest":"sha256:255f5c84de39be6415bc9ae6ba36e93bb44e4e225ea0f632c85f9be52362e4d1","observation_id":"e97f118a-9dc1-4cf3-a5d5-6a7b6f2ab6c5","resolution":{"observed_at":"2026-08-07T12:00:47.422880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T14:53:01.003120Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":4,"verified_fuzzy":21},"total_outbound_references":41},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 3 inbound Pith citation observations for arXiv:2506.01054."}