{"as_of":"2026-08-09T17:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d7678297b88ce35326ceeb963e453678a26d64197374e9cb5c6e06def36e3be2","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:41:52.738485Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2510.16028/citation-record","integrity":"/paper/2510.16028/integrity","json":"/paper/2510.16028/citation-record.json","paper":"/paper/2510.16028"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:41:45.795228Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:45.795228Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7653db42f295488dd8bacdee0e07b68569d16eda54b93d92d68125da5330ee58","observation_id":"d809c15d-a753-4e35-abc0-219d625bb91d","resolution":{"observed_at":"2026-08-04T09:41:45.795228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19405","last_updated":"2025-02-26T18:53:31Z","snapshot_observed_at":"2026-08-07T17:45:18.032693Z","submitted_at":"2025-02-26T18:53:31Z","title":"Verde: Verification via Refereed Delegation for Machine Learning Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19405","snapshot_observed_at":"2026-08-04T09:41:45.930712Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:45.930712Z"},"links":{"cited_paper":"/paper/2502.19405","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:e44f8a1397780341a4706ed1dc2029b73028ba7aeb41636bc2757a7f33ca57fa","observation_id":"ae092a28-c7cd-404a-adb2-291f38ad0182","resolution":{"observed_at":"2026-08-04T09:41:45.930712Z","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-04T09:41:46.065054Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.065054Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:25d74fc6a5ab8853d04accff0cb2160ff3f0f0cad201f534170e16272bd2f279","observation_id":"6b8f63a3-4500-4613-b6e6-211a5912305c","resolution":{"observed_at":"2026-08-04T09:41:46.065054Z","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-04T09:41:46.178477Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.178477Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f0b5af405fa1b02e11ee65a9d159dc7e71e74be6ed139a67203e41626343d5be","observation_id":"f53ea25e-479a-486f-ada9-2787f8473679","resolution":{"observed_at":"2026-08-04T09:41:46.178477Z","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-04T09:41:46.272339Z","title":"Rothblum","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.272339Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f8cca5ea474184148480ceae019ab61d9e051494e0cf70cbdbbd57b3ac0a81be","observation_id":"97c15a32-d153-4f76-aba1-3f88d995b4e2","resolution":{"observed_at":"2026-08-04T09:41:46.272339Z","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.1016/j.ic.2013.03.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Rothblum","venue":"Information and Computation","work_id":"ddfd90e4-8f07-4e1a-aa3b-c296c3a2242c","year":2013},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.348222Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f3bc846316a2f31693b946646c2e8b55467ed32436083e3b41d26b312792e951","observation_id":"63bfa9ba-f610-4c2e-9b4d-2ee175172273","resolution":{"observed_at":"2026-08-04T09:43:21.604492Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T09:41:46.430050Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.430050Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:cc818f685e5cc882a208597430324d2e12ef41474ed4ea14120bf1961b6df2e0","observation_id":"0e372b30-23e9-4a48-b84c-4532933f377b","resolution":{"observed_at":"2026-08-04T09:41:46.430050Z","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-04T09:41:46.635348Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.635348Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a86f021504aa4beb976505f14ea0646be2b2edb7ee3d0a5c1e5b53f9c1c1f6e7","observation_id":"316d01a4-06e1-4266-aebf-33e19ec26434","resolution":{"observed_at":"2026-08-04T09:41:46.635348Z","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-04T09:41:46.758168Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.758168Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f1bebc2060b814ed3281664c4065eb946958da65675f388c3ac524724feeb555","observation_id":"9943fc12-fad1-4eb2-a0fc-8dfefcb3b045","resolution":{"observed_at":"2026-08-04T09:41:46.758168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.17555","last_updated":"2024-02-05T05:23:59Z","snapshot_observed_at":"2026-08-08T15:55:13.659728Z","submitted_at":"2024-01-31T02:43:38Z","title":"opML: Optimistic Machine Learning on Blockchain","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.17555","snapshot_observed_at":"2026-08-04T09:41:46.897288Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.897288Z"},"links":{"cited_paper":"/paper/2401.17555","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:fc8fd9244a97811dbabf57b9c7a90f85544a5fc259b98fc79c80d3ace558d40f","observation_id":"920d9384-cd69-4a05-b99e-130122577837","resolution":{"observed_at":"2026-08-04T09:41:46.897288Z","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-04T09:41:47.069522Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.069522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:0045a67f675ca67f05f16af16463caf7fd2a633563ea40e1b753a42b3f1aa24c","observation_id":"823c6fb7-7d83-4a0e-ac2b-0c931f5703bb","resolution":{"observed_at":"2026-08-04T09:41:47.069522Z","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-04T09:41:47.338234Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.338234Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f5ca388b0c93a2516a2207c267a5d0f4d4cccfbf2fa11b7cd87b3098c20e54c6","observation_id":"37f21903-e14f-4c63-8944-2745ecc29326","resolution":{"observed_at":"2026-08-04T09:41:47.338234Z","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-04T09:41:47.656278Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.656278Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:4d8faff903a76080df74efde11c9d464dece2cb8108383b87f0f189396bfd74b","observation_id":"92496d6d-e345-472b-9d72-bac5bd188d97","resolution":{"observed_at":"2026-08-04T09:41:47.656278Z","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-04T09:41:47.786982Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.786982Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:251eece2c1223571a91f40cd6a776032bc943d8a44f5ab01b96f0e95824181a2","observation_id":"9e128acc-2e84-4e94-a72b-1c31c8461e2b","resolution":{"observed_at":"2026-08-04T09:41:47.786982Z","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-04T09:41:47.941400Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.941400Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:87c3573263e402838e6a9418374fb49b5046732a6bb77509c46b488ebcd3368e","observation_id":"1066d909-43af-4fcf-a81f-6b9c2fa7db1b","resolution":{"observed_at":"2026-08-04T09:41:47.941400Z","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-04T09:41:48.116614Z","title":"Rothblum","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.116614Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f91e243fec12b27791ea1b9bc7c0af04299e97c208044872fc47e39cc0d0c162","observation_id":"712c9b65-eaf2-4c71-81f8-b9d45a9fcff8","resolution":{"observed_at":"2026-08-04T09:41:48.116614Z","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-04T09:41:48.262315Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.262315Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:24eb352eebe74d788d697ace3a430370da16734a2cef4dc7f619322114d5ae11","observation_id":"1bcda2cc-7329-4359-89e8-b83fea54d794","resolution":{"observed_at":"2026-08-04T09:41:48.262315Z","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-04T09:41:48.376408Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.376408Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:adb46a198a2b557936f2b361f7e74e631a894ab14fd77630d0a7371f67a66c5f","observation_id":"1ce3f51f-cbb3-4c4c-88f6-5352dabdf5d4","resolution":{"observed_at":"2026-08-04T09:41:48.376408Z","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-04T09:41:48.527607Z","title":"2002.Accuracy and stability of numerical algo- rithms","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.527607Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7ce142bd353076f6e8899c54b6ef4efacc5d641f353783679911a6ff2f286b94","observation_id":"7f46536c-973d-48ee-97de-85fcb15e965d","resolution":{"observed_at":"2026-08-04T09:41:48.527607Z","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-04T09:41:48.658531Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.658531Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:54e45e7c44dd9e6cd9919e00ed2f1e50f1a585a8ca49776ef5cb4848f9f56bd8","observation_id":"a669ba4e-4a89-4afa-8752-5fbcdd2a1028","resolution":{"observed_at":"2026-08-04T09:41:48.658531Z","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-04T09:41:48.785979Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.785979Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7b8477da7f449203a775f333d872d42733472f1b6a6ff1a854a332850e65d850","observation_id":"c3aa1e0c-c625-4330-af94-eb5a30c19e93","resolution":{"observed_at":"2026-08-04T09:41:48.785979Z","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-04T09:41:48.944749Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.944749Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a125f3a3a89c118455d162efcc524f94ff1411a2d938ea40aff822125f347e73","observation_id":"6b2a7088-f08a-4bb0-a5d7-3fe72729dada","resolution":{"observed_at":"2026-08-04T09:41:48.944749Z","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-04T09:41:49.053638Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.053638Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:4705a2b4080112d3a225a9dfabc1e135bb47aaa1347ccb3f16c1bd08da7c4de7","observation_id":"df27307a-6653-4c76-b365-994c8b5a3263","resolution":{"observed_at":"2026-08-04T09:41:49.053638Z","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.1145/3456867","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Rothblum","venue":"Journal of the ACM","work_id":"ad3e54b1-250f-4e12-ad90-1211f4498cd2","year":2022},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.197567Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f974f2ed0e97f4ee4f1d9d236fe16a7807b01691cc3750f971ac6b8362a093f6","observation_id":"b2c6e965-69c3-4d14-959f-dbc611601bb7","resolution":{"observed_at":"2026-08-04T09:43:21.436477Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-04T09:41:49.313759Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.313759Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:fd2058063ea768ff188c36ee2819540dfdd34419cc4c1688bf5698ce05234361","observation_id":"c91b4c34-e754-4e25-8c80-6767bb28ab46","resolution":{"observed_at":"2026-08-04T09:41:49.313759Z","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-04T09:41:49.473503Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.473503Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:e556e4d639f73c2b0c251cf6fb6b736909e6bded6c9fdf23f870ab7f17bd94be","observation_id":"281b4f59-5fe6-46ea-8251-01ea3511162f","resolution":{"observed_at":"2026-08-04T09:41:49.473503Z","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-04T09:41:49.635712Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.635712Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:d03144ae281625df560907f781cb2e66ba8441bbd8e0a988d7df8db21bb33c0b","observation_id":"1a8c77c8-8705-42bd-81bf-9a3373331c38","resolution":{"observed_at":"2026-08-04T09:41:49.635712Z","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-04T09:41:49.729522Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.729522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:05cf67c419e5142abf3ad630bd694d9da05f43a6ccd712717440d25cb9558de9","observation_id":"80b19fd2-6cb6-4c5f-b2b3-6c3c1862999e","resolution":{"observed_at":"2026-08-04T09:41:49.729522Z","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-04T09:41:49.957975Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.957975Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:c3c6485a209bde1ead05ce8381d5e248581589f6b8fdff128af3f3e75b889657","observation_id":"c41f5dc0-96cb-4383-a550-6d525066e2da","resolution":{"observed_at":"2026-08-04T09:41:49.957975Z","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-04T09:41:50.022245Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.022245Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:bff72860aaf27d03a58fc5ac1539b5873ab354cc8d0ef2760df16d54758f5a44","observation_id":"da84ccfb-f443-4de0-8c44-5a2ddd01abd2","resolution":{"observed_at":"2026-08-04T09:41:50.022245Z","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-04T09:41:50.143135Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.143135Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a94c77610c46157957e6cbf727f44b1d023c46b452590c25c501c9192cc34235","observation_id":"ffd5c794-3792-444c-b09c-5942bc34e6f1","resolution":{"observed_at":"2026-08-04T09:41:50.143135Z","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-04T09:41:50.277374Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.277374Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:790afc80a4a269ebf4924debfa748d6ef2dd1303aaaac77532ded576e2df7e08","observation_id":"880aa930-450e-447c-b046-7eb2215910c2","resolution":{"observed_at":"2026-08-04T09:41:50.277374Z","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-04T09:41:50.339635Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.339635Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7a365f78a35a4993a81bcf46d82eea74369d43ab61806fe67c89db6f4557f35a","observation_id":"cc1815cd-9a11-4ea0-83c9-27fa590435c0","resolution":{"observed_at":"2026-08-04T09:41:50.339635Z","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-04T09:41:50.418445Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.418445Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:911a6f0eb0401c455c49e41bd891b5fb2f6274a66d1d3202c73185994aa2f31f","observation_id":"59511161-8169-49d8-8d42-07865e140c33","resolution":{"observed_at":"2026-08-04T09:41:50.418445Z","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-04T09:41:50.512304Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.512304Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:8bc691c1df34a350b833859f1d9801a8bc41b3fc3a4c12d05a4b69a79af39603","observation_id":"13a0d4d6-1460-454e-b1cd-da8678a7d5c0","resolution":{"observed_at":"2026-08-04T09:41:50.512304Z","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-04T09:41:50.609550Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.609550Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3dad4da588bdabcd12de223cc3a48069d96a717a8420c1d18d25a3d06823f2b4","observation_id":"aa19ef63-cc70-441e-ba39-8053eea7ba77","resolution":{"observed_at":"2026-08-04T09:41:50.609550Z","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-04T09:41:50.194475Z","title":"InProceedings 2025 Network and Distributed System Security Symposium","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.194475Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:043706e70a7dad56ad89b222a5cec5ea5d581170af3cbb13232da68c95de788e","observation_id":"47c9dad8-c966-4bd0-9f77-a5779493d2e8","resolution":{"observed_at":"2026-08-04T09:41:50.194475Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.10683","last_updated":"2023-09-19T15:14:48Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2019-10-23T17:37:36Z","title":"Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.10683","snapshot_observed_at":"2026-08-04T09:41:50.774978Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.774978Z"},"links":{"cited_paper":"/paper/1910.10683","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:84ed4a9e61a650cebfda61b2d6175cf595ed7a54c739cd5eb75f15c6794777e9","observation_id":"ec7fa519-84f8-4427-8450-d4a65a0bceea","resolution":{"observed_at":"2026-08-04T09:41:50.774978Z","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-04T09:41:50.836259Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.836259Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:ec7c7adf8b45dea6fd45a3d9e2953f9f27eedae3202f4fec95ae58f8d8f4a589","observation_id":"dae455a5-e337-41d7-9846-d2dd9c97c300","resolution":{"observed_at":"2026-08-04T09:41:50.836259Z","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-04T09:41:50.882113Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.882113Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:cc89584fe713a3a94d6fbc1b7ea04d13d06fc631399ad46afd91c2c871a0451e","observation_id":"bf500b54-a8b0-4e14-97e4-133598d3a14f","resolution":{"observed_at":"2026-08-04T09:41:50.882113Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07241","last_updated":"2024-07-23T20:15:03Z","snapshot_observed_at":"2026-08-06T13:30:34.166668Z","submitted_at":"2024-02-11T16:40:33Z","title":"Proof of Diligence: Cryptoeconomic Security for Rollups","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.07241","snapshot_observed_at":"2026-08-04T09:41:50.935584Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.935584Z"},"links":{"cited_paper":"/paper/2402.07241","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f87d7d6604a3710afe8d7444f6b0f74031de6a5682853022fea49c711c384429","observation_id":"5c2862ab-f311-42b2-9802-7485b9474f58","resolution":{"observed_at":"2026-08-04T09:41:50.935584Z","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-04T09:41:50.991157Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.991157Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:295f95694b81486b13e2c938341bdae9a06c1162800771213919f080dc4e9454","observation_id":"b5c2df41-7d74-4a7f-8c92-6e1301370658","resolution":{"observed_at":"2026-08-04T09:41:50.991157Z","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-04T09:41:50.687409Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.687409Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:beb30828865f79c3ef3a803058fd8a555e4ea9b703f7f47fb3b2995bb2de2510","observation_id":"c7e322d1-238b-4466-a8b6-c754177ed09b","resolution":{"observed_at":"2026-08-04T09:41:50.687409Z","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-04T09:41:51.221476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.221476Z"},"links":{"cited_paper":"/paper/2506.01054","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:0941e61dc4508603455968c89ccacfaa2ad04d6b3750414fd02cd11cf426a017","observation_id":"f7bde2a3-4ada-4258-98a0-84924621886c","resolution":{"observed_at":"2026-08-04T09:41:51.221476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-04T09:41:51.287257Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.287257Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:e1dba01a23dc32c821efcb060a02998adb691214f0836bce3adcdd26d534f12b","observation_id":"580c2d17-bcc4-4aa6-b5ab-859e5388543e","resolution":{"observed_at":"2026-08-04T09:41:51.287257Z","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-04T09:41:51.346933Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.346933Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:422fa8fe2b63ee70d9c564d9cc73a2ac0ff35318ef3cc6d405118ca3e2e0d496","observation_id":"d263a658-bdf5-4b19-bd36-2420f384b57c","resolution":{"observed_at":"2026-08-04T09:41:51.346933Z","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-04T09:41:51.387666Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.387666Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a9773a901ace5e699b9dec17078fc9de87d6f6f24cf17d5d028267e560dd7256","observation_id":"2b3218c3-2266-4410-a827-6b5f650b5f03","resolution":{"observed_at":"2026-08-04T09:41:51.387666Z","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-04T09:41:51.469219Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.469219Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7ebd6f41f2eafc9de84b476ae5847d6eee93c8e85594e9b58d8cf6b207041007","observation_id":"076d14b6-c6a7-4d55-9484-e43cdaf54d7f","resolution":{"observed_at":"2026-08-04T09:41:51.469219Z","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-04T09:41:51.168224Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.168224Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7e321bf12d7767c7fee95a3dae5ddc24a4f903942876d7b1099960385a7410e7","observation_id":"a8ec8d06-b99d-4ffe-a144-8e40c0baa5a8","resolution":{"observed_at":"2026-08-04T09:41:51.168224Z","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-04T09:41:51.722602Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.722602Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:ce1c146f2c25f95e2c01bd5936ba3ae4b70f766b347ed64f190c42e65267dd15","observation_id":"9d8ea840-3b75-4be2-a8a4-4949319ba601","resolution":{"observed_at":"2026-08-04T09:41:51.722602Z","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-04T09:41:51.844053Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.844053Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:d1b97443fcecc1afa94bfb01eb1d969a35d2e778b2c984811e8cf1b733c68abe","observation_id":"35f481a5-b319-438e-9213-ad830d1d3148","resolution":{"observed_at":"2026-08-04T09:41:51.844053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00295","last_updated":"2025-05-31T22:32:57Z","snapshot_observed_at":"2026-07-06T18:08:04.815730Z","submitted_at":"2024-05-01T03:27:58Z","title":"Proof of Sampling: A Nash Equilibrium-Based Verification Protocol for Decentralized Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.00295","snapshot_observed_at":"2026-08-04T09:41:52.069807Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.069807Z"},"links":{"cited_paper":"/paper/2405.00295","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a21c310c1902dac8ebde1cccfbac3c6aedf9cb5f1bb4862189253cff8f3cdfcc","observation_id":"1f719b5d-862d-42c0-8674-0d4f84f9644e","resolution":{"observed_at":"2026-08-04T09:41:52.069807Z","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-04T09:41:52.194213Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.194213Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:dd809a8c2a2b97fd42e9d6a2dc813476c4ab7f5e5ae7ba6bed8d4dcb6ca76e19","observation_id":"b188b885-4bb1-4183-ba59-fe94e23d35d2","resolution":{"observed_at":"2026-08-04T09:41:52.194213Z","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-04T09:41:52.313424Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.313424Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3097f304725c375548b7115df1f98560fbcd9fe211274537f86d3d8d6e5a36eb","observation_id":"44481432-0a25-4c16-90db-9b7a94313bd9","resolution":{"observed_at":"2026-08-04T09:41:52.313424Z","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-04T09:41:51.604555Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.604555Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:563097c2d83f101dcddad0a0de4b45b8f5257318e157f36d2d671490414e5fa4","observation_id":"4f9fc2de-837c-4977-9152-e1a5c64fd380","resolution":{"observed_at":"2026-08-04T09:41:51.604555Z","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-04T09:41:52.578540Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.578540Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f8fbdad0a54e8ba2cf471c981dd06f5b4da19a1d4557520188806b675e3522e5","observation_id":"e4b05809-a284-4c0c-bd77-57d2f124d13a","resolution":{"observed_at":"2026-08-04T09:41:52.578540Z","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-04T09:41:51.946522Z","title":"In2019 IEEE 30th international symposium on software reliability engineering (ISSRE)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.946522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f430b91ef566ff3c756a893b1d6b5a188c2c5a97d02c4d0f114942c280543eb6","observation_id":"83edbe42-077b-4cdb-9d81-88fe3a78eeec","resolution":{"observed_at":"2026-08-04T09:41:51.946522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.09005","last_updated":"2026-05-04T06:38:56Z","snapshot_observed_at":"2026-07-06T17:59:46.583076Z","submitted_at":"2024-04-13T13:18:40Z","title":"Proof-of-Learning with Incentive Security","version":8},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.09005","snapshot_observed_at":"2026-08-04T09:41:52.433210Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.433210Z"},"links":{"cited_paper":"/paper/2404.09005","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:526458d7faafb9d104d71785b5744d3b60bbb1444bb83c0167bd9272f4aa697b","observation_id":"ecd7ea4d-5cd7-4176-8c63-bedc27e297ed","resolution":{"observed_at":"2026-08-04T09:41:52.433210Z","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-04T09:41:47.200399Z","title":"In2009 IEEE conference on computer vision and pattern recognition","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.200399Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:b4ea5ed7c651a9c821ee7676b613be1f736a78fb50482157d65b7b0701ee31e5","observation_id":"98c137d9-1916-4a12-9184-73f4be079b52","resolution":{"observed_at":"2026-08-04T09:41:47.200399Z","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-04T09:41:49.852557Z","title":"InInternational Conference on Learning Representations","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.852557Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:5413de8fdf01a604cfe992deed47e8f2fc5f829372ab5194cb088849f2952da8","observation_id":"23b7f167-5cbe-4309-8285-6a5a1e953b51","resolution":{"observed_at":"2026-08-04T09:41:49.852557Z","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-04T09:41:47.519749Z","title":"InProceedings of the 2019 conference of the North American chapter of the association for computational linguistics: human language technologies, volume 1 (long and short papers)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.519749Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f9ab1319cc7a77a0320e08cf7785094487105a7dfeb0b42159be0a4103bd8d2b","observation_id":"a7daeacc-316a-4b51-a4f5-38262352aae7","resolution":{"observed_at":"2026-08-04T09:41:47.519749Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04919","last_updated":"2021-05-11T10:08:46Z","snapshot_observed_at":"2026-07-06T11:08:17.373935Z","submitted_at":"2021-05-11T10:08:46Z","title":"Agatha: Smart Contract for DNN Computation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04919","snapshot_observed_at":"2026-08-04T09:41:52.738485Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.738485Z"},"links":{"cited_paper":"/paper/2105.04919","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:794588bc45519b235959a6b2f318841f567ff115d17a7e75532cc340118fb67a","observation_id":"d4d184ec-4d16-463c-bdc6-af5fa021e3e8","resolution":{"observed_at":"2026-08-04T09:41:52.738485Z","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-04T09:41:46.516302Z","title":"InProceedings of the Nineteenth European Conference on Com- puter Systems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.516302Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:221ba23bd296b965c39560b0ff8e501dbf41e4527dc202c57fe758953b673f5f","observation_id":"1783c574-6dff-4f9f-8dcb-61ef302e02bb","resolution":{"observed_at":"2026-08-04T09:41:46.516302Z","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-04T09:41:50.080975Z","title":"Cryptology ePrint Archive(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.080975Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3828ff337a17708261e36a9d503ce99ddf7caff15921552bca843e22c183c0cf","observation_id":"61450123-0451-415b-b4e1-bf719a510a42","resolution":{"observed_at":"2026-08-04T09:41:50.080975Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","latest_version":4,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-08T14:52:45.799128Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":62,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":64},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2510.16028."}