{"as_of":"2026-08-08T11:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3a5f02611d7fba03344e4932249b3afcc66d19d779dc387142a72343caf0e498","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-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/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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:45.795228Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:deffd10c94f77a96a55348b60b17db32c242e45547756408d917475a611e2605","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:f2aec877815c477b21afccd41386c0acf75b5985ae7c4c2efb33d47be9b86db0","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.065054Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:db7349187d17a923dffe30a972c61b6ecc52d68c5d4297ad697515603ab2f110","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.178477Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a21303a69fbdf80c335601b65d3d585f7637c75fd3c9512fd4945799fe4f6d8f","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.272339Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7954dcd7c41830688310be3634146e1d3ff03d60e50a68289aee3e2b3478436c","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.348222Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7d7c864a607201d1bfa6414643dd5adaf17e42d2deda21da2930646eac06883a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.430050Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:92ba0cf0fc8f2ac304a672e32dd2cd6ea2bc85f437255d33cd6d73d9f801b1da","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.635348Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:5d11981ff953d94da7e2cc0df6d78752700c2c58980d01929a3ba4846e26bd8e","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.758168Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:fa931406c22530ae1cd668d8791a3760447a3af439cf333606eb0eb473ab825e","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-07-06T17:22:53.623679Z","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:edf163b12754657dfb3974592ab65f9a5495360f9ae96f32158e03e963671170","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.069522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7864bba365ea091ccc1b862d62fc11f110ad9615f22a65a24d6cb6a532dfa8c8","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.338234Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:ffec5187f25b811708e88aaafcf6fb208b7c71360284cd786d4992fc1fff774d","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.656278Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:eccc339758d1b2dbbbf4453afa8a90ca932974839d01fc7ae4b791ec06b96619","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.786982Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:6374429840ff961cf1ab744990da0e7212504e9b4a91565bf7519287913e7085","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.941400Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:51f31d91505391a967235d83ff56f352127079b038f77f7631de852941990867","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.116614Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:850f1ae89c4d497ba8f7d8b5e55eb05f1b269c7a0c79622cc5bee631834107d1","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.262315Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:24569067c0d546ea876585026fc8c7b321d224cbab52f272b9fe7bd2a7c6c8db","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.376408Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f52e25869a42442812541f9cab1fa56e23a9dc7f277122910d2210517995e44f","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.527607Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:476b0978b7f0b8d5991975bafe29ffbf030015209ab2bb9b79824d2aa879d0d9","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.658531Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:4bcf9e9f47a1fa257891746a8185a50e2ecc1dd9f97a1782545c7c3c54d5fc10","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.785979Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:2d54a9c3610e1d4c38a64d16958edac4b6c4ee34b9feb91adc2e94ed0700d596","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:48.944749Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:185f463c5de641b910db22bb0b570690e16af6f9ed8e55909df03ce5ab0f2873","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.053638Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f3584d4d32c7685553b9bc2dbd4ad07e9ebf0d1b70e711faecb89806c7bc7cfc","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.197567Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:edf69e2336d3aaf850aa544ec32c33ca62f067a9c83e218791b9f15befbf5558","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.313759Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:f952018353fb3f604c870a423cb76e48072f2574b1e92c741baf08b889f8e2a3","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.473503Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3c7de3a321322fcfd6cf3305ae004cb5f63bc7336b3d3c4e865db073d8f08a19","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.635712Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:807128e3239053e3877b074634b0d1ac3abfbd66fa26a29d917f25d6afb491d0","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.729522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:6f2bb24d98a584d72a905ac0a7a8dd90fb807e3aa84d1292a124f9cbfcd7b867","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.957975Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a2f02717b5dd7bf00ed4c3d09c3712d57bc11149607603bffb2b1f83a08d80c4","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.022245Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:38d276f0f8e46ec9fe7cf0eedbf6cdef1fea56fbfc08c2678b6f8b9e415da931","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.143135Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:98055e74469ccf64a69822a84a753e2dfb751782e3d9f2e4e6b1cd0808800218","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.277374Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:c365e3eb98aa192056b266cc22563f4c304257f46706617c5fd96b7f31c89f1c","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.339635Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:aeee812cfcb9d3b18b87ad8a6ffe4e4436dedf72363b93d553ff63505d7fb703","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.418445Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:b66eb86c11e9a440066702ef2d7ad1c663185d6f7e1c0059ef8a8cc2ca542dc9","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.512304Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:1293a656c9e925747294fce53d0118f360fe48063601d0efeb306616f163dcde","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.609550Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:b0c67d55131ce7fed99d54f522940e2f1f2067c2cea5ae0286cac03d6dd45d54","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.194475Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:241e6be52b3ff0fa255ec10e121e560fbb6e5a187599851ab43e0a38dae7d4c8","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:d6a9a5fe4c42444eaec299bdb8845823c3f80db92d14b89a689f4eb18853b9f7","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.836259Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3b8be33d653f7acc29e542921052eee03678490f8d790d8f3db96ac0fd30c722","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.882113Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:5b1d61d8272563155a550d6ff7a1fbfefd810238766032f1581109274b1b6e28","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:fbc1be22d65854991d25a449d31975cd176ebc3bd2132b24577c0fde0f4282f3","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.991157Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:3f1caa99a646e41a379cf452a129b997a3dc24dd2375787099223907e7e09027","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.687409Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:7edcd751967e5969aeaf21084dc28bdfe70522f0b854d1d1776f24b98a8fba57","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-07T11:49:45.212791Z","submitted_at":"2025-06-01T15:47:37Z","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.01054","snapshot_observed_at":"2026-08-04T09:41:51.221476Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.16028","last_updated":"2026-06-06T21:43:56Z","snapshot_observed_at":"2026-08-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.221476Z"},"links":{"cited_paper":"/paper/2506.01054","citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a9a837cb62557900720bec56c97d39cfccdf85b7d995c630d69ee9642949121a","observation_id":"f7bde2a3-4ada-4258-98a0-84924621886c","resolution":{"observed_at":"2026-08-04T09:41:51.221476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:e7a701c2f0ab195bb405be1da0b8931255c4609501889ea45996f9dd2eb1b506","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.346933Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:5b489ec3f3f0a8cc8005f45eff37557380e7995e70d80e789b5e7eef58546832","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.387666Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:17698a2af60b2cd275378c55dd678d01c018c74a320d234752f7eb61038e3098","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.469219Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:5102495000de3b0fef74a77c224af563df0849436bffacb96338f339e23fe526","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.168224Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:0c866c79f564cde1eccd220edfff96294e1f834217d37ab6d6485911a5e2684b","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.722602Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a273a9cff8063ea7258f4511756db36fb8c5f98df10029b726c78db0d0c5b121","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.844053Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:02604db66aadafbe3caa7d5da02fd0cbaf110ec8420b20b9e21052ecdfe43c8c","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:f695faf9b63e9159bb4a3f71c3a6a31d6b40399f7b13c6aa452f3b8925bb2a62","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.194213Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:4caab56bb68ef79d45a3715d1b24004385566417448d708741ae96c37090b353","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.313424Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:a1e6e41cd4cc9121bd6f1cf74c1e7d5518bbbd1342d83f83e0b7536fc075e2db","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.604555Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:35c8bebafbe0693aea64e638aa05e05691a441e9889b5145aecf1fdac90adcc1","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:52.578540Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:8841ec546539254f389305d44502c6f37d40a243c343960d1d4b394e2a2a3611","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:51.946522Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:58bfcbb985d5e30f4a9b8ec73ee6bf8eba63c8ca7b3b8e7a24a92da6cbbd9969","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:7825e596ecb6c64efe978c17eed1a396af63818692dc82773cd07ccb66bcac8a","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.200399Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:9df6276151106a6afd414290eca0da7b2064c77165ececf562da13cf98c15db0","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:49.852557Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:780740dc9488c18c3609a441de51e202efb7a7c8d2d3324f569768e6745a0427","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:47.519749Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:014be812b23e423009304f79d6e3c450f5b8551e496d313c8d44ebadbd8356f3","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":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:4161118f1e0ac70c6c9909c712e10a155f124dc53f6eb7026f3946b199787e93","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:46.516302Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:97a1eee8db03336c1611b184b15efb0bd91712eb8df5593023caebf8192586a7","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-07T09:53:56.157384Z","submitted_at":"2025-10-15T21:10:39Z","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","version":4},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T09:41:50.080975Z"},"links":{"citing_paper":"/paper/2510.16028"},"observation_digest":"sha256:92833efbd6ab7cf0d331e1ed7bd5f5193ddb14a73654f1dc63fd285b5140368f","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-07T09:53:56.157384Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2510.16028."}