{"as_of":"2026-08-08T07:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:32e6778436d07bdda2f67b0dcfbc26cd45ea12f61a2e7298090f1091d625aa28","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-08T06:32:00.761636+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-07T10:16:49.298815Z","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:e4254fd2206ab4fe670703f390edc959a1097d6afbec9dd5fc13247490967e84","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:be92bd498911cdbbaa273738b0965eabc90a1a4fbc3fc90f57e6b3d96aa3aca8","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-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":"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:90b6c7b453ff03df46ba9689c8d740ed99f9d03a0382712b6c6416655ee0e708","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-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":"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:0bb28a7b26258bd6f5be88b3b168af618bb206e91ff20c18c135b16bc9c6612c","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-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":"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:0b8e84938abe3280bab035afbdd1531456d09621356a80dd6e3f3345ba52b408","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-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":"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:398b6bf7c052c866371d110b3f2affeecb5dcc8c58bd9d70b171ee49d4e40ff6","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-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":"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:0a456c853c8d94be3063c7941421cf2df2d6d885d9011311c952f9a28aaf2a14","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-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":"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:539c83d7112a6f474c5f201ab1d3378d301a13767153e645232429350178a647","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-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":"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:b5ea6e3a5bf5e947e0a53be4f89c27f7c88dd57b9a2128c1de895dfca8c582f3","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-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":"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:81346888d2eb2042f811c22bd5057d7a0bf20156f16d81e4083de9110e59d122","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-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":"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:9e3b45d157f7301eeace92a97aeac901513c77be22038b19b1ad8a7b03b59fd5","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-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":"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-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:1e121f92bba14f9ede32f213be2f680c45f86114924f6392d9dfd2bec2425bac","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:a49deb5820b9d14dd263ebf1e8d4ec1753c320e24d0e0fd03291e113a7d97378","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-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":"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:37924b63e6fae19c70332c0807fa0b98103e581ddc37f97b784cde401911ae24","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-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":"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:394379e1e9d2b36c2418f29a1177d09ebcc206f2fcc40cbec88a85f1834f956d","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-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":"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:be43f64fc4b06911ee737aebf67f6297081dde6247e91629c07e9f750a69c523","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-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":"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:4266586e49aaf941c73ef8dcf1b6c9f520cb31eeef13596280967735db890246","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-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":"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:98c601e9b0e499e150e61f4e160f582de7fc53b6d9663825b79697272b0b5ad2","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-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":"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:a97f579d764edb5425b4dc807422015b9e7150e75302e4ae14bdbd63a7c51a33","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-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":"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:38d662e3cb09159b2b2d1cf4fc74c114a3665027990ceb2d27b8c88344fc9a23","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-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":"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:68e151843d2407747d5efaef8b6d6d17849de8446f0af4a695067693db25a9b3","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-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":"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:45f177aea360e4bcabfded78d96775a92c1082a88149f04bce8b7fcc79d814da","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-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":"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:f39a89e0da14433cdca82597b5a7c7dfa7bd1524cf9005caaeb1e5f3fa023bf8","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-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":"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:cfbf6a3efa3cfcb5cb2f938a66ec1c2bd72baf1a2e052f054bcb283b0ac48f12","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-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":"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:5e5d539d987fb30b0601c4c1abbf56fc9ef1d11de6d342fa2909b8b0677302da","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-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":"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:976c8fc8a5bc3b6f5fe64ffc62130eb541c6670b7184d4eb2bc5f532640adbb6","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-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":"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:ee817f32e0389940c013094b2a3dfa19e80d07c5b47034ac927534f42c5a7e3e","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-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":"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:15f3c7d400237b7eccef7dd63033fec0c21df400e82729e748dc670ddd23dd50","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-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":"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:955f3dd84a119a016217ea420bdfda626a04ce9e0046ee004ea5625cbe254172","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-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":"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:a52df8d1cafe7290de318279af848d887f0a6dee9a3a376ef50e34e4010242c5","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-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":"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:877595f33bdad24271ea878d58f3c69f0f2f916d4602c5490a3be2489b50aac5","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-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":"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:807bee75b8b368f5bfb66c00f664e0b00c3d5eb1e68022cf75c1512a4a875103","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-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":"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:a15b07950743bffaa14e3c170b90ce99ee919daee7cb76dfa3e12277eddfcbc6","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-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":"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:697992261e15200111eee80249ac8c79ea5a4622d99ea725d50edc9781bc026c","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-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"}}],"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-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 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2507.23197."}