{"as_of":"2026-08-09T06:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7afd1ebff7ca369ca2795a3adf4e69d5362d6052c8a76c24fb87ccde3606bad2","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T18:47:59.506811Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2603.13334/citation-record","integrity":"/paper/2603.13334/integrity","json":"/paper/2603.13334/citation-record.json","paper":"/paper/2603.13334"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T18:47:59.196955Z","title":"In: Proc","venue":null,"work_id":null,"year":2015},"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":1,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.196955Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:a03149b5e889fd0ca6a27049da68569d14c445f25751b9b6de64420487d7b28f","observation_id":"76e1d055-13cb-46ca-9f54-64df8c5c7663","resolution":{"observed_at":"2026-08-02T18:47:59.196955Z","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-02T18:47:59.270874Z","title":"IMA Journal of Numerical Analysis1, 21 (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":2,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.270874Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:cc160603876abe094e10def6706a02699d66a23966192ae2dcb3a65ae1fdbea8","observation_id":"46f78cb4-4f5f-4fbf-833a-7144af9f02e3","resolution":{"observed_at":"2026-08-02T18:47:59.270874Z","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-02T18:47:59.285551Z","title":"In: NASA Formal Methods Symposium","venue":null,"work_id":null,"year":2021},"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":3,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.285551Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:f1ba7fcdcd8be413d2d1de3ae777f0a8b2c8a75cc47230984944349535e1a965","observation_id":"d33e8083-86d4-4f5a-b7e2-e7704cf0227d","resolution":{"observed_at":"2026-08-02T18:47:59.285551Z","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-02T18:47:59.290018Z","title":"In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020)","venue":null,"work_id":null,"year":2020},"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":4,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.290018Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:568bd4754a50b5755b3ce9154d7063b23046a1226d6494ea2a326d2b7c6ad110","observation_id":"ac2a2e45-7fa6-4c3e-9fa8-7cd5362d023d","resolution":{"observed_at":"2026-08-02T18:47:59.290018Z","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-02T18:47:59.294263Z","title":"Springer Science & Business Media (2013)","venue":null,"work_id":null,"year":2013},"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":5,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.294263Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:1d5e6bafc83497dffedda9c623691e36342c381e6572893151649f646ea84f8a","observation_id":"3eb13c9c-3cc1-4500-b2f3-7837f7378c74","resolution":{"observed_at":"2026-08-02T18:47:59.294263Z","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-02T18:47:59.298415Z","title":"IMA Journal of Numerical Analysis p","venue":null,"work_id":null,"year":2026},"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":6,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.298415Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:2afbcd6a5b240d2aab59e2f5877436b85cd1149e0d18e07c942bf1568ee617da","observation_id":"cdacdf90-599b-4645-bd30-0fe9a6ba5711","resolution":{"observed_at":"2026-08-02T18:47:59.298415Z","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-02T18:47:59.303301Z","title":"In: European Symposium on Programming","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":7,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.303301Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:1a73cb061b8b3ccc49b3ea82958d4b8c20eadd8bc60bda84b0f51936504b0d8f","observation_id":"74c04f4c-04ad-4873-a1c5-09db8bd57075","resolution":{"observed_at":"2026-08-02T18:47:59.303301Z","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-02T18:47:59.307463Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":null,"year":2023},"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":8,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.307463Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:4628cdc78530a27cde9fcff729a12a5a8cc503202663067b7ecd5d75a1f928df","observation_id":"609f21da-a459-4e7a-9169-d24525ccb433","resolution":{"observed_at":"2026-08-02T18:47:59.307463Z","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-02T18:47:59.312099Z","title":"Soft Computing (2024)","venue":null,"work_id":null,"year":2024},"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":9,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.312099Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:d6b67d5adcb366613d0476e5d0d3a2bf3fadd0aee75b8e3e9e1e0f0ddee1de93","observation_id":"5408b65b-401b-465e-aa79-9e02761df72d","resolution":{"observed_at":"2026-08-02T18:47:59.312099Z","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-02T18:47:59.316446Z","title":"In: FoMLAS","venue":null,"work_id":null,"year":2023},"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":10,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.316446Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:960ddd01fa39e9a462f6fdae9e01bfc5573036226b43aa6270b858bd977ea6ab","observation_id":"889e6209-4fa4-4763-94af-0b51b8d98618","resolution":{"observed_at":"2026-08-02T18:47:59.316446Z","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-02T18:47:59.320690Z","title":"SIAM (1997)","venue":null,"work_id":null,"year":1997},"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":11,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.320690Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:3c9d30a9f9863c7320407471877af090784b1611c4ea67642414bc5a5a4278a7","observation_id":"ba049569-d234-4d8a-9065-387b1c533435","resolution":{"observed_at":"2026-08-02T18:47:59.320690Z","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-02T18:47:59.325671Z","title":null,"venue":null,"work_id":null,"year":2023},"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":12,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.325671Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:ae5ff8255ba49feb8a105955e319ec5b4e83827ab36a0883948267d2bd0fe340","observation_id":"ad5c8f05-2c08-4d3a-bffa-48656fce9431","resolution":{"observed_at":"2026-08-02T18:47:59.325671Z","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-02T18:47:59.330147Z","title":"In: International Conference on Computer Aided Verification","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":13,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.330147Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:3baeafc0b63e5a83a1c9ae267cf0643817196ba006c8626264dca59ab62f861e","observation_id":"23a4440c-b6b8-4ead-8729-b56fa100dd00","resolution":{"observed_at":"2026-08-02T18:47:59.330147Z","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-02T18:47:59.334187Z","title":"Proceedings of the ACM on Software Engineering1(FSE), 859–881 (2024)","venue":null,"work_id":null,"year":2024},"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":14,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.334187Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:25fcf9c890037833fcda5156bc6b9df2e7ea90b8ca5244bf18540bf606dafd9a","observation_id":"d9135354-a936-42f9-b526-0fa782f240be","resolution":{"observed_at":"2026-08-02T18:47:59.334187Z","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-02T18:47:59.338424Z","title":null,"venue":null,"work_id":null,"year":2021},"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":15,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.338424Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:7d6f2f9ec87c39fe3e58a505cc657014ca31cfc190947dcdbbaf509d3b65e343","observation_id":"c257242a-566f-4faf-bab0-4497033b2d22","resolution":{"observed_at":"2026-08-02T18:47:59.338424Z","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-02T18:47:59.342668Z","title":"In: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QL D, Australia, October 18–22, 2021, Proceedings 19","venue":null,"work_id":null,"year":2021},"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":16,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.342668Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:202dd2c5181192a8e13e1f95c53ea1b38d826dce2428cf8660fbadf24464eb10","observation_id":"a40606c2-4387-4b67-b4a0-43888933ebd2","resolution":{"observed_at":"2026-08-02T18:47:59.342668Z","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-02T18:47:59.346733Z","title":"SIAM (2002)","venue":null,"work_id":null,"year":2002},"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":17,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.346733Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:06a22392e6f407f917485a8706591e75ce18293f58e9fd0659952e19a15c1da4","observation_id":"32d52852-3533-468a-a44e-c20c0b2c86a7","resolution":{"observed_at":"2026-08-02T18:47:59.346733Z","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-02T18:47:59.350795Z","title":"arXiv preprint arXiv:2601.18513 (2026)","venue":null,"work_id":null,"year":2026},"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":18,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.350795Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:6fec45302c46f9a5a063f56070502fd525586899cb426d1beb04ceebd143613c","observation_id":"eee79aa1-e809-4486-8384-c6ce003772c2","resolution":{"observed_at":"2026-08-02T18:47:59.350795Z","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-02T18:47:59.354777Z","title":"In: International Static Analysis Symposium","venue":null,"work_id":null,"year":2021},"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":19,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.354777Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:b8187fce2095b3359deed6139bf8651737c7ed9bcc402bf321fb26f98b53286e","observation_id":"53f9c0c7-7fda-4915-9b8a-6dd76125e7cd","resolution":{"observed_at":"2026-08-02T18:47:59.354777Z","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-02T18:47:59.358990Z","title":"In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security (AISec) (2024)","venue":null,"work_id":null,"year":2024},"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":20,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.358990Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:53f13e6cd583d6979429e5affdab8b33ac381b41b084126bef4bee12e9b00eb3","observation_id":"38b11080-c653-4339-a11f-f926fd66a030","resolution":{"observed_at":"2026-08-02T18:47:59.358990Z","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-02T18:47:59.362905Z","title":"In: International Conference on Computer Aided Verification (CAV)","venue":null,"work_id":null,"year":2017},"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":21,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.362905Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:9f2619163338b398baae3019b4a6e11edefd94a09beecf17ca29a033b7040cb1","observation_id":"01178e59-1465-45d8-8523-c98c27b14970","resolution":{"observed_at":"2026-08-02T18:47:59.362905Z","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-02T18:47:59.366719Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2019},"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":22,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.366719Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:27845125704be2e6f2abeef79657bb0e64b5adaf5ab7fd74391b99c782a0402f","observation_id":"6e59b183-923f-44c8-b381-1181bbd4accc","resolution":{"observed_at":"2026-08-02T18:47:59.366719Z","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-02T18:47:59.370895Z","title":"arXiv preprint arXiv:2512.19007 (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":23,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.370895Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:1abec31b46b7e2d603c63c56ac877b0b55fd0e88504f1f67e07700df46e1190e","observation_id":"148f3fae-eb31-4ff3-bd61-02ffefc812b0","resolution":{"observed_at":"2026-08-02T18:47:59.370895Z","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-02T18:47:59.375303Z","title":"In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)","venue":null,"work_id":null,"year":2023},"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":24,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.375303Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:dd78257418cefae70d108a502dc755cbb4915624bd2b937b9dc48ec30c50ed7c","observation_id":"7287b4b4-e768-48e1-86d8-ecfd4776e8a8","resolution":{"observed_at":"2026-08-02T18:47:59.375303Z","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-02T18:47:59.379443Z","title":"In: NASA Formal Methods","venue":null,"work_id":null,"year":2023},"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":25,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.379443Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:7754313e263e500369fbab83e710518a4334acfce1edceccf22a2b4eaa0a4e25","observation_id":"65e9a3f8-cc58-48f7-b0be-a024b2992653","resolution":{"observed_at":"2026-08-02T18:47:59.379443Z","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-02T18:47:59.383639Z","title":"arXiv (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":26,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.383639Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:baa77e352e449d0c0f4cab590f3db51a3f5b4498e2fae6fdab1d29928323b7e4","observation_id":"6bcf2fa8-e8ee-4230-be40-9566cbec8cfa","resolution":{"observed_at":"2026-08-02T18:47:59.383639Z","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-02T18:47:59.387673Z","title":"TMLR (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":27,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.387673Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:95d4ea68eeeece796b3963f8b4af1e51bdb9e7219ff823bb7501e3091a7880b0","observation_id":"7df476b4-d01c-4b4d-bea2-df60a4ec858f","resolution":{"observed_at":"2026-08-02T18:47:59.387673Z","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-02T18:47:59.392019Z","title":null,"venue":null,"work_id":null,"year":2009},"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":28,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.392019Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:5a9c4bad5b00a4c56221bcb493c0dcf000abb8bbef9bab318ad3889b94590eb7","observation_id":"42fc35cf-f725-4eec-8f33-32e922914bf0","resolution":{"observed_at":"2026-08-02T18:47:59.392019Z","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-02T18:47:59.396330Z","title":"In: Proc","venue":null,"work_id":null,"year":2023},"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":29,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.396330Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:290ab2a4beb70a5f1561270bfa595168744ace9effcbed84b1f345440795f5f8","observation_id":"ccdd4256-d84c-49dd-97bc-65943051a404","resolution":{"observed_at":"2026-08-02T18:47:59.396330Z","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-02T18:47:59.400394Z","title":"Proceedings of the IEEE86(11), 2278–2324 (1998)","venue":null,"work_id":null,"year":1998},"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":30,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.400394Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:c79714ac81c21188cf62f5cafb57ff8c5b93525d46ecea6cb35fe19ca4d8d1c2","observation_id":"b338d8fd-2976-4536-a190-32495fc3395b","resolution":{"observed_at":"2026-08-02T18:47:59.400394Z","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-02T18:47:59.404665Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":null,"year":2021},"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":31,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.404665Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:20b8ff7210a4a62987ab51027b60da59b57bc224d46651c1c2b41cf1bdc7b60e","observation_id":"8b259d3e-51d9-456c-ab1e-31f940fb5378","resolution":{"observed_at":"2026-08-02T18:47:59.404665Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23903","last_updated":"2025-09-05T15:41:39Z","snapshot_observed_at":"2026-08-05T13:27:13.023088Z","submitted_at":"2024-10-31T13:05:46Z","title":"Neural Network Verification with PyRAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23903","snapshot_observed_at":"2026-08-02T18:47:59.408560Z","title":"arXiv preprint arXiv:2410.23903 (2024)","venue":null,"work_id":null,"year":2024},"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":32,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.408560Z"},"links":{"cited_paper":"/paper/2410.23903","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:4851bc88ed519756a18ae60a2e168c48da55dbb6852e0fe0d0e24e1f4c1a2856","observation_id":"80429c89-f238-40ec-9d98-dd132b03373e","resolution":{"observed_at":"2026-08-02T18:47:59.408560Z","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-02T18:47:59.413040Z","title":"In: 35th International Conference on Computer-Aided Verification (CAV) (July 2023)","venue":null,"work_id":null,"year":2023},"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":33,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.413040Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:c31e3ff0e48398fdd62b18693f9ea33e70f8650674fd7ef870d79030eabf3123","observation_id":"4d8f7bcb-1df8-48d4-a124-23733767fdc6","resolution":{"observed_at":"2026-08-02T18:47:59.413040Z","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-02T18:47:59.416797Z","title":"arXiv preprint arXiv:2510.23389 (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":34,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.416797Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:f565970a9a95a43022b8467f9106984a894f69d6eef824dd87fb6bb3049dd18e","observation_id":"f6c85c45-50b5-418d-9072-7e43d104d1d5","resolution":{"observed_at":"2026-08-02T18:47:59.416797Z","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-02T18:47:59.421854Z","title":null,"venue":null,"work_id":null,"year":2015},"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":35,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.421854Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:93fcecd68581426c40ec24a16d80bb568ce52bb45f4d859345f6f67b44bc1618","observation_id":"e248448c-41b5-4748-9acc-8f5c675c2cb7","resolution":{"observed_at":"2026-08-02T18:47:59.421854Z","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-02T18:47:59.426618Z","title":"https://github.com/eth-sri/eran (2018), secure, Reliable, and Intelligent Systems Lab, ETH Zürich","venue":null,"work_id":null,"year":2018},"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":36,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.426618Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:17418efb76304b8a0b24d33c45dedc0166a92c2c74bba9bd62f48f7d9c6cfef1","observation_id":"dc8e5bbd-77a2-441c-b8c5-d0e4af57bf61","resolution":{"observed_at":"2026-08-02T18:47:59.426618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1807.01069","last_updated":"2019-11-15T15:05:57Z","snapshot_observed_at":"2026-07-06T06:48:06.001588Z","submitted_at":"2018-07-03T10:25:26Z","title":"Adversarial Robustness Toolbox v1.0.0","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.01069","snapshot_observed_at":"2026-08-02T18:47:59.430867Z","title":"arXiv preprint arXiv:1807.01069 (2018)","venue":null,"work_id":null,"year":2018},"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":37,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.430867Z"},"links":{"cited_paper":"/paper/1807.01069","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:38be0b94a843c2e1ec090c1bfca085281c478340f70bb1c91fc5305a45881007","observation_id":"1113e6c8-2b04-4507-a19c-f8b4a0e8f3d0","resolution":{"observed_at":"2026-08-02T18:47:59.430867Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-07-06T18:23:27.760658Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-02T18:47:59.435482Z","title":"arXiv preprint arXiv:2405.21063 (2024)","venue":null,"work_id":null,"year":2024},"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":38,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.435482Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:78396a9c965022c0d31b5bb12577cb0821c204b152c37bc6479d03cc0e5488d3","observation_id":"6febac0b-1be7-4f5b-9b7f-8ade59e51231","resolution":{"observed_at":"2026-08-02T18:47:59.435482Z","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-02T18:47:59.440103Z","title":"Advances in neural information processing systems31(2018)","venue":null,"work_id":null,"year":2018},"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":39,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.440103Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:4e4aa739c1bc86850d2b72f06456d2bbf732a253beaf4131afc5f8e982e097ca","observation_id":"20a8a0c0-cddc-433c-b159-5cd1784a7161","resolution":{"observed_at":"2026-08-02T18:47:59.440103Z","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-02T18:47:59.444412Z","title":"Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019)","venue":null,"work_id":null,"year":2019},"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":40,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.444412Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:4cb05b55bc1edf7f8a5f99243ea5bcf1fe2416806eb9d25bf53e9d6ab59df563","observation_id":"bb8c2ab2-b715-416e-8469-405c8854c3f0","resolution":{"observed_at":"2026-08-02T18:47:59.444412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2111.13110","last_updated":"2021-11-25T14:55:40Z","snapshot_observed_at":"2026-07-06T12:12:10.536267Z","submitted_at":"2021-11-25T14:55:40Z","title":"QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.13110","snapshot_observed_at":"2026-08-02T18:47:59.448473Z","title":"arXiv preprint arXiv:2111.13110 (2021)","venue":null,"work_id":null,"year":2021},"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":41,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.448473Z"},"links":{"cited_paper":"/paper/2111.13110","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:0793b2d4acf59231e4ee8ee347eb92c2604864f4b53ce0fb8faa229807337d10","observation_id":"567caa7a-b3a6-4aef-92f1-d32b63bbcec0","resolution":{"observed_at":"2026-08-02T18:47:59.448473Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T18:47:59.457227Z","title":"In: International Conference on Computer Aided Verification (CAV)","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":43,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.457227Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:d672735858c143fc9d7f9b97ac784d7b4160973fc9d9381dd80f30ff7875b295","observation_id":"a336ee7a-989d-4fd9-a430-7a395a6ea1ee","resolution":{"observed_at":"2026-08-02T18:47:59.457227Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-07T15:48:06.155575Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.06958","snapshot_observed_at":"2026-08-02T18:47:59.461742Z","title":null,"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":44,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.461742Z"},"links":{"cited_paper":"/paper/2505.06958","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:09a0159f3ef915414f3529cc18a2c03e60f6805696ad550d654048a9ab9c19a6","observation_id":"4ac7ebf0-b3b9-4620-bd09-79f994360109","resolution":{"observed_at":"2026-08-02T18:47:59.461742Z","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-02T18:47:59.465824Z","title":"In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020) 24 Toby Murray","venue":null,"work_id":null,"year":2020},"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":45,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.465824Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:c37961d88fe12e2c2c3fd22a290d808d4417dc74fd71bb75d5fffbbc33e91a1c","observation_id":"36c5ad13-48c2-4275-9a1a-59bdb1d0daff","resolution":{"observed_at":"2026-08-02T18:47:59.465824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06624","last_updated":"2021-10-31T22:51:18Z","snapshot_observed_at":"2026-08-08T14:50:29.644660Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-02T18:47:59.469696Z","title":"arXiv preprint arXiv:2103.06624 (2021)","venue":null,"work_id":null,"year":2021},"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":46,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.469696Z"},"links":{"cited_paper":"/paper/2103.06624","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:695cb86c7ad76ee009cca18387eb1d9773356e781a35bbc42d7e665f0ded6ca4","observation_id":"9b471d62-434c-458d-8292-6dcf78fd9efb","resolution":{"observed_at":"2026-08-02T18:47:59.469696Z","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-02T18:47:59.474115Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":null,"year":2018},"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":47,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.474115Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:0f7278606375252d04b629d833a27c30d9ac058bcc0d533c51f4f8503ba37760","observation_id":"8ed7774f-bb6a-4b3c-994e-2836874e122e","resolution":{"observed_at":"2026-08-02T18:47:59.474115Z","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-02T18:47:59.478194Z","title":"Numerische Mathematik2(1), 319–340 (1960)","venue":null,"work_id":null,"year":1960},"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":48,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.478194Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:897981400ce96d741a0a15e1d39587a2f04eb5a8492933f533130555d8f92bae","observation_id":"a258926b-2892-415c-a454-7e246ee712d5","resolution":{"observed_at":"2026-08-02T18:47:59.478194Z","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-02T18:47:59.482260Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2024},"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":49,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.482260Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:5792e7a5c2a0cd146b0269f4469b8f10932d87de8cbb4457a4b403ca6a963350","observation_id":"f82bce54-eee1-42f1-8e71-fbed66a4dedd","resolution":{"observed_at":"2026-08-02T18:47:59.482260Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1708.07747","last_updated":"2017-09-15T21:29:49Z","snapshot_observed_at":"2026-07-06T05:56:41.814255Z","submitted_at":"2017-08-25T14:01:29Z","title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.07747","snapshot_observed_at":"2026-08-02T18:47:59.486215Z","title":"arXiv preprint arXiv:1708.07747 (2017)","venue":null,"work_id":null,"year":2017},"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":50,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.486215Z"},"links":{"cited_paper":"/paper/1708.07747","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:3c515feb75434e386ffc322bdb8b44921871e1786a4fa3817fca884a47b0c6de","observation_id":"2d81a8c2-2164-4cc1-b32e-35a0b090864b","resolution":{"observed_at":"2026-08-02T18:47:59.486215Z","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-02T18:47:59.490200Z","title":"Advances in Neural Information Processing Systems33(2020)","venue":null,"work_id":null,"year":2020},"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":51,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.490200Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:5fc1d59c15fdc17741a38cad17b706e15011591a8fce9ea9cf74f1d2e3b882e4","observation_id":"b7470cc0-bc85-4ba4-90d0-64e2f3aff769","resolution":{"observed_at":"2026-08-02T18:47:59.490200Z","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-02T18:47:59.494446Z","title":"In: International Conference on Learning Representations (2021), https://openreview.net/forum?id=nVZtXBI6LNn","venue":null,"work_id":null,"year":2021},"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":52,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.494446Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:053d71d6afd0f05e8a9e771e4e24ec02ea784a29bbc90f5a9bc91c3ced4c1c86","observation_id":"1faf576f-5480-4208-8db3-444220113afd","resolution":{"observed_at":"2026-08-02T18:47:59.494446Z","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-02T18:47:59.498489Z","title":"In: Asia-Pacific Software Engineering Conference (APSEC)","venue":null,"work_id":null,"year":2024},"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":53,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.498489Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:64337d134693e47e748a2a93df532a3d9da3e6a444335fa95e156132f9b0ee77","observation_id":"f3e60a5f-f997-4580-9ad3-7ad1f654c402","resolution":{"observed_at":"2026-08-02T18:47:59.498489Z","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-02T18:47:59.502860Z","title":"Advances in Neural Information Processing Systems (NeurIPS) (2022)","venue":null,"work_id":null,"year":2022},"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":54,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.502860Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:bd2374a879ddf2ec43adf0d6ffc6fcefb664033ae06af57b4beac190f71f9503","observation_id":"bf94cd8d-042f-45c4-a761-00ab0ad4e8dc","resolution":{"observed_at":"2026-08-02T18:47:59.502860Z","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-02T18:47:59.506811Z","title":"In: International Conference on Learning Representations (2021)","venue":null,"work_id":null,"year":2021},"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":55,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.506811Z"},"links":{"citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:3573f843aca3bac03d850f8db478266e6d9235e9519e70493d1fbda6ec736d27","observation_id":"77796f1a-7b2c-427e-b93e-9030a4aab96c","resolution":{"observed_at":"2026-08-02T18:47:59.506811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","latest_version":6,"primary_category":"cs.LG","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"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":55,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":55},"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 9 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2603.13334."}