{"as_of":"2026-08-10T15:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e22ac224b83f8340bad11525fa7e83ea25d86cb28150c65213bc7c868f768231","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T11:04:59.627489Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T03:57:46.650349Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.23197","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-09T19:14:48.769091Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2507.23197","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:0827a9a10388a0df73f51cf337afd9cfd35bc15f0d122ed1190abd4f63f92a2a","observation_id":"d60429b3-5cf4-4123-814c-c940166f9b99","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.23197/citation-record","integrity":"/paper/2507.23197/integrity","json":"/paper/2507.23197/citation-record.json","paper":"/paper/2507.23197"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.094936Z","title":null,"venue":null,"work_id":"57b8a852-86ff-47f6-950d-42d75860d9f4","year":2023},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.496621Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:1eda5682741718b219a7db6ca6c09b3b183cdf5b736332c466efa511861b6a88","observation_id":"4b2d1e37-6066-421c-99b0-bebf4d76af78","resolution":{"observed_at":"2026-08-06T11:05:00.098795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.080876Z","title":"nnenum: Verification of relu neural networks with optimized abstrac- tion refinement","venue":null,"work_id":"8c4f60ae-46e7-483b-9649-1a93fdd3bb5f","year":2021},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.501047Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:c59a7bc71058c83245373b696e288b6a2119bc8959bf7425c44bc016fe11fd73","observation_id":"07edfac5-b59d-4fbf-8d87-d2cb76e2ab70","resolution":{"observed_at":"2026-08-06T11:05:00.085486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.067653Z","title":"Adversarial training and provable de- fenses: Bridging the gap","venue":null,"work_id":"e38e4df7-e71e-496b-a2df-cecdeac1f1a6","year":2020},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.505179Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:f5085bbed4537b873b8511cf9326e68649566460e5d0e8b051e2bbbe23338435","observation_id":"a1301b00-246b-4217-a665-14c70f33b7e6","resolution":{"observed_at":"2026-08-06T11:05:00.071957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.054924Z","title":null,"venue":null,"work_id":"0bf35d01-0ab4-48e5-abf3-16ce307ddc4c","year":2023},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.509366Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:0a308ea7c3027817a03c975cda76226717d426f9ae7ea0b00a2bf6962bd38921","observation_id":"eb012e74-9249-4c53-bd48-f0fc7aecc816","resolution":{"observed_at":"2026-08-06T11:05:00.058772Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.041279Z","title":"Johnson, David Shriver, and Haoze (Andrew) Wu","venue":null,"work_id":"56f477de-f701-42a0-b409-4f20739f9d5e","year":2024},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.513637Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:a39b2033da5bc2fb3ec17a072ce20418d3d4d083e73c87ad6b8b9000c85b560a","observation_id":"7aa4a2cf-74ac-48a6-afee-58227181818e","resolution":{"observed_at":"2026-08-06T11:05:00.045633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.027810Z","title":"Johnson, and Changliu Liu","venue":null,"work_id":"437c4e4b-22ed-44ab-844c-67b7ed8a65a6","year":2023},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.517895Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:29df2c77254f98ebafd1226357e8059a25205c5dfafe9992a6f1401e8047e420","observation_id":"334aee2c-d4de-4c5c-a9be-cb105d2fba03","resolution":{"observed_at":"2026-08-06T11:05:00.032088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.014115Z","title":"Pawan Kumar, Alessandro De Palma, and Robert Stanforth","venue":null,"work_id":"46c43a3d-5729-406c-8672-ccd7d7a9e5d2","year":2024},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.522754Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:ab55a5639bd25e52aefcd05ee9dd91cda453ef0be4ef9fe661582f0c5c0834f1","observation_id":"47577947-0e13-41b6-9290-0698feebb809","resolution":{"observed_at":"2026-08-06T11:05:00.018553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:05:00.000044Z","title":"Branch and bound for piecewise linear neural network verifica- tion","venue":null,"work_id":"3010fd67-0758-4074-ac0a-6a2e4b157c1a","year":2020},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.526611Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:db7918c7b562a83a6690d6c495f71cf0473621f3a94abac38022c4ee130f6fb5","observation_id":"916a2003-ed58-4b06-bea5-40aa09a19faa","resolution":{"observed_at":"2026-08-06T11:05:00.004430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.986864Z","title":"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.Advances in Neural In- formation Processing Systems, 33:5318–5331, 2020","venue":null,"work_id":"2ce60541-714f-4151-a498-381f77d6ef8d","year":2020},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.530338Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:1edd2dce63c0d408ead1a2f1d44fa811e4182b0b68bbd40e3e580723bc705c59","observation_id":"b3de3d99-cb29-437f-897b-133cad272f3d","resolution":{"observed_at":"2026-08-06T11:04:59.991112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.973411Z","title":"Scaling the convex barrier with active sets","venue":null,"work_id":"3a0fa325-7c3c-4aa2-ab58-abf907ea2578","year":2021},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.534401Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:9440b8159c7186a2473908ad3f543ba88b5a35762bf1f1df0780518ad283ecec","observation_id":"2dbffe98-1c41-4fe4-ade5-59cb69a220a8","resolution":{"observed_at":"2026-08-06T11:04:59.977687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06718","last_updated":"2021-04-14T09:22:42Z","snapshot_observed_at":"2026-08-10T03:59:53.502767Z","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-06T11:04:59.538322Z","title":"Improved branch and bound for neural network verification via lagrangian decomposition.arXiv preprint arXiv:2104.06718, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.538322Z"},"links":{"cited_paper":"/paper/2104.06718","citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:4fc593e45b5196a941ca0dc150c2df17c35a4a79dfeb1ac38840251f03624d78","observation_id":"c919df03-248c-48e4-accb-55d306fe93ee","resolution":{"observed_at":"2026-08-06T11:04:59.538322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.960104Z","title":"Reciph: Relational coefficients for input partitioning heuristic","venue":null,"work_id":"5c56189b-9369-4130-82a2-829e0c820558","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.542697Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:8015fc925e2d8e50b9a645d62966c9ee4150cf3d42d92052ef0dac5a10e8f1db","observation_id":"54557291-22e6-4fdc-b979-092f69b41ec5","resolution":{"observed_at":"2026-08-06T11:04:59.964204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.946288Z","title":"Formal verification of piece-wise linear feed-forward neural net- works","venue":null,"work_id":"f7e3ee5a-47c8-4340-9577-6a3461c3ccbc","year":2017},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.546996Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:75500087ae4736c6ba0094d4d0e5dc6b665a0b85efeb8f7565b121e455fac0e1","observation_id":"6a69dd90-4449-4509-afcd-990d5d9e7249","resolution":{"observed_at":"2026-08-06T11:04:59.950768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.932661Z","title":"Formal verification of piece-wise linear feed-forward neural net- works","venue":null,"work_id":"0e21c8f3-f769-467d-a90c-66565d4de30d","year":2017},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.550930Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:5bd8ff275b515513ad86addfc9cb747100b2989da5a5030b99210fb890045623","observation_id":"d68e8853-667f-454a-b34d-1fe6a31b558a","resolution":{"observed_at":"2026-08-06T11:04:59.936844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.919578Z","title":"Com- plete verification via multi-neuron relaxation guided branch-and-bound","venue":null,"work_id":"37366f6a-ecbc-4211-b091-e5db3981f022","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.555022Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:1086d54eb1143c6b17c08c6d97616b0b66d4e87a7e026e1ebc7a9d738f825f3a","observation_id":"2b74b0fd-b9bb-4838-b85b-333d74d8bc82","resolution":{"observed_at":"2026-08-06T11:04:59.923708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.905984Z","title":"Divide and slide: Layer-wise refinement for output range analysis of deep neural networks","venue":null,"work_id":"a91fe46d-d589-4fa4-80cf-c4fbdab48261","year":2020},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.558740Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:cc6da8dc9f42dfd4b72ad8eec827a408fb1c123a18b84d1c3838c9b08d6efb06","observation_id":"ef65fe25-82f6-4f70-991f-677d951880a0","resolution":{"observed_at":"2026-08-06T11:04:59.910271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.892954Z","title":"Dill, Kyle Julian, and Mykel J","venue":null,"work_id":"8c57436a-c503-42ca-b9a9-aa7758b858fe","year":2017},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.562924Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:1f7b8a5d4ac4d40f144cdf0aae63699cfd79fdce5c99520ce344a8bdd37c749d","observation_id":"bdcc0b85-81c5-4b3d-a721-36a9aab59660","resolution":{"observed_at":"2026-08-06T11:04:59.896823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.879839Z","title":"Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David L","venue":null,"work_id":"69695c2b-d41f-41f3-abd5-8bdaee86af5d","year":2019},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.566793Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:d7deede32cb03572e14018dccdf4da160768fffa45c9f8c0b8e98e0488440e26","observation_id":"1634b5fd-da2b-4054-a4c8-7110e097609e","resolution":{"observed_at":"2026-08-06T11:04:59.884078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.866844Z","title":"Prima:Generalandpreciseneuralnetworkcertificationviascalable convex hull approximations","venue":null,"work_id":"df3a2408-e51a-4d6a-8b94-c59145207f8f","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.570707Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:a0409954f7f51adc75cc97292ede0fe5bd30f773c4980c290f8e2127a68a0335","observation_id":"0f6c511d-77e4-46c9-8d4c-750ba5f7aa09","resolution":{"observed_at":"2026-08-06T11:04:59.871150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.853926Z","title":null,"venue":null,"work_id":"2c768b83-4f70-420b-be39-6dc61959ff1c","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.574616Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:019087219ca35a77a9648ab5cac9e860d2763d58e4863f7d9c69064df6935b8e","observation_id":"7140c366-8132-4d41-a4c0-59bb6fad5b59","resolution":{"observed_at":"2026-08-06T11:04:59.857766Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.841078Z","title":"Beyond the single neuron convex barrier for neural network certification","venue":null,"work_id":"a9bc0303-9e22-436f-9279-57d02c7006be","year":2019},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.578614Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:d2f78d435f980f315c54aaf9c14f2b986777315bbfb9f731eddf1105d3c5703e","observation_id":"9349a6e4-15d5-4bc8-8793-16cede6a789d","resolution":{"observed_at":"2026-08-06T11:04:59.845295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.827496Z","title":"An abstract domain for certifying neural networks.Proc","venue":null,"work_id":"3ac5544e-33ab-4eaa-bf6c-559f40281b80","year":2019},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.582610Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:520e70bd172b65be5af50f9ac0f3e7c5b5936c1183195acc50322382e9d927cb","observation_id":"89b9c80b-f4c7-4c92-91b3-e971ec2e088b","resolution":{"observed_at":"2026-08-06T11:04:59.831631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.814885Z","title":"Robustness certification with refinement","venue":null,"work_id":"b323d53f-05f8-4e57-9c32-33af8b864e63","year":2019},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.586482Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:909b4737e70e590cce629a60cd2af073962fed664435f4a5d926ed18cb0bf3ae","observation_id":"cbbf2131-2007-48e3-98d7-98bf4b1ea882","resolution":{"observed_at":"2026-08-06T11:04:59.818940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.801366Z","title":"Intriguing properties of neural networks","venue":null,"work_id":"87ee7f4a-8ff2-4f74-9ddc-ceb5f083d58e","year":2014},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.590373Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:7a36b1eae4f3190dee59a6af56f0290d6aa4e6379cb71226ef980dd94b3c8c8a","observation_id":"7ba62257-5dc2-4d85-a71b-02f2908e4374","resolution":{"observed_at":"2026-08-06T11:04:59.805613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.788536Z","title":null,"venue":null,"work_id":"2091f4a3-5717-498c-828a-691b5355bf99","year":2020},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.594205Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:80acdcb5e7b4d14e91397e155d910f316cfaf3effdd590918d3109797679b8d7","observation_id":"552c6c76-0101-41ac-bfbc-245495915f97","resolution":{"observed_at":"2026-08-06T11:04:59.792388Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.775044Z","title":"Evaluating robustness of neural networks with mixed integer programming.International Conference on Learning Representations (ICLR’19), 2019","venue":null,"work_id":"005a27cc-f86b-4a37-8570-7f8fd30e1647","year":2019},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.598267Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:b657040d525544c1ead2f6dad1905b346315d84cd7005fdae0741b4d2b47b463","observation_id":"f6c70a15-8123-497b-b5d7-f1a302a8cbb6","resolution":{"observed_at":"2026-08-06T11:04:59.779585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.760613Z","title":"Zico Kolter","venue":null,"work_id":"d606aa59-92ff-4409-ac45-2e6bcc59a532","year":2021},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.602258Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:16ccf7f2c7c18ef21e04f4f95deaa8ef6e8ad654edc5bbb0f1874bc5cd82ca74","observation_id":"14206cd6-e46c-4f7b-96e6-1247dbeafc8a","resolution":{"observed_at":"2026-08-06T11:04:59.765893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.746314Z","title":"Efficient global robustness certification of neural networks via interleaving twin-network encoding","venue":null,"work_id":"4f3ae6e8-42f1-47ab-bc73-e613064691ea","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.606244Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:e619fa2b3b7140708d95757fd4957399595a076a3d0ebb9f67b405241fc2b52f","observation_id":"9174e629-33a7-4228-a626-4dfd17f87235","resolution":{"observed_at":"2026-08-06T11:04:59.750646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.731989Z","title":"Marabou 2.0: A versatile formal analyzer of neural networks","venue":null,"work_id":"249c0609-9c99-44e4-8a66-b07666080181","year":2024},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.610509Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:598f34e77357ee798d18e19361f0afe8e2ac01a42752aef50b22b621902fc4e1","observation_id":"ac04dfdc-0d43-4001-b9b7-b927bb09e8dc","resolution":{"observed_at":"2026-08-06T11:04:59.736220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.717769Z","title":null,"venue":null,"work_id":"88e24720-d3c1-40e3-a125-39eee202bcf0","year":2024},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.614545Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:dd59c9a4d24558fecb756d454cdd43758d3364df8f66abaa2a2f8a8be00caa85","observation_id":"2e816194-23f0-43a2-94d4-e335aa8fac9b","resolution":{"observed_at":"2026-08-06T11:04:59.721625Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.704075Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":"ae1d2c4f-7186-4f41-9586-cea867861c16","year":2021},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.618463Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:b3fc5975e562ec51af2f472a5a3f895c84ba97987ac1b16d5b1a1bee826e654b","observation_id":"bf5ab34a-6a38-4b19-ad65-497d24861ad4","resolution":{"observed_at":"2026-08-06T11:04:59.708394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.690376Z","title":"solver: batch size: 512 beta-crown: iteration: 20","venue":null,"work_id":"066be9a1-65b9-40f6-8baa-bf8ddced9e4c","year":2022},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.622347Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:585800443af97ee92fb537be529d3ebaa36afce964e573998479c22bbccb2bdb","observation_id":"9c447776-2b47-461c-b9b2-e8b85d05ba81","resolution":{"observed_at":"2026-08-06T11:04:59.694768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:04:59.673532Z","title":"Notice that this does not lead to a runtime of 20.000s, as 20 threads are used by pMILP in parallel (similar to competing solutions, except α, β-CROWN which uses> 4096 GPU cores)","venue":null,"work_id":"c95ac205-691f-47bb-b3a6-9612b60393a9","year":null},"citing_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T11:04:59.627489Z"},"links":{"citing_paper":"/paper/2507.23197"},"observation_digest":"sha256:46d3595a046ead1c75f45fea76a0cfa2dbf93eba0bf6d0608502b6373a9db38f","observation_id":"75fae802-3436-4d1b-a81c-91b92ba1f7d7","resolution":{"observed_at":"2026-08-06T11:04:59.679797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":33},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2507.23197."}