{"as_of":"2026-08-19T23:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8c0b139ff3327e7607234eb3cb8f785ca94d5f764c4896b25b2b02b8d316129","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T05:25:16.099341Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T16:05:41.505091Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-19T16:12:39.545991Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"cited_work":{"arxiv_id":"1909.01492","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1909.01492","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:1909.01492 , year=","venue":null,"work_id":"759b65e0-a824-4b51-9643-c452b94031b4","year":1909},"citing_paper":{"arxiv_id":"2605.15416","last_updated":"2026-08-02T00:54:42Z","snapshot_observed_at":"2026-08-16T01:55:44.908168Z","submitted_at":"2026-05-14T21:01:05Z","title":"Margin-Adaptive Confidence Ranking for Reliable LLM Judgement","version":1},"reference_index":130,"source":"arxiv_source","source_observed_at":"2026-05-19T16:05:41.505091Z"},"links":{"cited_paper":"/paper/1909.01492","citing_paper":"/paper/2605.15416"},"observation_digest":"sha256:3796b56143b3c9ae7aa539d812479f9a73338a80345f75236e4693933bebd142","observation_id":"7b87b173-0f46-4b3a-b867-1dbd8634371d","resolution":{"observed_at":"2026-05-19T16:12:39.547363Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/1909.01492/citation-record","integrity":"/paper/1909.01492/integrity","json":"/paper/1909.01492/citation-record.json","paper":"/paper/1909.01492"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:15.938569Z","title":"URL: \" 'urlintro :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.938569Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:1f2fd765031ca69abf680089eadd7e0e0c0561a681906a13242013118dad8d81","observation_id":"27d40c89-c7d2-4fa8-8fa7-67fd0a44d77f","resolution":{"observed_at":"2026-08-14T05:25:15.938569Z","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-14T05:25:15.943312Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.943312Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:d3faf5c0c6323cc14f02afc0ce3622d1dfb5ba3b93d111affe963301f179fa07","observation_id":"7cf1f50d-45a6-4d06-9bf4-9e0958518e49","resolution":{"observed_at":"2026-08-14T05:25:15.943312Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.533771Z","title":null,"venue":null,"work_id":"28902f28-28c0-4dc8-8795-ca461fa2453a","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.947289Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:87a90287c48e0142674a1680f167d58e706adce9e166e49d76bbf72fe4ba4d4b","observation_id":"09bbf21b-b38c-470d-a6b1-627dd87930a6","resolution":{"observed_at":"2026-08-14T05:25:16.537937Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.523207Z","title":null,"venue":null,"work_id":"9907df9e-11c2-4922-963a-16006940dad6","year":2008},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.951332Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:c463aaa2a21ee52cb36a1a7656f3f9219cce8f522e26c704e19fe6a0f1535694","observation_id":"61ee8298-65db-4740-bd30-c1f7be932c08","resolution":{"observed_at":"2026-08-14T05:25:16.526948Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.512526Z","title":null,"venue":null,"work_id":"16b7f2e2-6c3c-43c9-ab86-828dc540119f","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.954925Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:371666ab57a512037074920d5d9a4c5e75c933ce7acdab437bdd91ebe5f8549a","observation_id":"e6b1b27b-f37e-402e-a364-da8011ce86fe","resolution":{"observed_at":"2026-08-14T05:25:16.516128Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-14T05:25:15.958358Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.958358Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:7f854af5aac396007ec1ab85a5a8dd5e0b4e76f4a5bac368031b0610ab9e64a3","observation_id":"57d14d06-98cb-4a29-bccc-4cf138ceca4d","resolution":{"observed_at":"2026-08-14T05:25:15.958358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.495839Z","title":null,"venue":null,"work_id":"35e6fff3-17df-43cd-a437-773af9f2c7e2","year":2007},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.962131Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:bba5198cc05ff96cf25f3fed629596f65f856a67ff1ac5f400a8a1d8a1aaeeec","observation_id":"446c13d2-e6f1-47c8-8953-69555629844b","resolution":{"observed_at":"2026-08-14T05:25:16.499740Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.00455","last_updated":"2018-05-22T10:37:06Z","snapshot_observed_at":"2026-08-17T20:56:32.577806Z","submitted_at":"2017-11-01T17:42:12Z","title":"A Unified View of Piecewise Linear Neural Network Verification","version":3},"cited_work":{"arxiv_id":"1711.00455","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.00455","snapshot_observed_at":"2026-08-14T05:25:16.227686Z","title":"A Unified View of Piecewise Linear Neural Network Verification","venue":"cs.AI","work_id":"c7dc2fc8-debe-477b-a007-e6fb3a9b3864","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.965527Z"},"links":{"cited_paper":"/paper/1711.00455","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:998c9d96872fe57c36a22c17597cfa0ffd381b5924ec19f478c6f63a13c62d66","observation_id":"406e1010-113b-4845-b8bf-803cfdd0ee35","resolution":{"observed_at":"2026-08-14T05:25:16.233482Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1709.10207","last_updated":"2018-02-20T05:35:36Z","snapshot_observed_at":"2026-08-14T20:28:33.506213Z","submitted_at":"2017-09-29T00:57:12Z","title":"Provably Minimally-Distorted Adversarial Examples","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1709.10207","snapshot_observed_at":"2026-08-14T05:25:15.969705Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.969705Z"},"links":{"cited_paper":"/paper/1709.10207","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:7cc8870297324bdb14dc274a84d568bec8e9caf5d9c8c14804dd4acd37827b32","observation_id":"24802f10-1151-42c3-8f00-7d32984be02e","resolution":{"observed_at":"2026-08-14T05:25:15.969705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.485365Z","title":null,"venue":null,"work_id":"cc5ddfb7-5255-4375-96ba-9d61a55b0f89","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.973259Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:06fe014bedcb263e478d43f8143bad1b74b5e9c50f32cd2f4d085af44847f99e","observation_id":"04046a5d-7509-47bb-b1a1-f868bfd16b2a","resolution":{"observed_at":"2026-08-14T05:25:16.489200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.474107Z","title":null,"venue":null,"work_id":"84223fb2-6072-46e4-b7ec-c63f989d84c7","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.976983Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:7e14a7b5f39c102e371659b938686479a9f91cfe5e400b8b7db7f9db69d2d330","observation_id":"71dc6095-c404-45a1-87a0-fd499f2bd050","resolution":{"observed_at":"2026-08-14T05:25:16.477611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1803.01128","last_updated":"2020-04-20T19:59:25Z","snapshot_observed_at":"2026-08-14T19:40:02.255526Z","submitted_at":"2018-03-03T08:51:00Z","title":"Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.01128","snapshot_observed_at":"2026-08-14T05:25:15.980333Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.980333Z"},"links":{"cited_paper":"/paper/1803.01128","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:63a989abccca74e5351a9fe69cfc63f6124c6388d2a3433ebc616a498d47ad56","observation_id":"aa7fa8ed-0518-47c7-a499-87e7af5b93dc","resolution":{"observed_at":"2026-08-14T05:25:15.980333Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1805.10265","last_updated":"2018-05-29T09:48:05Z","snapshot_observed_at":"2026-08-14T19:11:01.708686Z","submitted_at":"2018-05-25T17:35:39Z","title":"Training verified learners with learned verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.10265","snapshot_observed_at":"2026-08-14T05:25:15.984023Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.984023Z"},"links":{"cited_paper":"/paper/1805.10265","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:7be60a2cf03474d1cfbd9eec33a58833064eafd76e8271eb07993c8f20877437","observation_id":"af1be3d9-a8cb-4c09-8377-1aedcf3d5119","resolution":{"observed_at":"2026-08-14T05:25:15.984023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.463947Z","title":null,"venue":null,"work_id":"51903732-9bd0-47f5-becc-84211b85020a","year":2008},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.987687Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:b0ddcb266ec661690032380158f50e090caa0671667382a90add4043ea4d290b","observation_id":"fdf01209-9dd2-4f39-92f5-6ff02fdc963d","resolution":{"observed_at":"2026-08-14T05:25:16.467240Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.453754Z","title":null,"venue":null,"work_id":"6611abe4-4f49-49da-b631-0d6765b1bd0f","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.990865Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:93d23bb3600c7a6c0c63af3ff9cd39fee04b652c6c3fc649a1e3adb0e7f16085","observation_id":"940216a8-442e-406d-9bf3-9bb5ced970d2","resolution":{"observed_at":"2026-08-14T05:25:16.457212Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.444220Z","title":null,"venue":null,"work_id":"ce2959d5-3181-4efd-ba9a-185a9987a517","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.994144Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:92ad866e9991649c63e78a9f241a9e855625eeea76b12ad490435e00106757af","observation_id":"56a37731-6cee-4522-92dc-74c4da92ac80","resolution":{"observed_at":"2026-08-14T05:25:16.447459Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.434064Z","title":null,"venue":null,"work_id":"45e3b009-6ded-4df2-9fb7-6b4ce1ff1d6f","year":2013},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:15.997461Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:8047cce1bca6d9d0c337f5a6ffa2b33fad6e3d2dba73bd6ebfc748f4b63e5cc9","observation_id":"e96e0e4c-99c4-435f-a56d-5d6ff7f5d97e","resolution":{"observed_at":"2026-08-14T05:25:16.437505Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-14T05:25:16.001329Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.001329Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:1f75468c5dd3251a0122e57867c60e76d1567d33cc0212b6900f3f3c01aeabb6","observation_id":"238419b1-a373-43dc-9a05-2496556e6840","resolution":{"observed_at":"2026-08-14T05:25:16.001329Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-08-19T07:17:20.004918Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-14T05:25:16.004850Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.004850Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:405a37edd488f710c08a0808a3f39fe39f563851e1089cea9df8ac8707117dce","observation_id":"9f2f5a6a-78e5-4df1-9785-287eb4864101","resolution":{"observed_at":"2026-08-14T05:25:16.004850Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-14T18:07:07.555009Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-14T05:25:16.008670Z","title":"Mann, and Pushmeet Kohli","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.008670Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:cb91325f90a6d5de89ca096609959081512c5e5f9501114c02463984fc0df429","observation_id":"5ebd3b51-4125-47c2-890f-104196835fa0","resolution":{"observed_at":"2026-08-14T05:25:16.008670Z","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-14T05:25:16.012726Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.012726Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:265408278ee89731f70779982c218e1046fbb064f8e2ed8092df6598e4ff8ffb","observation_id":"69d975ad-4707-4b30-a217-d5393d9ba299","resolution":{"observed_at":"2026-08-14T05:25:16.012726Z","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-14T05:25:16.015852Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.015852Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:88ef25c9ef121826376966eb62b067671d74480d37e7100add539ad25761f036","observation_id":"7b4144c2-9151-4924-b7f8-b7d3395e2e6d","resolution":{"observed_at":"2026-08-14T05:25:16.015852Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.417781Z","title":null,"venue":null,"work_id":"2b01af93-a7dc-4e8e-a4c2-7d8c2ff79f96","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.019002Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:d0678a8fa278553a6bbe692c4cff2b4cb700c694cf35142b3a771b8c96e9eaaf","observation_id":"77756266-21ab-461b-a78b-480008c0e2e7","resolution":{"observed_at":"2026-08-14T05:25:16.421304Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.407614Z","title":null,"venue":null,"work_id":"73236930-2f37-4ab1-b742-811a647761f6","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.022543Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:e5319876cfe197e70d7b9aac19045df6b521143b9fa7e47670e9159dfa681957","observation_id":"9c3c99e2-fc30-4e00-a6d7-e5dbb1daaf71","resolution":{"observed_at":"2026-08-14T05:25:16.411075Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.397632Z","title":"Kingma and Jimmy Ba","venue":null,"work_id":"f77e6c89-791e-42c8-a60c-f8497c26f3aa","year":2015},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.026494Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:0de9f02a063e30ffb9573fb5a60cd971705c65c86c5ae781033c53842e1299e7","observation_id":"cc34ff40-0644-42a3-bc75-290edbc6764e","resolution":{"observed_at":"2026-08-14T05:25:16.401122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1607.02533","last_updated":"2017-02-11T00:39:39Z","snapshot_observed_at":"2026-08-16T03:14:49.760924Z","submitted_at":"2016-07-08T21:12:11Z","title":"Adversarial examples in the physical world","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1607.02533","snapshot_observed_at":"2026-08-14T05:25:16.030144Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.030144Z"},"links":{"cited_paper":"/paper/1607.02533","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:ffe3069832456a08ceb854cd33d0a4b09df8fa6ff3811ac826a39ea2b4a87868","observation_id":"6ffb06d0-082b-4951-865f-a4ccf383a111","resolution":{"observed_at":"2026-08-14T05:25:16.030144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.387228Z","title":null,"venue":null,"work_id":"19e18dee-c664-4e65-a315-1725ce0026e3","year":2017},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.033805Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:ba7bb81c7abc6ff8a3ec3eb6d3aa8304defd53be34886409f4017d4a8d28db29","observation_id":"5e8e44c2-c954-4308-9f60-1c6555da37d5","resolution":{"observed_at":"2026-08-14T05:25:16.391145Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.377887Z","title":null,"venue":null,"work_id":"9903a6cb-e9fa-4d44-862e-0abd0f7640a9","year":2016},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.037427Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:6f13619f6b73de47167306043b854da952ea489b1ddf0f7b7358fd246240a0aa","observation_id":"dbe3d767-e4ec-4962-939a-9e00fd1eaaac","resolution":{"observed_at":"2026-08-14T05:25:16.381091Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.368307Z","title":null,"venue":null,"work_id":"509c8278-db21-4923-b4ba-b79fe6b26efa","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.040712Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:09f813ba0a2849304d3c77e7a5470fdea4262109f89f448adaff673283d92e61","observation_id":"00302a55-3692-4bd4-9bee-36f48323eb7f","resolution":{"observed_at":"2026-08-14T05:25:16.371640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.358938Z","title":null,"venue":null,"work_id":"b87b0f05-7e80-4446-bb1f-cf43d56d32c9","year":1995},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.043624Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:1b527dd2f7d7f423022266b15e448e236945ed9654e5eab526b90734da4fb08f","observation_id":"022a74e7-c67a-47d3-b39d-17acb0165ce7","resolution":{"observed_at":"2026-08-14T05:25:16.362401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.349174Z","title":null,"venue":null,"work_id":"a55904a0-d63f-4049-8346-ec2fd60f88bd","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.046770Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:163a55c5342da0d39e0ee75366cb6b36fc4985201b8ffeed1fb364bbf9619430","observation_id":"7591ea8d-d627-4bff-8abf-e1dbdade3a62","resolution":{"observed_at":"2026-08-14T05:25:16.352643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-14T05:25:16.049824Z","title":"Rojas-Barahona, Pei-Hao Su, David Vandyke, Tsung-Hsien Wen, and Steve Young","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.049824Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:1211ae5db7bdab9814ed467d9e92249e66b76ac061e97eaf66fdaf1f9e1112fa","observation_id":"a366124a-ec32-462d-9986-53ef3770d8b7","resolution":{"observed_at":"2026-08-14T05:25:16.049824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.339924Z","title":null,"venue":null,"work_id":"65fb5253-563e-43f1-b03b-8085174e9c72","year":2010},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.052909Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:6218cc59a29300c77e2928c2aa41d442921110d816e75386b5a6b787fad17ef7","observation_id":"42332415-a45f-420e-871f-02a13ff703ca","resolution":{"observed_at":"2026-08-14T05:25:16.343275Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-14T05:25:16.056774Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.056774Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:2b68eea97f5a96691b4c2a2b25df8dac6628561a494acf610786eae6a4517aa1","observation_id":"c15ffdb8-142c-44c8-ac33-440a75162fdc","resolution":{"observed_at":"2026-08-14T05:25:16.056774Z","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-14T05:25:16.060076Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.060076Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:0ffbc9551824a3c73b5a437160b72501dd3d25934f982f11cf8e2a2fed272253","observation_id":"f677bf78-19f4-473e-a608-7e1d09c4d10b","resolution":{"observed_at":"2026-08-14T05:25:16.060076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.330330Z","title":null,"venue":null,"work_id":"fa414c08-3d94-44f2-83b6-54d701130c20","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.063398Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:fbf3259fcc87296cff814268b088274f7208aa58889d826d6e65f1e05ffec92a","observation_id":"144ee84c-bef1-4090-81ca-4b273fc45a0c","resolution":{"observed_at":"2026-08-14T05:25:16.333792Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.320048Z","title":null,"venue":null,"work_id":"cb706f70-ee6b-4fdf-a30b-f9698a3c4636","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.066803Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:9eae66134444dd522304d09cb72b066e1878d9792d560ce72466a701b26490b4","observation_id":"bb629f9b-3082-4a9e-ba0f-d054dd4dda7a","resolution":{"observed_at":"2026-08-14T05:25:16.323384Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-14T05:25:16.069749Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.069749Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:657c27211208274abf4ef87e7a67451b36ccb3cdcb9302b00f493f935fafe402","observation_id":"b3731eb4-b0b2-4b96-8521-ef91b3269c47","resolution":{"observed_at":"2026-08-14T05:25:16.069749Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.309811Z","title":"Manning, Andrew Ng, and Christopher Potts","venue":null,"work_id":"4944a342-df84-4178-93d0-c900f9bf08f3","year":2013},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.073059Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:5a4e194851a6d4ad6e0491038b349fa8f4702156b2ff7e6393650a00770a8a79","observation_id":"be476301-9210-4449-935b-444f8b0b7e32","resolution":{"observed_at":"2026-08-14T05:25:16.313917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-08-15T16:41:15.505782Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-14T05:25:16.077091Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.077091Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:821eee7e7afa41c463b7a631d6e2f5bcd484c559b4a72fba26a6be2c77ceea60","observation_id":"b0e1bbab-98ec-4454-8c30-ffe7069ac5be","resolution":{"observed_at":"2026-08-14T05:25:16.077091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.300405Z","title":null,"venue":null,"work_id":"868c6074-8836-4a8e-ac93-14155c25b061","year":2019},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.080484Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:10877895d30299be8d0f2fa73b60086a87fa7cdb04213022261e39277f35433d","observation_id":"c99138bd-4f78-4251-8d29-b2fdd1780f8e","resolution":{"observed_at":"2026-08-14T05:25:16.303753Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.290832Z","title":null,"venue":null,"work_id":"27df69e3-9e6c-4de2-af5d-d33b70308504","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.083547Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:5756597defe24f31ec17c0838f2e08fb1b64df7da9d4201d45b24b0d01e33da8","observation_id":"2abb7153-42fd-4b9c-8d48-2d66db2addb7","resolution":{"observed_at":"2026-08-14T05:25:16.294126Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.280617Z","title":null,"venue":null,"work_id":"ad4edbc8-3e2b-4590-8901-1d58688f95b7","year":2019},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.086574Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:6712032f01a5de68401163b2699ad3f8df6cc7038a8d84f27ba76d0074dcfa3e","observation_id":"889b2d24-4c14-48cc-8c6e-2c0a996e344f","resolution":{"observed_at":"2026-08-14T05:25:16.284072Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.270436Z","title":null,"venue":null,"work_id":"9c6837c6-6d9d-4bd9-987b-9218c68d4e70","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.089903Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:8e47f5b26eb0bea55697b8d3f0c436c3ae0d4e54afff8da8fbfa3d11dc826c8e","observation_id":"311b9c56-77ff-4c3d-9be2-6d506d179800","resolution":{"observed_at":"2026-08-14T05:25:16.273970Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.260777Z","title":null,"venue":null,"work_id":"a7b514d8-adcb-4fa9-aaf4-db677fd8aa88","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.093179Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:ea56bd390e7895de62381ea461c160d8ff7275ea5f07fbc8a46da9280474ba03","observation_id":"9d565eb1-845c-4721-80d3-ffb1f3650d4f","resolution":{"observed_at":"2026-08-14T05:25:16.264111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.250603Z","title":null,"venue":null,"work_id":"3e9b933d-e392-4e22-b764-ed82403a3104","year":2018},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.096282Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:32eb822b53321efe579b8aa611b3ecdb0e1940bea200db7ce1b21c910c835a05","observation_id":"6ff20cc0-4b16-4cfb-9e04-96bf35042a5c","resolution":{"observed_at":"2026-08-14T05:25:16.254005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:25:16.240554Z","title":null,"venue":null,"work_id":"bd501435-4598-47ce-872e-268d906b331a","year":2015},"citing_paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-14T05:25:16.099341Z"},"links":{"citing_paper":"/paper/1909.01492"},"observation_digest":"sha256:2fd8089bd7f339bc5e952545e83884d1ecb382564e565d1f830c5780dc6c5796","observation_id":"8e3dad18-4f94-482c-9ffa-5c6d180b40b6","resolution":{"observed_at":"2026-08-14T05:25:16.243779Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1909.01492","last_updated":"2019-12-20T18:21:49Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-17T20:55:51.289184Z","submitted_at":"2019-09-03T23:03:10Z","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":1,"verified_fuzzy":2},"total_outbound_references":47},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 1 inbound Pith citation observation for arXiv:1909.01492."}