{"as_of":"2026-08-08T08:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:89e97114471e325d70f053484c2b377cdb8b61d4ab0c8f7cbe8fbbfe4d851416","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-08T06:32:00.761636+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-07T11:49:45.212791Z","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-07T09:53:56.157384Z","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:a9a837cb62557900720bec56c97d39cfccdf85b7d995c630d69ee9642949121a","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-07T11:49:45.212791Z","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:ceba02abb4af05c0657b512a90bf917ac833b04f4a5b4449ce775d3346864ff3","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-07T11:49:45.212791Z","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:9edc962e1aab77f79ab0d7dc763d931a60fe23c712c37bedf60294e25b6b9e13","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-07T11:49:45.212791Z","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:25b39612f909db29d1d02bdc881d47fcc9a65adc3b5923ca4552fcfa0ee8763d","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-07T11:49:45.212791Z","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:e0073f80693a390fa90e66fb6fce7926d347c547275f0d784608c2cd79ea548f","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-07T11:49:45.212791Z","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:100bde3fc08f23bd5e3d9c2891098418c8a6cea8c00b73d349558c082ab7c45f","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-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":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-07T11:49:45.212791Z","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:0d64dc37c2085f0f2d44756342db096550f196868c370ef7acbc35705fae7dbd","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-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":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-91118-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.774803Z","title":"C., Daggitt, M","venue":null,"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-07T11:49:45.212791Z","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:0abe0bfbdf85d917ad958aae0ccf3bb6829d692b2a6db722a6f1eb6bada7e079","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-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":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-07T11:49:45.212791Z","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:5d050258039f6fb8323bd43ec77f66886d4317c518fa7e7bfdb33d7d4af214d4","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.033553Z","title":"Output range analysis for deep feedforward neural networks","venue":null,"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-07T11:49:45.212791Z","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:e16aa64d321a5a073c678d66979c5f91de4a25a2e6aa4e7add1189051121ccb8","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-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":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-68167-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:00:47.022281Z","title":"Formal verification of piece-wise linear feed-forward neural networks","venue":null,"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-07T11:49:45.212791Z","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:6866fb08f69feaa201338499b78feef4f5a00c226b1b624be84cd552d6e4de98","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-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":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-07T11:49:45.212791Z","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:396ac695a3098b320a18148b5383fc93f3aa1f38bb34727338e18cbc9e6224f4","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-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":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-07T11:49:45.212791Z","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:bf7ae9ed72e877b44ee9368a2a3e97e28fe983b8424547e906069ba256fd72b2","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-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":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","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-07T11:49:45.212791Z","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:650b39b88a877507f7a41a037fff6b648372da3aad33e4bdabe0338af241199c","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-07T11:49:45.212791Z","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:a63e6a335c4adbbfd069685eafa290da557d1ca3f6683306fe27024dbe8c358a","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-07T11:49:45.212791Z","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:94855f522e791483f676712ce91bac7454749a818ec6a254dffa12532b881d01","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-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":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-07T11:49:45.212791Z","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:467da30c077807a37f3ead7bc694beaca177e4d8ceffdd5f58fa009ea7e40157","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-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":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-07T11:49:45.212791Z","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:c58c667b915cf568cef13d8aadc1e5114bb52fc31ebd97e8343d279c989de400","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-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":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-07T11:49:45.212791Z","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:bc9f0bc93508d1b11701fa4e949aa607cb31a5924d42dcf5cf601174de0e93f7","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-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":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-07T11:49:45.212791Z","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:8ac57fce12ffdde2e6ba7f49529b8a88b07d11e8dc3582240e9684700661484b","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-07T11:49:45.212791Z","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:3fbab74a1ee462712e114ab7f4cd1a53c43ad68aeb0c7d21c05eabd7db492b26","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-07T11:49:45.212791Z","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:1855ef8c92e8014229fd04d8e6e7ef7ce4f94a46751e4660035e92cf40b6c555","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-07T11:49:45.212791Z","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:760b99d95d4b8299f9a889f08c84db5666bab9c635a8fb8c19de96c891336e41","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-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":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-07T11:49:45.212791Z","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:f119971c849a80b537d70c45a50951a950509f94db28dbb9d3359ef7dac65dbc","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-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":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-07T11:49:45.212791Z","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:02fe7ee607f2a7aae929b9b85350c920fab694762bcb35c853a1f29878ebf2ac","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-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":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-07T11:49:45.212791Z","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:1c3cff1f793159c220fc86e541e792be0936afaf47abc56b0db3d6ec02b1c06b","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-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":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-07T11:49:45.212791Z","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:b4dc9e94fb044fe8d494395d07b52fe6964a76b89abab3b5492537c7e8065716","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-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":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-07T11:49:45.212791Z","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:9ac6a88cc293a48e3ae4cb2b24cf33e3ee5a29403dbaca872e4a719fccd51a34","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-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":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-07T11:49:45.212791Z","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:b580218861f204bf8183538a05583ce56fa6e62e7f8dc60dc98bf10acbea7d92","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-07T16:46:27.087901Z","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-07T18:16:16.850658Z","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-07T11:49:45.212791Z","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:b19b8d3a546436f4d312199ff68794944463f7fcd7997cc535efb8fa35c7de1a","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-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":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-07T11:49:45.212791Z","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:0f79f7b4797f6e33b6e88be0c3b36f195b54f60cce60b5706348c400c42db70a","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-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":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-07T11:49:45.212791Z","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:a01966de9fdf8cd1e62e5766ce8fe98e909f8eae090853307cbe97b1ebf531ba","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-07T11:49:45.212791Z","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:5829e0b055a6d00f23b790249f0dd3a630aa7bb7761d35fe4ca5f97999cb5a7d","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-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":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-07T11:49:45.212791Z","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:e45191f47c8cd036f174c715ed9827db6170c8b6381ea39288d9daeccfa82610","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-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":"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-07T11:49:45.212791Z","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:598b6dc8a2c1f7811611c4368e48ea42cc2a89aee259bc49f266506b7308bee3","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-07T11:49:45.212791Z","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:cd0bb66418e105304ed98e165988ed6379a0d8b4d1aaf15c8bb73dce4002e93b","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-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":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-07T11:49:45.212791Z","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:9b0f37f3df2157fc5ac3b8e1cc03a05b4cbaab8af9ee1b45e7a510eda2c92ddb","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-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":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-07T11:49:45.212791Z","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:6e044fbd92fac1af59d08afa9bcb2e7af0d921eb9df94ad16b5de841e8cb6a35","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-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":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-07T11:49:45.212791Z","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:8e3c5f0af6fc2aa1f34b8393ce7ce0064ea75ac6e81f7bd484d5c1f964191074","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-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":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-07T11:49:45.212791Z","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:fe0c6db94e50e7dd655701aa8061920cf8c1f08ad6b40b29affd3d82cef187a8","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-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":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-07T11:49:45.212791Z","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:423bdfc00bf5bcbc3cfac5e5295fb15b64312728fd00c50f991616c83643a687","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-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":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-07T11:49:45.212791Z","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:28b8f956e3389cebbe4b0c019d44dd820a366a90551d531dff4733cf2e780e17","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-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":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-07T11:49:45.212791Z","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:b2f152bfc762f73b0025382606b5c753560261e5102efe2e1742b30564f24c6d","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-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":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-07T11:49:45.212791Z","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:5c9a2608cdadff2da1f9d414aae914820405c4fd37116d98dd9a7edcb9de840c","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-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"}}],"paper":{"arxiv_id":"2506.01054","last_updated":"2025-06-01T15:47:37Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T11:49:45.212791Z","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-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 41 of 41 outbound references and 3 inbound Pith citation observations for arXiv:2506.01054."}