{"as_of":"2026-08-09T22:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9c4d3ce4d9b769971072cece325c3f07dfeeff78849906f283430ee8c4981f6f","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T16:43:41.838006Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28954/citation-record","integrity":"/paper/2607.28954/integrity","json":"/paper/2607.28954/citation-record.json","paper":"/paper/2607.28954"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T16:43:37.361745Z","title":"Information processing letters5(SLAC-PUB-1679) (1976).https://doi.org/10","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.361745Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:1a8f7476077fb5816cab7da68f6ea2291dc374b71f3959037cf22121ac72700c","observation_id":"9969511b-c526-462b-b231-33df52a16b2b","resolution":{"observed_at":"2026-08-03T16:43:37.361745Z","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-03T16:43:37.427751Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.427751Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:db9df37cba2f02ba8ae1ef248d6e8ab86201536db477f22cda2be104b8c8c388","observation_id":"ef234097-ebed-453d-9683-c9ce9d3ea886","resolution":{"observed_at":"2026-08-03T16:43:37.427751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-09T04:25:37.880492Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-03T16:43:37.529936Z","title":"verification of neural net- works competition (vnn-comp 2023): Summary and results","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.529936Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:c84a7c9da84cf49b005724882de46ada5222128f022d9e798efb2e536c27e34b","observation_id":"59aa38d0-ebed-43d7-9f76-ab8a1bdc3de8","resolution":{"observed_at":"2026-08-03T16:43:37.529936Z","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-03T16:43:37.663833Z","title":"In: Con- ference on Uncertainty in Artificial Intelligence","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.663833Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:5f9db3b53635166b9f1a7bb3ef14fc899948bc91ccd307d8b8f70f81f4e0e44b","observation_id":"4d38a66d-e1fc-4966-9413-6c134df78964","resolution":{"observed_at":"2026-08-03T16:43:37.663833Z","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-03T16:43:37.752628Z","title":"Journal of Machine Learning Research21(2020) (2020),https://jmlr.org/papers/v21/19-468.html","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.752628Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:f9772d1d1c71666b95c4378e5fdf63dc26f286c56473aa49fae20a10290dd3f4","observation_id":"c32fcd05-45dd-4a23-a0c0-69c246898733","resolution":{"observed_at":"2026-08-03T16:43:37.752628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12871","last_updated":"2023-05-14T22:29:05Z","snapshot_observed_at":"2026-08-08T02:14:39.112223Z","submitted_at":"2022-10-23T22:18:35Z","title":"Tighter Abstract Queries in Neural Network Verification","version":2},"cited_work":{"arxiv_id":"2210.12871","doi":"10.48550/arxiv.2210.12871","metadata_source":"pith","pith_arxiv_id":"2210.12871","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Tighter Abstract Queries in Neural Network Verification","venue":"cs.LG","work_id":"35082a23-7ea0-4729-ae80-cae3b9e54766","year":2022},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.832239Z"},"links":{"cited_paper":"/paper/2210.12871","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:75473bc5e106009de1b056af531f0a275394c64abd083e416e74a4fd69650aa4","observation_id":"4453c05d-0d49-48d1-926c-b685a61c7de6","resolution":{"observed_at":"2026-08-03T16:49:48.294385Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-03T16:43:37.938871Z","title":"arXiv preprint arXiv:2405.06624 (2024).https://doi.org/10.48550/arXiv.2405.06624","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.938871Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:3fa7faa8dce50d55d3811b5f60c1c63db3b776578f9bf9286032cda8b2d8c858","observation_id":"bdcb44d3-b297-40a1-a733-c23aaad95b29","resolution":{"observed_at":"2026-08-03T16:43:37.938871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06718","last_updated":"2021-04-14T09:22:42Z","snapshot_observed_at":"2026-07-06T10:59:29.035923Z","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-03T16:43:38.046439Z","title":"arXiv preprint arXiv:2104.06718 (2021).https://doi","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.046439Z"},"links":{"cited_paper":"/paper/2104.06718","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:ab35ce5be7a90f11e39622201ecbb68c2ceaced3e2fb4977d10c8a3b100c24d6","observation_id":"48e319a8-17b7-4dfb-89ed-5746860dac22","resolution":{"observed_at":"2026-08-03T16:43:38.046439Z","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-03T16:43:38.159165Z","title":"In: Automated Technology for Verification and Analysis: 15th Int","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.159165Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:970bdafc54526f435f004c12ea578eb6b45b76d25bc815fb028e002cab80f0ac","observation_id":"430a90eb-bcfc-4f13-b008-891675de8645","resolution":{"observed_at":"2026-08-03T16:43:38.159165Z","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-03T16:43:38.271476Z","title":"In: 2025 Design, Automation & Test in Europe Conference (DATE)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.271476Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:c0de95ea5e1782a9829b794cff2348ffb839cfeaafbb1a6efe30e003542bf2fa","observation_id":"c612db2d-ff8f-46b9-9c38-f2870bce13f0","resolution":{"observed_at":"2026-08-03T16:43:38.271476Z","resolver_source":null,"status":"malformed_identifier"},"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-03T16:43:38.379516Z","title":"In: International Conference on Machine Learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.379516Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:b6216b7e1e94d308b07fe5a9242d7737f9bfeb395afe8012afa64978842d3636","observation_id":"21e18f40-04fd-4a96-b6c9-8b367c0a972d","resolution":{"observed_at":"2026-08-03T16:43:38.379516Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-07-06T04:04:16.777653Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-03T16:43:38.449779Z","title":"In: 3rd Int","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.449779Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:88a730c5af7fb107d4e8ee9154b7ad057d9c85e0b8d0f222f4ace89036d1e99b","observation_id":"b267c210-7b62-463a-b78e-55720587ca10","resolution":{"observed_at":"2026-08-03T16:43:38.449779Z","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-03T16:43:38.507013Z","title":"In: 2021 IEEE 32nd Int","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.507013Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:94b3d831e95f7d55354d2af6043de787754f1a96ed1aab5fcfce3ee49d053eb1","observation_id":"8e693e9b-3ea0-4d62-8298-f7ceb9f813b9","resolution":{"observed_at":"2026-08-03T16:43:38.507013Z","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.24963/ijcai.2021/351","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: IJCAI","venue":null,"work_id":"05577a51-2e92-4cef-8161-9a6bdaf3db84","year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.616855Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:a20d47b63569f12957b2faf097b504cfcf5a2515180088a8a5408ab24e2f8273","observation_id":"13aadf85-fcd9-4f0f-b78b-501d7d7cf8c4","resolution":{"observed_at":"2026-08-03T16:49:47.889176Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.09032","last_updated":"2020-02-19T15:46:18Z","snapshot_observed_at":"2026-07-06T08:38:33.799230Z","submitted_at":"2019-11-20T17:03:21Z","title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks","version":3},"cited_work":{"arxiv_id":"1911.09032","doi":"10.48550/arxiv.1911.09032","metadata_source":"pith","pith_arxiv_id":"1911.09032","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks","venue":"cs.LG","work_id":"46cf36d7-32f1-4fd5-a67a-e0ad5b703de4","year":2019},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.702094Z"},"links":{"cited_paper":"/paper/1911.09032","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:6bcb86646af991439ca84fde13c10af0a748a4529da7f4e91368ed4a745087a6","observation_id":"dbf177b0-45eb-4648-8543-f03797a51e69","resolution":{"observed_at":"2026-08-03T16:49:47.660018Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T16:43:38.785507Z","title":"In: Proceedings of the AAAIConferenceonArtificialIntelligence.vol.38,pp.21152–21160(2024).https: //doi.org/10.1609/aaai.v38i19.30108","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.785507Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:cee909ad0f529c3bcdf310907ac1234da9f8899ec071d4433b2279f37407808a","observation_id":"f23320a7-0c39-4e0d-8fc0-cc356a097069","resolution":{"observed_at":"2026-08-03T16:43:38.785507Z","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-03T16:43:38.873792Z","title":"In: Computer Aided Verification: 29th Int","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.873792Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:36b7943448238dce796fdd9c4bf243917ba3bb5e98af9b36eddd8ca9be17eea6","observation_id":"30edf357-5df2-4725-a0d7-3b8dc8946572","resolution":{"observed_at":"2026-08-03T16:43:38.873792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.06064","last_updated":"2023-07-10T10:04:06Z","snapshot_observed_at":"2026-07-06T15:25:32.095335Z","submitted_at":"2023-05-10T11:31:17Z","title":"DNN Verification, Reachability, and the Exponential Function Problem","version":2},"cited_work":{"arxiv_id":"2305.06064","doi":"10.48550/arxiv.2305.06064","metadata_source":"pith","pith_arxiv_id":"2305.06064","snapshot_observed_at":"2026-08-04T00:16:11.445444Z","title":"DNN Verification, Reachability, and the Exponential Function Problem","venue":"cs.LO","work_id":"ba0aef92-164b-44fe-985e-66caab7059d9","year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:38.924443Z"},"links":{"cited_paper":"/paper/2305.06064","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:be9e9cf4e0f5f54c5260eb11e59193b3096cc8ebcf02aad04e30eeec84c1e31b","observation_id":"42619251-e478-442c-8327-54219bab97e7","resolution":{"observed_at":"2026-08-03T16:49:47.379612Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T16:43:39.075739Z","title":"In: Majumdar, R., Kunčak, V","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.075739Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:09952ae09e7b07e97358a39627ff0636158d2a7a196dc39938f09d856822f6ce","observation_id":"5e4e4012-64e7-4373-bbe0-26a95f2da371","resolution":{"observed_at":"2026-08-03T16:43:39.075739Z","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-03T16:43:39.169472Z","title":"Foundations and Trends®in Op- timization4(3-4), 244–404 (2021).https://doi.org/10.1561/2400000035","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.169472Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:58220142a57b238be13de4b4afeabc0c8dce893d45a3d5c088d55b6551d5ea97","observation_id":"36285855-3a32-49d7-bf16-7508ca1be8e5","resolution":{"observed_at":"2026-08-03T16:43:39.169472Z","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-030-88494-9_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: International Conference on Runtime Verification","venue":"Lecture notes in computer science","work_id":"4522b3ef-31d0-41d5-bb73-6af41828b758","year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.298547Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:6aee07dd2357ac4d275923be3714e4a3eb766cd9a4b57073a9059272e226d5ab","observation_id":"9af868d3-8314-4656-944b-10d50eea2545","resolution":{"observed_at":"2026-08-03T16:49:47.229884Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.06083","last_updated":"2019-09-04T18:53:10Z","snapshot_observed_at":"2026-08-07T14:27:46.872660Z","submitted_at":"2017-06-19T17:53:11Z","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.06083","snapshot_observed_at":"2026-08-03T16:43:39.467683Z","title":"In: 6th Int","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.467683Z"},"links":{"cited_paper":"/paper/1706.06083","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:26d6f8285a3084f705f9bbfbca170ee3df7827c3981f0dfe200aea9589e6e5f2","observation_id":"13447ed4-b21e-4729-a7e3-b8b771194c76","resolution":{"observed_at":"2026-08-03T16:43:39.467683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14058","last_updated":"2024-08-14T18:45:17Z","snapshot_observed_at":"2026-07-06T18:18:12.096996Z","submitted_at":"2024-05-22T23:06:34Z","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14058","snapshot_observed_at":"2026-08-03T16:43:39.617482Z","title":"arXiv preprint arXiv:2405.14058 (2024).https://doi.org/10.48550/arXiv.2405.14058","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.617482Z"},"links":{"cited_paper":"/paper/2405.14058","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:1c2b6f964e303cff25f09cef48e3b32016dcc91d3d6d9ee69dd8019cb8cae0c2","observation_id":"57fda006-b0a9-408c-aa06-3ae2440458c1","resolution":{"observed_at":"2026-08-03T16:43:39.617482Z","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-03T16:43:39.702640Z","title":"In: Principles of Verification: Cycling the Probabilis- tic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.702640Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:64829fd3229a568fc641ce09eb5390d975365bc6ce9b83a254a54e9ef2677bd2","observation_id":"58e0b8a7-806c-4681-89c8-48774b2702a7","resolution":{"observed_at":"2026-08-03T16:43:39.702640Z","resolver_source":null,"status":"malformed_identifier"},"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-19992-9_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: International Symposium on Auto- mated Technology for Verification and Analysis","venue":"Lecture notes in computer science","work_id":"bfa1e4f3-1f95-465b-8a67-5e48c90ee142","year":2022},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.813937Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:e15f71dda5b4ee6130d6460f53fa5edbf7ef8c59802c03a4e59b9ca5b029dbce","observation_id":"e21d4e9b-7eb0-4dd9-a161-6a3e3d21ff81","resolution":{"observed_at":"2026-08-03T16:49:47.013611Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T16:43:39.924068Z","title":"mining verdict boundaries for neural network verification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:39.924068Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:3141d52e7873b075925c69aa208d319d50d2e848f53b8a9344bbc9d46c15cf88","observation_id":"a59996e4-22f8-4f51-b8b3-c314287f58f2","resolution":{"observed_at":"2026-08-03T16:43:39.924068Z","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-03T16:43:40.128406Z","title":"Advances in Neural Information Processing Systems35, 2350– 2364 (2022),http://papers.nips.cc/paper_files/paper/2022/hash/ 0ff54b4ec4f70b3ae12c8621ca8a49f4-Abstract-Conference.html","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.128406Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:daedb9665c4eaf7bb134ce4e00f3b277f468791d75b976a0c4a3f2589adcefd3","observation_id":"428395bf-c511-4e3d-a65e-c1e071527b45","resolution":{"observed_at":"2026-08-03T16:43:40.128406Z","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-03T16:43:40.283619Z","title":"In: Advances in Neural Information Processing 20 J","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.283619Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:02fd473fbf5c4b9a7b244f92fc5a2f2b658a09c1ccc0878bfd63ca29f40a219e","observation_id":"bb43bc46-fe4d-4611-b776-92ab5e671ce5","resolution":{"observed_at":"2026-08-03T16:43:40.283619Z","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-03T16:43:40.402329Z","title":"ACM on Programming Languages3(POPL), 1–30 (2019).https: //doi.org/10.1145/3290354","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.402329Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:c2c743affd7c248fcba5b053dc9950eea8678787c5331a6421111a5e92a858d1","observation_id":"f31babd0-2ac8-4e5a-a9b9-3eb1e6160ead","resolution":{"observed_at":"2026-08-03T16:43:40.402329Z","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-03T16:43:40.574745Z","title":"Machine Learning112(10), 3685–3712 (2023).https://doi.org/10.1007/ s10994-021-06050-2","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.574745Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:265cab1664859f7af09c7644a6eae9719d672090dcc8b8f3e74ad37855a19cba","observation_id":"e08f17a4-2caf-40a1-9f69-682de7c921ee","resolution":{"observed_at":"2026-08-03T16:43:40.574745Z","resolver_source":null,"status":"malformed_identifier"},"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-03T16:43:40.717903Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.717903Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:97966169e666776a97a7329bb8150e39dc49dc1812b28a9cf03eb3ca9158987f","observation_id":"4902babf-ce6d-4819-8e98-31cdbe2a20e8","resolution":{"observed_at":"2026-08-03T16:43:40.717903Z","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-03T16:43:40.769333Z","title":"Advances in neural information process- ing systems31(2018),https://proceedings.neurips.cc/paper/2018/hash/ 2ecd2bd94734e5dd392d8678bc64cdab-Abstract.html","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.769333Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:64a3c6cc925896df3064bd9a6bb683d3d0a334ac468c90b5d69b9393a64176a9","observation_id":"32be1303-f2ca-441f-965b-8f60a65fdca6","resolution":{"observed_at":"2026-08-03T16:43:40.769333Z","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-03T16:43:40.890320Z","title":"In: 27th USENIX Security Symp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.890320Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:4d79f3580c6302ceb9d3dced3081a363906f1601bec77533a117447146532be5","observation_id":"e010be4b-b30c-4023-a843-40c0d90967d8","resolution":{"observed_at":"2026-08-03T16:43:40.890320Z","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-03T16:43:40.992931Z","title":"Advances in Neural Information Processing Sys- tems34, 29909–29921 (2021),https://proceedings.neurips.cc/paper/2021/ hash/fac7fead96dafceaf80c1daffeae82a4-Abstract.html","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:40.992931Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:fa2487bb7bcae38f24762a86f0f9688701a80b9deb5bde3affb3abfff0c9c367","observation_id":"850a5af9-f88b-43b8-80fb-f94e6c6ca654","resolution":{"observed_at":"2026-08-03T16:43:40.992931Z","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-03T16:43:41.106232Z","title":"In: International Conference on Artificial Intelligence and Statistics","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.106232Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:7a9470f74cec6d84adad645b6b36ae880390ff9e8ed6d5d3f1956eb1540f1325","observation_id":"3db3dbe6-cce1-44b8-882f-9d8c0bb86ec9","resolution":{"observed_at":"2026-08-03T16:43:41.106232Z","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-03T16:43:41.166479Z","title":"In: Gurfinkel, A., Ganesh, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.166479Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:572e90b114c73eb7a667524f5576d98ffc1f65e6986fa3938fe6b68f92f1eece","observation_id":"787fb5a9-b7c7-47d0-98b5-495daf0aef33","resolution":{"observed_at":"2026-08-03T16:43:41.166479Z","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-03T16:43:41.280311Z","title":"In: 2023 IEEE Conference on Secure and Trustworthy Machine Learn- ing (SaTML)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.280311Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:a33e97b5decd3add61575b38925401f80b8a336ae20d3fed7d9fa5162821e791","observation_id":"b971c842-6c85-4795-bdb4-2cd8f7e7b700","resolution":{"observed_at":"2026-08-03T16:43:41.280311Z","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-03T16:43:41.343173Z","title":"Advances in Neural Information Processing Systems36(2024),http://papers.nips.cc/paper_files/paper/2023/hash/ 46907c2ff9fafd618095161d76461842-Abstract-Conference.html","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.343173Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:2802f01457f12203242c6ccc059c53a1b3755b8315a7af153a8095fc0201b81a","observation_id":"8d7a76e0-0a3a-4e31-b97d-e8dfad6f1e3f","resolution":{"observed_at":"2026-08-03T16:43:41.343173Z","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-03T16:43:41.414761Z","title":"In: Raedt, L.D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.414761Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:cc9ceca2f33022568bd5dfb9b04d3299cbfb7c63980f41d27bc0ffc0cd3b5bfa","observation_id":"e3ddf30b-8119-4095-b8e8-50ff8733c970","resolution":{"observed_at":"2026-08-03T16:43:41.414761Z","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-03T16:43:41.525324Z","title":"In: 2022 Formal Methods in Computer-Aided Design (FMCAD)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.525324Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:f103d52b027e60ce2f5773e1a457b6afecf366cca9b3556dc944ce22ef4f02ae","observation_id":"6829dbdc-f9d3-44cf-9de2-78646fd840aa","resolution":{"observed_at":"2026-08-03T16:43:41.525324Z","resolver_source":null,"status":"malformed_identifier"},"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-03T16:43:41.626574Z","title":"In: 39th European Conference on Object-Oriented Program- ming (ECOOP 2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.626574Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:f3305e344ef3e6c077f8f6cc0546824d36d2f0a10fe330e9071817a1fd5ea847","observation_id":"df5abe09-f192-4e41-b5d6-1f484b34fe2d","resolution":{"observed_at":"2026-08-03T16:43:41.626574Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/faia200281","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: ECAI 2020, pp","venue":"Frontiers in artificial intelligence and applications","work_id":"9dd3837d-e914-406f-b197-c6337c9fc0f9","year":2020},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.714630Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:129dae4718710019ca1811864b10cc41d3886b4a707a7bd0c8f2fd960a74a7fc","observation_id":"1376f63e-dad0-414e-b9a3-03d5c4e96c10","resolution":{"observed_at":"2026-08-03T16:49:46.766119Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T16:43:41.770201Z","title":"In: Gurfinkel, A., Ganesh, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.770201Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:9d4e69329652a038e73bbc4a1844fe9a4a1423224286bc9957a357fea318db07","observation_id":"b0c35fc1-ae97-4e08-a1eb-74b2c6595cb8","resolution":{"observed_at":"2026-08-03T16:43:41.770201Z","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-03T16:43:41.838006Z","title":"In: Formal Methods: 26th International Sym- posium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:41.838006Z"},"links":{"citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:e40c1d7e64aae8e39e5d2ce939367a3bc425ae0a9ff620b36c2688c35bef647c","observation_id":"641c6602-c453-481c-a0ab-1a9edac50c54","resolution":{"observed_at":"2026-08-03T16:43:41.838006Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T14:30:29.744593Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":6,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":31,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":44},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.28954."}