{"as_of":"2026-08-08T10:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:df223ec17322a2f57391585c45ac86ebc50e1d36a63533a64061df2f0d165a4a","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-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-07T12:13:14.594321Z","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:684f0959d51d460228ea1417d89cdd239204476a12362493237fe87b0235db89","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-07T12:13:14.594321Z","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:f4407f45717846e9793a61b0af63d71aead77e442ab6b97ae3b428d479a64d65","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-07-06T17:09:02.167931Z","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-07T12:13:14.594321Z","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:ea0b5f1c5c646e685ba76bae791621db2e07edbf41ffd057bbb6a91de9356ebb","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-07T12:13:14.594321Z","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:08ca6e8bec7aaa6ef1d3259af4f33025dd154a2c86688bbeda6fd8a01f25ae6f","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-07T12:13:14.594321Z","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:9894852f30e2207c1e11a5cfd200777ff0d3f6d2bf9d5e1dfccd50c314e0f93b","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-07T12:13:14.594321Z","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:a1dec4870f5e5c58619f7c394172ca9b4af3dfeea5427df9dac3a808e514c606","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T12:13:14.594321Z","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:23f2728f07545beb8bedbe9ac6f995845ac67a1efb2269d834c661942c259604","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-07T12:13:14.594321Z","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:68ac19e35936f0f163047ba55b5a6278ce22f32f30800a2ec92b00934e0b20a9","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-07T12:13:14.594321Z","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:c06e43b78f99b4ad51824047b3bb93fefee0500645dd4308e703ed0be27308fc","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-07T12:13:14.594321Z","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:8d38989f10d8b660a9e65bf956791ebd80d2a5d2446c91097e79972e844f0ff1","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-07T12:13:14.594321Z","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:2c6fbfa11dcc7ba5262acd765e4775f228121b3b310b466f11167b364dd791fd","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-07T12:13:14.594321Z","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:826f5b130ad7b5ee89bc007f6eb3a1a7a11c471330a1f624be31b34af39d6585","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-07T12:13:14.594321Z","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:b13c67b3ab3a83c59320d3d20144640b47e7c723e896f2550f03b3aa7f5bae96","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-07T12:13:14.594321Z","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:4a19464153d097d505eafec8e84d7443192591718555c3b7a7f008fe147b1ba0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T12:13:14.594321Z","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:317586302bd12a2f395d3c3f0aa9aff3a14c149f6fb10f04ef0cecb59df12985","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T12:13:14.594321Z","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:b87cb7084726803a024b5f25c4f926a8fbf65e04966c58dc3ed30b76088e0694","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-07T12:13:14.594321Z","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:39cc25691f01891e5b3ff865e6c79f5a3fa5b456c9bdd468b45c391b78a4a6c9","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-07T12:13:14.594321Z","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:ed3775ba482be7ae496f655ced3076f0411b3ce42b3aa0361fc80fd55607ba35","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T12:13:14.594321Z","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:f5bd7096d3e33a65602c0f08b9c055453509a50fd7d1493ac572531accc68f68","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-07T12:13:14.594321Z","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:9851ce5816cd1f74a217cd5a4742f93b51e756d7a507eae448e7e16be10bf9f3","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-07T12:13:14.594321Z","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:117f9b89dc1054d0b36ccbe9e1803174b43779bef7d18841149fe30868091c15","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T12:13:14.594321Z","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:51c5cc9d23935b1e2254e5bb31d22662d6eff63cecada57532c327792f540144","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-07T12:13:14.594321Z","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:f32963a5593594c8763f91df7999e1025d6d388e19e5077250850bd0e7be2b87","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-07T12:13:14.594321Z","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:f3e4435cd803259b69cae1f5b4f3409680175a08958bae4fcef16c1c44266e4c","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-07T12:13:14.594321Z","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:e366ad051645cc86c0a4dc69c341fc3d0e833299b1cf41c85a93f20876a52192","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T12:13:14.594321Z","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:44e9d20a33cc67016ac4d08db51cd37fc9fe949fe01a1f5f8b07b8adf704b807","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-07T12:13:14.594321Z","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:8e2de9be5f36a6ac87a4ea3fb36021f84a02c44459828555f973e51e383c931e","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-07T12:13:14.594321Z","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:070043f0b296e07bf6005b763d27e85c9db725bd652761267b1e5273397a00f7","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-07T12:13:14.594321Z","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:b4062e75a15612c5090ff2b1cdc5e14061b419ca912c2c1e4a90b40f7b816e89","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-07T12:13:14.594321Z","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:4f5d8080924065704eea5852b88d2a0264a42657f975e25885e472699a811559","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-07T12:13:14.594321Z","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:d7b3f60786a4d72770cc315a99641c3fb1a846659619ad61a2f898d08412fe8a","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-07T12:13:14.594321Z","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:5f48459e38ec6bd91e2bb7b0de33086594bd1216a2c5a36ca9406a302036e794","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-07T12:13:14.594321Z","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:b0f133dc2a0aa4307f9402ca2f3a90270a8a7b5619cd29be5636b129359accf7","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-07T12:13:14.594321Z","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:61256d66528a88a689d1d8f0eca19f77d8ba35a01be01a2fd0e25c316b2c0ab4","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-07T12:13:14.594321Z","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:dda974f111043442d7ba03f6db5883d30c81b8edb00f804e8b12db37f430dcdd","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-07T12:13:14.594321Z","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:0dc49cd5f2747e9f22e86b03ab475aac38de375d0f36fad062052d729ab04e6b","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-07T12:13:14.594321Z","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:da0b88bab1cdc880e8db259e25c4bd31ede8e5956335791549987d5ac667bbae","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-07T12:13:14.594321Z","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:ad92347d75dcc702ee3485d04e13506e1672d6ba834d50cae0c5e1c7ce93b807","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-07T12:13:14.594321Z","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:13fcef7530da15b0373a30a9e6e23e9a7b1f74e0c83e224a1eed775f48f87702","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-07T12:13:14.594321Z","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:9ad5d9f220d4fe5578f5b2291cc7e9adaad188a02e41cb13006b4ed90dfa7ba9","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-07T12:13:14.594321Z","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:06f27e2ea79230067e8c758d30561a986d634e119f12bdb5b44e0fbc530d3809","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-07T12:13:14.594321Z","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:1842a190b43432637f7620999b15a6f2ecb79a379f226873b596bd822b23ea7f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T12:13:14.594321Z","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:7c298377c7bc8e6b9668c779a3be0f9fdcd71e1d644bab1e4638cf48f0855710","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-07T12:13:14.594321Z","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:2b84cac157f5f0b5025c0891a358bb3484f7546c43eb63a51b602eb7b52aaffa","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-07T12:13:14.594321Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.28954."}