{"as_of":"2026-08-20T18:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:875e385ba0288713dd1e2e8552b9eeb88a53e8205e2fa234927f98cd4288a875","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T14:54:44.332411Z","state":"measured"},{"denominator":65,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":65,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.17453/citation-record","integrity":"/paper/2507.17453/integrity","json":"/paper/2507.17453/citation-record.json","paper":"/paper/2507.17453"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:54:44.123418Z","title":"Optimization and abstraction: a synergistic approach for analyzing neural network robustness","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.123418Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:80b93998aa6e03bce019b6bc6e129fc8f488d39a50fc493f66e8982edf2a6824","observation_id":"2e04bee5-d4c7-4f72-8ab8-f81a649b9020","resolution":{"observed_at":"2026-08-06T14:54:44.123418Z","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-06T14:54:45.359466Z","title":"Strong convex relaxations and mixed-integer programming formulations for trained neural networks (2018), 1811","venue":null,"work_id":"f6a67c77-6b82-4cde-ba42-f81b3d899eb8","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.126994Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:b6643c9d16084407ba4ec98da00c42c56c6ce93f94f83a5494af58d2fc137966","observation_id":"4cb794c6-01a2-43fa-ab8a-fb2b26456b84","resolution":{"observed_at":"2026-08-06T14:54:45.362579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.130096Z","title":"Square attack: a query-efficient black-box adversarial attack via random search","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.130096Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:077f0514fd280b6204fa8e0a991a50185135a589f31ff0c9a83835c9d142189b","observation_id":"8549a5d5-2f66-47c6-b2eb-0d9993d1b448","resolution":{"observed_at":"2026-08-06T14:54:44.130096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.06588","last_updated":"2025-08-26T14:58:14Z","snapshot_observed_at":"2026-08-19T18:23:23.440061Z","submitted_at":"2019-09-14T12:44:35Z","title":"Branch and Bound for Piecewise Linear Neural Network Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.06588","snapshot_observed_at":"2026-08-06T14:54:44.133910Z","title":null,"venue":null,"work_id":null,"year":1909},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.133910Z"},"links":{"cited_paper":"/paper/1909.06588","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:b4cba71936e677b563e9a404b033c2d9c839c8c3d66041abd79d5e41277411cc","observation_id":"d382cb40-30d4-4585-a7f3-ed89d0d1a810","resolution":{"observed_at":"2026-08-06T14:54:44.133910Z","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-06T14:54:45.351203Z","title":"Branch and bound for piecewise linear neural network verification","venue":null,"work_id":"a7ae3130-dc56-4793-9027-77533265669a","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.137771Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:bc040b530d9b61e5bd71662bc706cd8ac15f258de54c5490a670fb7a9e3e55c8","observation_id":"ad51bae3-ca1d-4ab8-96f2-b10b6abc5dd3","resolution":{"observed_at":"2026-08-06T14:54:45.354165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.140982Z","title":"Towards evaluating the robustness of neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.140982Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:9adb3c0fcc91721bc101bd05f6f749bc6b8551109588838573d6007535b0022a","observation_id":"2d832d43-b319-439b-9c47-d1c64053f533","resolution":{"observed_at":"2026-08-06T14:54:44.140982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-68167-2_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Maximum resilience of artificial neural networks","venue":"Lecture notes in computer science","work_id":"29614efa-3f8c-425c-ae9c-3cd2903e2f21","year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.144448Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:6d7833f786a1ab2b0a58b52ff6892ba088434d533ed785ac588cc19d770276bb","observation_id":"0268fe9a-65ad-4486-9d2f-1bf7530c8180","resolution":{"observed_at":"2026-08-06T14:54:44.519716Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.342874Z","title":"A survey of algorithms for black-box safety validation of cyber-physical systems","venue":null,"work_id":"80610351-6a58-4fdc-a27b-adf18351bedd","year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.147563Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:e5368fbfed8d1b600e5a793ed406540e82b10f26510e7503a0e4f78187cd8a97","observation_id":"923e071e-b430-4c69-8bc4-32f52e8dc73d","resolution":{"observed_at":"2026-08-06T14:54:45.345811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.12418","last_updated":"2021-04-26T09:16:27Z","snapshot_observed_at":"2026-08-16T18:29:07.793063Z","submitted_at":"2021-04-26T09:16:27Z","title":"Fast Falsification of Neural Networks using Property Directed Testing","version":1},"cited_work":{"arxiv_id":"2104.12418","doi":"10.48550/arxiv.2104.12418","metadata_source":"pith","pith_arxiv_id":"2104.12418","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Fast Falsification of Neural Networks using Property Directed Testing","venue":"cs.AI","work_id":"f988d8fb-8de7-43fc-ab0b-67d1a36aac4f","year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.150460Z"},"links":{"cited_paper":"/paper/2104.12418","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:7c3ea43da634f5b8a1a46e6a08c1a88532fd12036d16501b274b2b15bc1a5b3a","observation_id":"fce475f3-dc33-42a5-9949-547eb9b50a16","resolution":{"observed_at":"2026-08-06T14:54:44.509996Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.334580Z","title":"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming","venue":null,"work_id":"842527b7-79b2-414b-a632-3e7a8727782a","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.153773Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:32c23c7fbe5663dc2277de7be70d555e4e0a38b87287dcba173f9204f39ca927","observation_id":"3869d7b5-641e-4e92-8dfb-9032fb88ec37","resolution":{"observed_at":"2026-08-06T14:54:45.337626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06718","last_updated":"2021-04-14T09:22:42Z","snapshot_observed_at":"2026-08-16T18:31:42.990932Z","submitted_at":"2021-04-14T09:22:42Z","title":"Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.06718","snapshot_observed_at":"2026-08-06T14:54:44.156711Z","title":"Improved branch and bound for neural network verification via lagrangian decomposition","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.156711Z"},"links":{"cited_paper":"/paper/2104.06718","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:eb2339f0da205d41f0e98b33b0d285c97c1bf976ca40730a43384238167f5fd9","observation_id":"024baced-ad56-48f9-aaf9-e4d28adf75fe","resolution":{"observed_at":"2026-08-06T14:54:44.156711Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.10266","last_updated":"2024-01-19T23:51:05Z","snapshot_observed_at":"2026-08-19T11:30:11.486449Z","submitted_at":"2023-07-17T18:49:46Z","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.10266","snapshot_observed_at":"2026-08-06T14:54:44.160076Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.160076Z"},"links":{"cited_paper":"/paper/2307.10266","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:a86250bc62e983d72b94edc4eb83adc1ed434f0ac02c0b822a30d89d9ef6c1e9","observation_id":"bfe69a1a-28ef-4971-b661-9c21ca7a8ab6","resolution":{"observed_at":"2026-08-06T14:54:44.160076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3643765","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Harnessing neuron stability to improve dnn verification","venue":"Proceedings of the ACM on software engineering.","work_id":"ed619e3d-c5bf-4f5a-8e9f-cd235f3cb755","year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.163532Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:bdbef87fdf57c2bf1da8d3e495f963e3c35e278cf9703cbb863fb981ce442c9a","observation_id":"36e36ca2-ff43-4913-b78b-0927dcfa2eca","resolution":{"observed_at":"2026-08-06T14:54:44.488119Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.326233Z","title":"Efficient neural network verification with exactness characterization","venue":null,"work_id":"3ae7c734-5ea1-48b9-aaef-70d022a05c37","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.166772Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:82f6278d9220b9b1ecee8c70f21b426eb5270d1df1651c7d47e7c5ef30d65c2d","observation_id":"588dd4b4-3bc2-476e-ab54-97b31ec97f5d","resolution":{"observed_at":"2026-08-06T14:54:45.329279Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.318157Z","title":"Formal verification of piece-wise linear feed-forward neural networks","venue":null,"work_id":"dbdb530d-4777-4c09-ab4f-b8879ff35264","year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.169777Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:43c0dde06a0fc3abdc18436451809ae9182279fe6d9859422700cb8c06f5e32b","observation_id":"c61e2f35-6bef-40de-b0c9-654b333111b8","resolution":{"observed_at":"2026-08-06T14:54:45.321149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.309906Z","title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming","venue":null,"work_id":"cf30891e-3ae2-4ccd-b387-41c325659c40","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.172846Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:aa6de3a0fac64cc37a17b8db5d13cbd2a3d8e22fd581c6987613827d68935c3f","observation_id":"810fbc08-1480-4dc8-b80c-9601cd1f3cea","resolution":{"observed_at":"2026-08-06T14:54:45.312965Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.00263","last_updated":"2022-04-30T13:12:33Z","snapshot_observed_at":"2026-08-16T17:03:29.379863Z","submitted_at":"2022-04-30T13:12:33Z","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.00263","snapshot_observed_at":"2026-08-06T14:54:44.176007Z","title":"Complete verification via multi-neuron relaxation guided branch-and-bound","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.176007Z"},"links":{"cited_paper":"/paper/2205.00263","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:f7b483106d7eeff5070aff1d7fab310b2fddecc1fb4f1477952d49676c3e179b","observation_id":"4484d752-00be-4c52-b057-eaaccc33bb96","resolution":{"observed_at":"2026-08-06T14:54:44.176007Z","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-06T14:54:45.301770Z","title":"Shared certificates for neural network verification","venue":null,"work_id":"7d16c835-6378-42c9-adba-2d3a7edc8620","year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.179945Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:6d3d0e005151b86a4d704b0bf5901d13d4f670ab2fb8dfdbb7ad032ad76a32f6","observation_id":"3a0593cf-dff9-4dca-9c66-84e677ad514f","resolution":{"observed_at":"2026-08-06T14:54:45.304609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.293430Z","title":"Adaptive branch-and-bound tree exploration for neural network verification","venue":null,"work_id":"5c6fc675-66b2-4c7b-a6f5-d374e1bbe988","year":2025},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.183591Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:d8cb3d2789d9ab81f2e2044c936de901ef541fb90ef986f359e88f1bfcc2f38e","observation_id":"60f20f14-0597-40ea-8ae6-ab9ded12680b","resolution":{"observed_at":"2026-08-06T14:54:45.296558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.187314Z","title":"Fuzz testing based data augmentation to improve robustness of deep neural networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.187314Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:f2bc56ef1244fc2db0f2d39195e0ead17cb4582c60128339f727c6e4fe9b011e","observation_id":"ded05a70-b57b-48ed-b2ac-f715b0b3bdbc","resolution":{"observed_at":"2026-08-06T14:54:44.187314Z","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-06T14:54:45.285297Z","title":"Goodfellow, Jonathon Shlens, and Christian Szegedy","venue":null,"work_id":"ec54f8dd-d049-4e5c-be5c-fc84dd0e5c88","year":2015},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.190734Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:24415b3b236903bce8bb6e86a4e55826f3d186962dc0454031b894f60870f723","observation_id":"07c603d4-9cfe-47c0-9692-26b84c5336ba","resolution":{"observed_at":"2026-08-06T14:54:45.288272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.194202Z","title":"Eager falsification for accelerating robustness verification of deep neural networks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.194202Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:92f0ec8ea96c5a23608efa3bde61a8209807693acc37b588363cc6c2933bae1c","observation_id":"c9c3d047-9c22-4203-bd23-03150c29353e","resolution":{"observed_at":"2026-08-06T14:54:44.194202Z","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-06T14:54:45.276470Z","title":"Gurobi Optimizer Reference Manual , 2023","venue":null,"work_id":"9cec0f12-e14c-4395-a820-384419458dc2","year":2023},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.197470Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:57ccb8950472c52658f6a7bd6453dd9fbd2fa9289be36ac3721c603687059ac6","observation_id":"0473fdef-d90e-438b-a728-5dbcaa2f6a7f","resolution":{"observed_at":"2026-08-06T14:54:45.279475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65112-0_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Iterative counter-example guided robustness verification for neural networks","venue":"Lecture notes in computer science","work_id":"5c09a9b0-973e-4d6a-8b55-75a7a284b4f2","year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.200930Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:f45fe76d184976384d69f0e8a0008696f9a77d46771ebc2d90df75e5e47c8122","observation_id":"3d241bcb-0219-44ac-b13f-271c410a77ac","resolution":{"observed_at":"2026-08-06T14:54:44.471949Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.204451Z","title":"Deepsplit: An efficient splitting method for neural network verification via indirect effect analysis","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.204451Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:7b303515477d86bbf122f79709cf62be6a2262e148837f70a157c4279b4fa574","observation_id":"fa051654-890e-49cb-a09a-95d7b536ac97","resolution":{"observed_at":"2026-08-06T14:54:44.204451Z","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-06T14:54:44.207662Z","title":"Safety verification of deep neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.207662Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:b0bc31de2d99918b4b9c24582d8f0a1c1a7166b00fb71823e7182213fb47b5de","observation_id":"e5b1df30-827c-46ac-bc1a-8b13440504e9","resolution":{"observed_at":"2026-08-06T14:54:44.207662Z","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-06T14:54:44.210811Z","title":"Reluplex: An efficient SMT solver for verifying deep neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.210811Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:d3f532c15b215fc5cee28895a042ededaf068ecc8878f2912a340f21db348b8f","observation_id":"bdb0fa46-9997-46e2-8c6e-668412bfd467","resolution":{"observed_at":"2026-08-06T14:54:44.210811Z","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-06T14:54:44.214236Z","title":"Optimization by simulated annealing","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.214236Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:ca11c94deb134dc2e46dbb518ce7a6586afe95c150043b952006883d47085ead","observation_id":"fb8637c7-b696-4c3d-8461-8e72584928e4","resolution":{"observed_at":"2026-08-06T14:54:44.214236Z","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-06T14:54:44.217522Z","title":"Algorithms for verifying deep neural networks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.217522Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:c14972ed0634503cd9f5b04184cf43cb6a894f3630e65d13805bc0a9ca709e03","observation_id":"0c88b65f-0c2e-43cc-b3cb-854d1f288e49","resolution":{"observed_at":"2026-08-06T14:54:44.217522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01329","last_updated":"2019-12-03T12:12:29Z","snapshot_observed_at":"2026-08-20T06:33:16.524614Z","submitted_at":"2019-12-03T12:12:29Z","title":"Neural Network Branching for Neural Network Verification","version":1},"cited_work":{"arxiv_id":"1912.01329","doi":null,"metadata_source":"pith","pith_arxiv_id":"1912.01329","snapshot_observed_at":"2026-08-06T14:54:44.902929Z","title":"Neural Network Branching for Neural Network Verification","venue":"cs.LG","work_id":"d8e9672f-c07b-4dab-af39-dcb0a3b9f36c","year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.220704Z"},"links":{"cited_paper":"/paper/1912.01329","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:3fe9e205bb26882fa3a6d1de2e1e2c38bdaf69c814912e5d8ba1c761bc365fd8","observation_id":"c4b8dfa9-824c-4081-ac19-185660e21524","resolution":{"observed_at":"2026-08-06T14:54:44.906907Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.224480Z","title":"Relu hull approximation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.224480Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:573e553b6438940205cb51e9a3297b486da6f4ee2ab233f35480f5a3a412df5d","observation_id":"60d24cee-aa16-4ab6-a9dd-f2f178a8c262","resolution":{"observed_at":"2026-08-06T14:54:44.224480Z","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-06T14:54:45.268170Z","title":"Towards deep learning models resistant to adversarial attacks","venue":null,"work_id":"5d9ede78-4e2e-4805-8cfb-82af89f2fcf9","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.227848Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:026123dc4ac38b0a88ecbf9cbff3abbf038260251662d2e1520559d76407a18d","observation_id":"23c28493-dd4a-4d0c-908c-8cde3d1c18b1","resolution":{"observed_at":"2026-08-06T14:54:45.271191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.10868","last_updated":"2021-05-18T10:14:05Z","snapshot_observed_at":"2026-08-19T02:08:03.580179Z","submitted_at":"2020-07-20T16:09:07Z","title":"Scaling Polyhedral Neural Network Verification on GPUs","version":2},"cited_work":{"arxiv_id":"2007.10868","doi":null,"metadata_source":"pith","pith_arxiv_id":"2007.10868","snapshot_observed_at":"2026-08-06T14:54:44.889705Z","title":"Scaling Polyhedral Neural Network Verification on GPUs","venue":"cs.LG","work_id":"504cad5e-a44a-49e3-a416-145e1807bf8f","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.231117Z"},"links":{"cited_paper":"/paper/2007.10868","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:8c258a4327706147c524ab499d1c68c8612b55805292eced45d82ddecae42ff7","observation_id":"43d2691c-555d-4678-84a5-a805b1e605a3","resolution":{"observed_at":"2026-08-06T14:54:44.893792Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10376","last_updated":"2023-02-16T08:06:35Z","snapshot_observed_at":"2026-08-16T16:07:15.893730Z","submitted_at":"2022-12-20T15:58:01Z","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10376","snapshot_observed_at":"2026-08-06T14:54:44.234193Z","title":"3rd international verification of neural networks competition ( VNN-COMP 2022): Summary and results","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.234193Z"},"links":{"cited_paper":"/paper/2212.10376","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:3f891f1076d9da86decb6274607ba188a370d6357bdbea2a8e7c5c1932b3db5c","observation_id":"2a4a9049-a355-4f78-a263-b974bec88754","resolution":{"observed_at":"2026-08-06T14:54:44.234193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03638","last_updated":"2022-02-28T16:54:50Z","snapshot_observed_at":"2026-08-16T18:41:00.243859Z","submitted_at":"2021-03-05T12:53:24Z","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","version":3},"cited_work":{"arxiv_id":"2103.03638","doi":null,"metadata_source":"pith","pith_arxiv_id":"2103.03638","snapshot_observed_at":"2026-08-06T14:54:44.868308Z","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","venue":"cs.AI","work_id":"513ac5ad-be8e-4c37-8da6-c94d9dcb4589","year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.237363Z"},"links":{"cited_paper":"/paper/2103.03638","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:54cf216cbef61db7a238d75e53003438d658339458310fc94a0e003425a9e136","observation_id":"6e17f5c1-8c82-481f-b011-a26df1861cae","resolution":{"observed_at":"2026-08-06T14:54:44.872139Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.240816Z","title":"u ller, Gleb Makarchuk, Gagandeep Singh, Markus P \\","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.240816Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:c1e32158bdfcd66dda388a2ee7f0d4f3648ba48cd4b4508bf8ec4eadad6c4d35","observation_id":"3cc405ec-3328-42e2-b4f8-79957374f5f7","resolution":{"observed_at":"2026-08-06T14:54:44.240816Z","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-06T14:54:45.259555Z","title":"Tensorfuzz: Debugging neural networks with coverage-guided fuzzing","venue":null,"work_id":"2a709e5f-e93d-4a17-906e-516c7f47db3b","year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.244233Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:0ec943e772d339f85b66b6d1fd64a8ab5fa01b930601710298cb0b1d573e5ba1","observation_id":"991166a1-5972-481e-aa76-3f5add011f49","resolution":{"observed_at":"2026-08-06T14:54:45.262773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.247478Z","title":"An abstraction-refinement approach to verifying convolutional neural networks","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.247478Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:cd7c8a44bcd1acf8bdfe15e72b59a5bc3bc2bc74e11a888d68928e3d81ec3416","observation_id":"3fdf4355-2b96-4510-927b-2e306017b4a2","resolution":{"observed_at":"2026-08-06T14:54:44.247478Z","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-06T14:54:44.250679Z","title":"Deepxplore: Automated whitebox testing of deep learning systems","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.250679Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:bf9ccaf09422aaf8b47f0141cdd0c7cb07428fbf981d8b078b4dd623fc0ad3cc","observation_id":"fca71369-1fff-45db-bc2e-c1713ba70847","resolution":{"observed_at":"2026-08-06T14:54:44.250679Z","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-06T14:54:45.250667Z","title":"Semidefinite relaxations for certifying robustness to adversarial examples","venue":null,"work_id":"70d2e110-6859-40e5-aa82-3f05935c2676","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.253903Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:2dc13b3816eab9cf666879698cee651637c9fdd4ac36bcc15e154736cb1ec104","observation_id":"21ed128b-3ea5-4e32-87ef-7ef5eb1b25f1","resolution":{"observed_at":"2026-08-06T14:54:45.253862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1902.07247","last_updated":"2021-06-21T13:15:34Z","snapshot_observed_at":"2026-08-14T17:14:11.120195Z","submitted_at":"2019-02-19T19:35:30Z","title":"Fast Neural Network Verification via Shadow Prices","version":3},"cited_work":{"arxiv_id":"1902.07247","doi":null,"metadata_source":"pith","pith_arxiv_id":"1902.07247","snapshot_observed_at":"2026-08-06T14:54:44.792126Z","title":"Fast Neural Network Verification via Shadow Prices","venue":"cs.LG","work_id":"8732bd4a-8fde-40c6-9fea-87c610fa27fb","year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.256955Z"},"links":{"cited_paper":"/paper/1902.07247","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:d08167b8a44c6f4cd03234ddde69e906d819cc623fca18be2bc4b7aa48cc48b1","observation_id":"da425636-542a-4c60-8ece-3bcc3c5b4be0","resolution":{"observed_at":"2026-08-06T14:54:44.796173Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-06T14:54:44.260070Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.260070Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:467f4b4295008c9b8bd7d8446e5daddc54bf87afafc925ad6c157bb05a410c29","observation_id":"d631dc46-40b4-4e3b-aec4-aaaff1299cb4","resolution":{"observed_at":"2026-08-06T14:54:44.260070Z","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-06T14:54:45.241746Z","title":"Efficiently computing local lipschitz constants of neural networks via bound propagation","venue":null,"work_id":"0a3bb760-e550-4dbc-bdd3-dd8eb178121c","year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.263097Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:12adceed1d96d06a61e45b6050840536d942c8a3cead8c0633b2de4f09930b07","observation_id":"eb664778-9464-4ecf-994c-5e4eafeabb0c","resolution":{"observed_at":"2026-08-06T14:54:45.244722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.233134Z","title":"Beyond the single neuron convex barrier for neural network certification","venue":null,"work_id":"f2ab78c3-8123-489c-b079-cca29796e334","year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.266237Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:7d74f8fb79dc0cb4e7780d1434421d643e6a63ac88d14baae194804182a42727","observation_id":"0a005240-f7a9-43cd-b069-1ce991adb216","resolution":{"observed_at":"2026-08-06T14:54:45.236113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.224606Z","title":"Fast and effective robustness certification","venue":null,"work_id":"6229544a-01ae-419f-8dea-6ffbc4a4f5df","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.269163Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:225a73350a5f999c4bff8b2a8517929e2243a28a3a46003fcbb2a6466db4dc12","observation_id":"922032d3-44dc-4963-86fb-f885076acf65","resolution":{"observed_at":"2026-08-06T14:54:45.227648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.216094Z","title":"Fast and effective robustness certification","venue":null,"work_id":"1e0825e3-016d-4300-b7b5-de0580949bfa","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.271893Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:ca2e9e2691daa63aa1169a1fe31ea88cb84628559ee5823c90231a4a25f08076","observation_id":"85d7d93c-dcd4-497f-8387-0293a5a6fd3a","resolution":{"observed_at":"2026-08-06T14:54:45.219215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.206705Z","title":"Boosting robustness certification of neural networks","venue":null,"work_id":"c6e8613a-25c0-4cbe-8c7f-89e12043b3d1","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.274696Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:952fbfa126f4ee84336ef654ea7fd15ffe8a964248e34896a084dbc19838ac8d","observation_id":"0a371369-5b93-4a6e-a136-6a4906fb437f","resolution":{"observed_at":"2026-08-06T14:54:45.210028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.277594Z","title":"An abstract domain for certifying neural networks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.277594Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:53e3f1ed72361a91367532f624bc35d318bc20f5eae1eaa8a70ca2399d43d7d4","observation_id":"0af9617f-d662-4deb-aaa2-018359a5e0ab","resolution":{"observed_at":"2026-08-06T14:54:44.277594Z","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-06T14:54:44.280577Z","title":"Deeptest: Automated testing of deep-neural-network-driven autonomous cars","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.280577Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:4159e1a60e6653fd86be90420a6b463e9be69a24fc1faf09be0101e7fa4c5963","observation_id":"32f90b07-882e-4a27-82de-18317f4ba849","resolution":{"observed_at":"2026-08-06T14:54:44.280577Z","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-06T14:54:45.197738Z","title":"The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification","venue":null,"work_id":"7e90cbce-71e9-4f84-9ede-e4211b1dae9c","year":2020},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.283656Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:f92d5fdc82e040c8f19586d9d70153a5bc755b453a99cb2358d5df5f949fbcca","observation_id":"e7b14479-ed8e-418b-a656-e5e9f26c8299","resolution":{"observed_at":"2026-08-06T14:54:45.200883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.188964Z","title":"Evaluating robustness of neural networks with mixed integer programming","venue":null,"work_id":"979ee5b0-e311-4b6a-b6fb-944ab7c2c6cc","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.286829Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:bedd0e78d2efe4feb986fc2c867f9163c157b3843811ca2c243f4cbaea2be74d","observation_id":"8ed4b09d-9136-4d7d-be80-b7a9022814c9","resolution":{"observed_at":"2026-08-06T14:54:45.192167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.290305Z","title":"Incremental verification of neural networks","venue":null,"work_id":null,"year":1920},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.290305Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:8221fc8bbb2cb832e1e5663d4d11c836559778c7e900d37a5cea7a89d855a068","observation_id":"11cf4181-1cee-4340-8080-3b7c2b05b1da","resolution":{"observed_at":"2026-08-06T14:54:44.290305Z","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-06T14:54:45.179836Z","title":"Efficient formal safety analysis of neural networks","venue":null,"work_id":"8d7e9198-669e-4bbc-bbc9-6544a7bce049","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.293214Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:c8da78117a844a7f3f23a95f5811dd5c857552ed3e53232ef6372d4ad228bb47","observation_id":"2b4d0781-34ca-486d-9675-d1b9f8b489f8","resolution":{"observed_at":"2026-08-06T14:54:45.183337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.171056Z","title":"Formal security analysis of neural networks using symbolic intervals","venue":null,"work_id":"a4a69bb3-19f3-4357-bfc8-8fb1d15ca2f8","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.296263Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:a87b5e0239941bf5b8b2b836c8f131ed428d174a35f62c41f51d4378fa37face","observation_id":"26cd30e4-6697-4ebf-89f8-46861ce152cc","resolution":{"observed_at":"2026-08-06T14:54:45.174276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.162383Z","title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","venue":null,"work_id":"2d9447c6-4ecf-4afe-8a17-9cd3eb79293c","year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.299376Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:f34d14ba1a99501ccb7045ab37210f342e2db5e5af0f2cdff6601f951c5b8595","observation_id":"b6c7e80c-0e1a-439d-9ef5-20acc07f27a8","resolution":{"observed_at":"2026-08-06T14:54:45.165397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:44.302569Z","title":"Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.302569Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:790b8f3ed26bee0444e17bd0e44c3ff02f3a38fd490e50cc873d9e2e483c53a2","observation_id":"b2a774f9-2e5c-48ff-99c9-4f6244d0466f","resolution":{"observed_at":"2026-08-06T14:54:44.302569Z","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-06T14:54:44.305757Z","title":"Improving transferability of adversarial examples with input diversity","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.305757Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:c3aa09d4b7360c39b22cc1c7b3711720ebaea0c3153d6457a6caa6e28ebbb145","observation_id":"75835eed-2c69-48d2-bce6-1966718baea8","resolution":{"observed_at":"2026-08-06T14:54:44.305757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-42441-0_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"kprop: Multi-neuron relaxation method for neural network robustness verification","venue":"Lecture notes in computer science","work_id":"961d1fca-8649-49ba-81f2-4728f76fd9ec","year":2023},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.308757Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:5acaeea0b4721577d6677655314675667d187b3b8a1798b36e320150633d2e98","observation_id":"27d751f2-8873-43c7-adf1-fb4031ed68fd","resolution":{"observed_at":"2026-08-06T14:54:44.410257Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.06455","last_updated":"2023-02-10T04:31:28Z","snapshot_observed_at":"2026-08-16T15:56:21.374812Z","submitted_at":"2023-02-10T04:31:28Z","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","version":1},"cited_work":{"arxiv_id":"2302.06455","doi":"10.48550/arxiv.2302.06455","metadata_source":"pith","pith_arxiv_id":"2302.06455","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","venue":"cs.AI","work_id":"013d67bd-8f88-4780-ba77-51de41dcdd09","year":2023},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.311927Z"},"links":{"cited_paper":"/paper/2302.06455","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:2c5b2ae2c216fd6e715239c1e06330bf34780a9ca81bf50629213a4a7f35f5ac","observation_id":"88629b8e-5e92-409b-b6d7-ebbb82056e6e","resolution":{"observed_at":"2026-08-06T14:54:44.401230Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72016-2_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Improving neural network verification through spurious region guided refinement","venue":"Lecture notes in computer science","work_id":"d9972e3e-287d-4bf8-b736-1d734944a272","year":2021},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.316761Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:5a6b423d8e8e5cd03e015449f60fe7e3f0844fe28cb97a497385b9ece9336e7e","observation_id":"4e0d65da-5904-41ea-9c45-47936538a010","resolution":{"observed_at":"2026-08-06T14:54:44.389600Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v30i1.10289","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Derivative-free optimization via classification","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"c20367dd-9dfd-4b5e-bf9c-e9e5ad6a828a","year":2016},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.320001Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:73591c8f0f4d26883a802b43889706b5a7f3fb3f39d792d506ac695abb80986d","observation_id":"f133450e-36b7-4554-a888-c2310d9e40e5","resolution":{"observed_at":"2026-08-06T14:54:44.381082Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3720417","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Dilum Bandara, Shiping Chen, Jianjun Zhao, and Yulei Sui","venue":"Proceedings of the ACM on Programming Languages","work_id":"3d3058ae-5b14-454d-8050-968d156c0ff9","year":2025},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.323019Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:e1fcf61d4cb4de18203e0baaa78273aaac2ad5dedcf5120a1d91fdd268688128","observation_id":"e9cbd83d-214d-46d8-bbf1-d1fbd43cbad8","resolution":{"observed_at":"2026-08-06T14:54:44.372192Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.148368Z","title":"A branch and bound framework for stronger adversarial attacks of relu networks","venue":null,"work_id":"bd6cf46f-f012-4039-8a5f-3868ab7ceb5c","year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.326209Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:7969364dfd1b7596fb2c7f801ece98370e8bcc242e77d4a688e1672730f46f95","observation_id":"a582c4ae-349a-452d-a20c-c860650118f4","resolution":{"observed_at":"2026-08-06T14:54:45.151466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T14:54:45.139457Z","title":"Efficient neural network robustness certification with general activation functions","venue":null,"work_id":"17a97647-4a26-4f4f-9bb4-6feca7764f95","year":2018},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.329284Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:2b536ac845ee143fcbbed02c24910e260d7bfba9c32d53628b7dc3971e6a71b8","observation_id":"ee637893-d531-4361-89e8-cf14f12fb00d","resolution":{"observed_at":"2026-08-06T14:54:45.142513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-22308-2_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Cleverest: accelerating cegar-based neural network verification via adversarial attacks","venue":"Lecture notes in computer science","work_id":"7deca30a-efa8-45bc-9cee-20ff5ddb0249","year":2022},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.332411Z"},"links":{"citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:10efcd01d5dc5908dd95e955f08ce99f4649ef1924f6b57a857664c94c6c65d5","observation_id":"280f9ba1-4f90-44ef-b026-26c3a358899c","resolution":{"observed_at":"2026-08-06T14:54:44.362300Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":25,"verified_exact":12,"verified_fuzzy":26},"total_outbound_references":65},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 0 inbound Pith citation observations for arXiv:2507.17453."}