{"as_of":"2026-08-07T05:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:88bb42f586fcad2d5a2c0cb9b6584d101c8cfc83bd15e5860239cbe7334e5137","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":32,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:22:42.093557Z","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-07-04T16:09:56.544822Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"1907.07732","last_updated":"2019-07-17T19:32:47Z","snapshot_observed_at":"2026-07-06T08:08:26.408229Z","submitted_at":"2019-07-17T19:32:47Z","title":"Connecting Lyapunov Control Theory to Adversarial Attacks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-24T20:08:53.831112Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/1907.07732"},"observation_digest":"sha256:4f03cec91007b82ad2a616a439af41b0f4b1e51713ea770d673da96aed67f53a","observation_id":"9a685c0a-31a0-4310-aa68-6afb8d2d49db","resolution":{"observed_at":"2026-05-24T20:09:52.788027Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2410.03000","last_updated":"2026-04-14T16:40:44Z","snapshot_observed_at":"2026-07-06T19:27:25.061335Z","submitted_at":"2024-10-03T21:20:46Z","title":"Towards Generalized Certified Robustness with Multi-Norm Training","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-23T19:59:54.127391Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2410.03000"},"observation_digest":"sha256:f608cb097af00b4b3f1f09e02c7fef5f045f792499549d07d7bf568e4a5f67f9","observation_id":"49cb3632-7a35-4867-8cb8-747f1a48b5c6","resolution":{"observed_at":"2026-05-23T20:03:24.505518Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2411.18235","last_updated":"2026-04-06T08:09:44Z","snapshot_observed_at":"2026-08-02T17:40:32.939315Z","submitted_at":"2024-11-27T11:12:46Z","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-23T16:42:11.222124Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2411.18235"},"observation_digest":"sha256:bd1d8d8d45572ee1f7a61c2ea7b662fdbe2e5af9a86da2982c3ed3ecfa489c31","observation_id":"b6568073-ca88-469c-866d-4884bf205fe1","resolution":{"observed_at":"2026-05-23T16:43:11.514324Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2412.14113","last_updated":"2026-05-14T17:15:02Z","snapshot_observed_at":"2026-07-06T20:09:28.763595Z","submitted_at":"2024-12-18T17:58:58Z","title":"Adversarial Hubness in Multi-Modal Retrieval","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-23T06:39:36.039613Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2412.14113"},"observation_digest":"sha256:314c1b33079fcecbcaeefbf822febfd0b1be79fcfebc465540839c9a708c4f8b","observation_id":"568ca5fa-f4d7-4c05-98be-d20bf4489e70","resolution":{"observed_at":"2026-05-23T06:42:39.724126Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-07T05:22:42.093557Z","title":"On the effec- tiveness of interval bound propagation for training verifiably robust models.arXiv preprint arXiv:1810.12715, 2018","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.08255","last_updated":"2026-05-29T14:58:51Z","snapshot_observed_at":"2026-08-07T05:12:51.566683Z","submitted_at":"2025-06-09T21:43:56Z","title":"SHIELD: Secure Hypernetworks for Incremental Expansion Learning Defense","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:22:42.093557Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2506.08255"},"observation_digest":"sha256:f0948aab3f6e272ec905a28f813341262405670c500a7432e1e2501c0391dbd5","observation_id":"7da81055-82df-4a7c-a6ab-dc37be377f9e","resolution":{"observed_at":"2026-08-07T05:22:42.093557Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-07T04:56:20.857214Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-07T04:45:26.035405Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.857214Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:fa4129db900894897d24a43742c6657601b23be61ba3c79e4d4e655f3cf227c8","observation_id":"d1bcc0b4-3470-4752-8db9-dda71cd4c5fa","resolution":{"observed_at":"2026-08-07T04:56:20.857214Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2506.23964","last_updated":"2026-04-29T19:09:55Z","snapshot_observed_at":"2026-07-06T21:49:52.050980Z","submitted_at":"2025-06-30T15:36:22Z","title":"Making Logic a First-Class Citizen in Generative ML for Networking","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-19T07:24:37.618002Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2506.23964"},"observation_digest":"sha256:be7549c21a857e881b209a1e1297df4b0153c88b8f7ad4587a907ae76858228c","observation_id":"8fff7cce-b996-4514-bf9e-a0a4b18a2d2f","resolution":{"observed_at":"2026-05-19T07:27:09.088921Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-06T19:50:43.236620Z","title":"Available: https://arxiv.org/abs/1810.12715","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.04523","last_updated":"2025-07-06T20:22:58Z","snapshot_observed_at":"2026-08-06T19:43:12.505372Z","submitted_at":"2025-07-06T20:22:58Z","title":"Verification of Visual Controllers via Compositional Geometric Transformations","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T19:50:43.236620Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2507.04523"},"observation_digest":"sha256:56db170e15701cbc4dc05e246e4c73026a15bfba7c46c18ecb2fa421d50de8ea","observation_id":"7a5a5c7d-4972-4e48-8b18-b299a7325280","resolution":{"observed_at":"2026-08-06T19:50:43.236620Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-05T16:56:08.843235Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2508.17456","last_updated":"2025-09-13T23:06:06Z","snapshot_observed_at":"2026-08-06T13:39:09.887280Z","submitted_at":"2025-08-24T17:19:53Z","title":"Adversarial Examples Are Not Bugs, They Are Superposition","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T16:56:08.843235Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2508.17456"},"observation_digest":"sha256:803fcf879a887b1449fcfd8a670d0d19e510e850e53c26f2331a7b60df646c99","observation_id":"0093fff1-3713-481d-99f2-90399319a6c0","resolution":{"observed_at":"2026-08-05T16:56:08.843235Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-05T10:38:48.767788Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.767788Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:36441da044bad7e9aec19ce1721b4dd13558a7d803e3d3b83f87a5fa4de1ece3","observation_id":"aeda2798-d890-42dd-8fda-97a2cc6a9e76","resolution":{"observed_at":"2026-08-05T10:38:48.767788Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2509.22849","last_updated":"2026-05-18T08:34:08Z","snapshot_observed_at":"2026-08-02T09:00:25.894977Z","submitted_at":"2025-09-26T18:59:59Z","title":"Parameterized Hardness of Zonotope Containment and Neural Network Verification","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-21T22:01:46.689197Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2509.22849"},"observation_digest":"sha256:141993d98e787da4e8df626e16a8a4c3d74ed5bc3575f5a9b855eec8e79c4409","observation_id":"44f3dfbc-af46-4e06-9e01-55a22b301183","resolution":{"observed_at":"2026-05-21T22:04:24.189047Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-03T21:50:15.644926Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.644926Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:2d6fa99354630d9800195cd6a3fb4f49e4d333998b57b6ce33c55325e58ca069","observation_id":"93acb7ae-e46a-44e9-8d7d-60d0102a70b9","resolution":{"observed_at":"2026-08-03T21:50:15.644926Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2511.15624","last_updated":"2026-04-30T19:38:01Z","snapshot_observed_at":"2026-07-06T22:36:24.466921Z","submitted_at":"2025-11-19T17:09:41Z","title":"Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-17T20:34:23.017758Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2511.15624"},"observation_digest":"sha256:1790f900d63bbb9007392c2f56a4ea901e2ef8624d1bd7d66a01413b416d1507","observation_id":"a4d3c215-a19f-4bf0-ba6c-e85050f7be38","resolution":{"observed_at":"2026-05-17T20:35:13.174538Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-02T20:23:43.607033Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models.arXiv preprint arXiv:1810.12715,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.23526","last_updated":"2026-06-03T07:59:15Z","snapshot_observed_at":"2026-08-02T20:23:21.744769Z","submitted_at":"2026-02-26T22:11:07Z","title":"Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs","version":3},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T20:23:43.607033Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2602.23526"},"observation_digest":"sha256:34c35692eef8efd1a323aca2518218642b1800a3e5f32103b1b3666e012ed797","observation_id":"9a55be8e-ea1f-4814-a61f-552d8f89d2b8","resolution":{"observed_at":"2026-08-02T20:23:43.607033Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-02T19:17:08.572806Z","title":"arXiv preprint arXiv:1810.12715 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.572806Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:16eb1061ec51d59278ca8d360955f361e107eaa4f208a73993210c25de060606","observation_id":"4ccd5854-537a-4cd0-8983-d992c4957833","resolution":{"observed_at":"2026-08-02T19:17:08.572806Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-02T19:02:36.027673Z","title":", Dvijotham, K","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.03971","last_updated":"2026-07-20T14:18:37Z","snapshot_observed_at":"2026-08-02T19:02:33.538115Z","submitted_at":"2026-03-04T12:14:21Z","title":"No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason","version":4},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T19:02:36.027673Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2603.03971"},"observation_digest":"sha256:80bdf58737fb1ebf934c511a1312b417cf97a9a988c4c56e46b0bd73d85dba32","observation_id":"e268eea9-4c3d-41f1-ba43-95be3dacf43c","resolution":{"observed_at":"2026-08-02T19:02:36.027673Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-15T13:02:17.646650Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models.arXiv preprint arXiv:1810.12715, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.08761","last_updated":"2026-05-26T06:59:28Z","snapshot_observed_at":"2026-08-06T02:06:48.904335Z","submitted_at":"2026-03-08T23:03:21Z","title":"No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-15T13:02:17.646650Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2603.08761"},"observation_digest":"sha256:932007da1829d209080452973ef8812d7594df0ad75a6db029158e0bbb5ba6a0","observation_id":"61152d4e-1b63-42c7-8b67-a64d9c477d17","resolution":{"observed_at":"2026-07-15T13:02:17.646650Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2603.23878","last_updated":"2026-08-04T18:16:49Z","snapshot_observed_at":"2026-08-07T05:16:42.349782Z","submitted_at":"2026-03-25T03:09:25Z","title":"The Luna Bound Propagator for Formal Analysis of Neural Networks","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-15T00:58:10.024343Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2603.23878"},"observation_digest":"sha256:fcf3ccba01d23c2276569a5dfecd10817b516d6388b3168ce8e0d6db34d57776","observation_id":"971f0344-a29f-4542-923e-3d0f9c637c10","resolution":{"observed_at":"2026-05-15T00:58:25.495995Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2604.09452","last_updated":"2026-04-10T16:09:39Z","snapshot_observed_at":"2026-07-31T10:39:12.384743Z","submitted_at":"2026-04-10T16:09:39Z","title":"SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T17:50:56.101903Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2604.09452"},"observation_digest":"sha256:78766ec66bbd9165f09d51cf7aff281ecf654a2e22bf1155327c049536cae641","observation_id":"9ede5312-b09d-44e5-a0d8-61070cacb1e9","resolution":{"observed_at":"2026-05-11T06:00:58.723509Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2604.22746","last_updated":"2026-04-24T17:46:55Z","snapshot_observed_at":"2026-07-06T23:09:05.682387Z","submitted_at":"2026-04-24T17:46:55Z","title":"Relaxation-Informed Training of Neural Network Surrogate Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-08T10:56:03.732758Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2604.22746"},"observation_digest":"sha256:60f4fb6f7d5eb77628e9529496d8e36906dc19ae3f2e4d9cc721f32dd9bebc0f","observation_id":"a2f4e5f1-d6b5-463c-9be4-0f23fde6a99c","resolution":{"observed_at":"2026-05-11T19:51:09.706537Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2604.25965","last_updated":"2026-06-06T14:19:58Z","snapshot_observed_at":"2026-07-31T23:52:39.188995Z","submitted_at":"2026-04-28T04:49:31Z","title":"Adversarial Robustness of NTK Neural Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-07T15:09:15.842703Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2604.25965"},"observation_digest":"sha256:7c8838b700645c341536f5d1e4ee903dc2886b37ac44fa2c32d57271d18f3789","observation_id":"74491a5b-7a42-4895-9287-62e33a4824be","resolution":{"observed_at":"2026-05-12T00:31:18.129049Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2604.25965","last_updated":"2026-06-06T14:19:58Z","snapshot_observed_at":"2026-07-31T23:52:39.188995Z","submitted_at":"2026-04-28T04:49:31Z","title":"Adversarial Robustness of NTK Neural Networks","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-01T09:03:09.306517Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2604.25965"},"observation_digest":"sha256:b30596c60efec0399ad0d46767cd09d1711758066bd765a53131b508526a0f69","observation_id":"c1a9ddaa-bdc2-4496-aaa0-86cea6be5c0b","resolution":{"observed_at":"2026-07-01T09:05:36.522403Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2605.08938","last_updated":"2026-05-09T13:16:24Z","snapshot_observed_at":"2026-07-06T23:21:06.773761Z","submitted_at":"2026-05-09T13:16:24Z","title":"Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-12T01:55:17.557676Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2605.08938"},"observation_digest":"sha256:13769c11ff50db0141e33912d862f099ab10092c83850f226a1214f03614a9e8","observation_id":"b521226c-fff4-420a-bad0-572850bec542","resolution":{"observed_at":"2026-05-12T01:56:14.740519Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2605.17153","last_updated":"2026-05-16T20:56:52Z","snapshot_observed_at":"2026-07-06T23:28:12.114488Z","submitted_at":"2026-05-16T20:56:52Z","title":"Stress-Testing Neural Network Verifiers with Provably Robust Instances","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-20T14:48:54.688641Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2605.17153"},"observation_digest":"sha256:c8c00f6cc718f9930f77e95dc804d4cbe1b290fe4fe9b854da1283ec5920750b","observation_id":"1e7683ea-e7f7-42c4-84de-8c87db1d7201","resolution":{"observed_at":"2026-05-20T14:53:23.457572Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","snapshot_observed_at":"2026-07-06T23:36:25.432687Z","submitted_at":"2026-05-26T05:49:19Z","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:5373a1160d5cea97581005e2f9d0b217ddf1223d93a2599186704f70d46a699f","observation_id":"16e2763d-b3cd-4e03-81ce-06ce0da1ce5f","resolution":{"observed_at":"2026-06-29T16:23:39.411639Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2606.09746","last_updated":"2026-06-08T17:06:51Z","snapshot_observed_at":"2026-08-02T10:07:34.825488Z","submitted_at":"2026-06-08T17:06:51Z","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T17:11:18.466650Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2606.09746"},"observation_digest":"sha256:4112c48d99d7847b215338a04143c561ff7d41d33e813fbd7e29ccc09d8cf486","observation_id":"0c1250af-812b-473a-b20c-226d45d8acae","resolution":{"observed_at":"2026-07-03T00:27:29.907891Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2606.18454","last_updated":"2026-06-16T20:02:51Z","snapshot_observed_at":"2026-08-04T03:46:27.557854Z","submitted_at":"2026-06-16T20:02:51Z","title":"Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T00:51:18.807941Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2606.18454"},"observation_digest":"sha256:b176bbeefe9d534029d38a625ec93c302377d94c38a4af1ff200e2b4196eebfd","observation_id":"0cb79554-9d48-4d6e-a6bb-0f3b50cb3dbf","resolution":{"observed_at":"2026-07-03T21:08:58.620362Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2606.26446","last_updated":"2026-06-24T23:16:20Z","snapshot_observed_at":"2026-07-07T00:00:46.505337Z","submitted_at":"2026-06-24T23:16:20Z","title":"Input Convex Neural Network as a Surrogate in Stability-Constrained Optimization for IBR-dominated Power Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T00:59:39.458148Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2606.26446"},"observation_digest":"sha256:83bb3dc4b667407baf2b4f4e4f23df5a58fe8fea7ef72257d70f2480ee6312f8","observation_id":"921da14c-094e-46c7-9565-ddc720cc8d65","resolution":{"observed_at":"2026-07-04T16:09:56.546693Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"citing_paper":{"arxiv_id":"2606.27215","last_updated":"2026-06-25T16:05:38Z","snapshot_observed_at":"2026-08-02T16:00:43.596490Z","submitted_at":"2026-06-25T16:05:38Z","title":"Vulnerability of Natural Language Classifiers to Evolutionary Generated Adversarial Text","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T04:41:23.586921Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2606.27215"},"observation_digest":"sha256:80fe235b6c8dcd33f4449b31d43a442f145bbe067dcec37121bf7dbbcfe13a53","observation_id":"2712aca2-ea2f-4e91-9fdb-bdf94a9dd52c","resolution":{"observed_at":"2026-07-04T13:59:52.557347Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-01T15:48:09.909663Z","title":"Gowal, K","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.18195","last_updated":"2026-07-20T17:36:05Z","snapshot_observed_at":"2026-08-07T01:09:11.208454Z","submitted_at":"2026-07-20T17:36:05Z","title":"Certified Training for Convolutional Perturbations","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T15:48:09.909663Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2607.18195"},"observation_digest":"sha256:76be413df909e0a095cb27a35f621363eb69ca00327132879573a81209391e2e","observation_id":"ddd31afd-3b24-4f03-a8a5-c87e0db5d0ba","resolution":{"observed_at":"2026-08-01T15:48:09.909663Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-30T12:03:22.284744Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23804","last_updated":"2026-07-26T19:06:29Z","snapshot_observed_at":"2026-07-30T23:56:46.291303Z","submitted_at":"2026-07-26T19:06:29Z","title":"How Context Attribution Handles What the Model Already Knows","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-07-30T12:03:22.284744Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2607.23804"},"observation_digest":"sha256:f44559f713af1de2a1c6171b2627376891b27e44a982812b69d854b5dbac67de","observation_id":"0655bcae-ed70-49e6-aefb-305eabbf6d06","resolution":{"observed_at":"2026-07-30T12:03:22.284744Z","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-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-01T01:26:22.039700Z","title":"arXiv preprint arXiv:1810.12715 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.25814","last_updated":"2026-07-28T14:58:28Z","snapshot_observed_at":"2026-08-05T23:09:07.652401Z","submitted_at":"2026-07-28T14:58:28Z","title":"Evaluation of Adversarial Robustness in Arabic Language Models","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T01:26:22.039700Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2607.25814"},"observation_digest":"sha256:42a5a14d455574127ebae3eb56f28732d5b8472a17b7b115bd7dd54b6dff34e2","observation_id":"9f7ee4f6-449a-4bf0-9c1a-a091046ff224","resolution":{"observed_at":"2026-08-01T01:26:22.039700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/1810.12715/citation-record","integrity":"/paper/1810.12715/integrity","json":"/paper/1810.12715/citation-record.json","paper":"/paper/1810.12715"},"outbound":[],"paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","latest_version":4,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 32 inbound Pith citation observations for arXiv:1810.12715."}