{"as_of":"2026-08-09T19:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:85594625bd06cb46550248eff24019b9d96a3789dfec495e50e8bc22bf8c9e2b","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T18:33:09.984579Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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-08-03T14:41:46.348287Z","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":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.17290","snapshot_observed_at":"2026-08-03T14:41:46.348287Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.29051","last_updated":"2026-07-31T06:10:12Z","snapshot_observed_at":"2026-08-08T05:21:30.176639Z","submitted_at":"2026-07-31T06:10:12Z","title":"Learning Lookahead Lemmas for Neural Network Verification","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.348287Z"},"links":{"cited_paper":"/paper/2607.17290","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:04286bc4f4b5b9bd4c5d9d0e8b993a5fb23e25e669cb6781bb0737e808f80fb2","observation_id":"04c93efd-b9dc-4b35-ae41-904c12db718f","resolution":{"observed_at":"2026-08-03T14:41:46.348287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.17290/citation-record","integrity":"/paper/2607.17290/integrity","json":"/paper/2607.17290/citation-record.json","paper":"/paper/2607.17290"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.297588Z","title":"Branch and bound for piecewise linear neural network verification.Journal of Machine Learning Research, 21(42):1–39,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.297588Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:b6ff2a8aa20bfbcb66438cbaed309aed9814954d2344dfaf554c8d3459995254","observation_id":"16f2a40b-890c-45e1-b3f9-27f1b754ee63","resolution":{"observed_at":"2026-08-01T18:33:07.297588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.5602","last_updated":"2013-12-19T16:00:08Z","snapshot_observed_at":"2026-07-06T03:31:23.521122Z","submitted_at":"2013-12-19T16:00:08Z","title":"Playing Atari with Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.5602","snapshot_observed_at":"2026-08-01T18:33:08.378098Z","title":"Playing atari with deep reinforcement learning.arXiv preprint arXiv:1312.5602,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.378098Z"},"links":{"cited_paper":"/paper/1312.5602","citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:b59685fd76cd3f7d5830c5ae5792584672d8103eb437b4f691044d9373f587e8","observation_id":"5893956e-e1a6-4ec2-aa1c-828ba756c787","resolution":{"observed_at":"2026-08-01T18:33:08.378098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:08.653818Z","title":"Neural net- work verification with branch-and-bound for general non- linearities","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.653818Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:65e0cb0d680ddc63283f8ccf2a69b5ccb3460baf7d20ac2561757cebdca561ec","observation_id":"e3863884-215d-4777-84e2-55d36b8473f0","resolution":{"observed_at":"2026-08-01T18:33:08.653818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:08.894433Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.894433Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:905c5a2a09d40ad71a5540eee4d68528ceaee6cd4ab2582ee956ad31e6984673","observation_id":"0315e125-c372-4133-9d25-338d908ad843","resolution":{"observed_at":"2026-08-01T18:33:08.894433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.069582Z","title":"Parallelization techniques for verifying neural networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.069582Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:2cdedc640b37942f88644e95603cceb7b56954a6d418e115762a8a35fc15fa52","observation_id":"db3e512f-c763-4121-bddf-86a6690e2fe6","resolution":{"observed_at":"2026-08-01T18:33:09.069582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.216759Z","title":"Efficient neural network analysis with sum-of-infeasibilities","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.216759Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:98631ff2868e3c9a7b98f1032eb703e7addec315c49e2c71fbdceff46212ed69","observation_id":"936868bc-e77f-401c-a53a-8919c567b2fe","resolution":{"observed_at":"2026-08-01T18:33:09.216759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.447339Z","title":"Fast and Complete: Enabling complete neural network verifica- tion with rapid and massively parallel incomplete verifiers","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.447339Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:e6ba8422659fec105b730f16e5711b7860988fbe8dc3dae73668ea88e84e4f3c","observation_id":"0ccef03b-bf71-45a0-82b9-e8e633e39f10","resolution":{"observed_at":"2026-08-01T18:33:09.447339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.618663Z","title":"Efficient neu- ral network robustness certification with general activa- tion functions.Advances in Neural Information Process- ing Systems, 31:4939–4948,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.618663Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:c13ece992215cca734b4d4c374e4d9be79de96894af27aefb4eebe6bf144722c","observation_id":"b5bda7b3-440f-48ed-8406-0ccb9b148f9a","resolution":{"observed_at":"2026-08-01T18:33:09.618663Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.822304Z","title":"Scalable neural net- work verification with branch-and-bound inferred cutting planes","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.822304Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:5c9704eead47965276ebd6b45f03c5cfda6777e04f0b4837bfd2ccfbb55ec36d","observation_id":"3fb8b28c-716d-4b1a-ac92-27499dc05bd0","resolution":{"observed_at":"2026-08-01T18:33:09.822304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.984579Z","title":"Hanasusanto, and Huan Zhang","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.984579Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:d422f2b109aa1e960a2cea996f7f13af607eb09829785ac989437d74b618159a","observation_id":"0d968a23-7013-4fa4-921b-10860119438b","resolution":{"observed_at":"2026-08-01T18:33:09.984579Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.939453Z","title":"Delving deep into rectifiers: Surpass- ing human-level performance on imagenet classification","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.939453Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:1f426b76d992305c95f06726f6ce888cde90c416b5b072f6d7fe5868d98eb281","observation_id":"02bae840-fb27-42c3-a065-c6542b75ab1b","resolution":{"observed_at":"2026-08-01T18:33:07.939453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.971755Z","title":"Reluplex: An efficient smt solver for verifying deep neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.971755Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:cbef64cc18de735461cf40eeaed7d93696a6bed911266cdf1fc61d983e8b9c9a","observation_id":"00c10090-a4fa-4d45-9f03-b244f668feb3","resolution":{"observed_at":"2026-08-01T18:33:07.971755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1704.02532","last_updated":"2017-04-08T20:04:03Z","snapshot_observed_at":"2026-07-06T05:37:05.504755Z","submitted_at":"2017-04-08T20:04:03Z","title":"Deep Reinforcement Learning framework for Autonomous Driving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1704.02532","snapshot_observed_at":"2026-08-01T18:33:08.540488Z","title":"Deep reinforce- ment learning framework for autonomous driving.arXiv preprint arXiv:1704.02532,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.540488Z"},"links":{"cited_paper":"/paper/1704.02532","citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:ae9f2a26988e572aed70fbfccc18a418f43a77ec5fd5762168a7e51b9e52bc64","observation_id":"3455dd9a-18fd-4ae3-a655-50796db6e928","resolution":{"observed_at":"2026-08-01T18:33:08.540488Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.965628Z","title":"Heule and Hans van Maaren","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.965628Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:219296023064e229dbd26babf8f8cc1c5b35149c74f10e6ded31cc8b8cd924d3","observation_id":"f3398c2f-52fb-4fa8-b088-803a3c4e1229","resolution":{"observed_at":"2026-08-01T18:33:07.965628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:08.052637Z","title":"Huang, Duligur Ibel- ing, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji ´c, David L","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.052637Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:7f91d450a6d58219075a0e6612af3b6d7e55fe720ee4b407f5e8615edf09e86d","observation_id":"2273c949-c609-42ac-83b8-321c6a8bc83b","resolution":{"observed_at":"2026-08-01T18:33:08.052637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01329","last_updated":"2019-12-03T12:12:29Z","snapshot_observed_at":"2026-07-06T08:41:39.110616Z","submitted_at":"2019-12-03T12:12:29Z","title":"Neural Network Branching for Neural Network Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01329","snapshot_observed_at":"2026-08-01T18:33:08.225944Z","title":"[Lu and Kumar, 2019] Jingyue Lu and M Pawan Kumar","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.225944Z"},"links":{"cited_paper":"/paper/1912.01329","citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:539104b6515eb981fbb6591cdf61f0c9967ef3c48107fe163ba012138010ef9e","observation_id":"8b95695b-8320-4b4e-b735-0237572bcbd2","resolution":{"observed_at":"2026-08-01T18:33:08.225944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.520543Z","title":"Scal- ing the convex barrier with active sets","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.520543Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:382141323fab2db09ba439e75802b19298df4ed90ec19f42599d56c1a5c83941","observation_id":"cbeb0346-049a-47d2-a86d-91ce38de650d","resolution":{"observed_at":"2026-08-01T18:33:07.520543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:07.728110Z","title":"Lookahead branching for mixed integer programming","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:07.728110Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:6cd7b5391604d12c671cf1f388b03176bdb66cab7dee9de712eb79630b5bf8a7","observation_id":"58434ef7-28f5-4fe4-9362-dc49f65d5183","resolution":{"observed_at":"2026-08-01T18:33:07.728110Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.283433Z","title":"Marabou 2.0: A versatile formal analyzer of neural networks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.283433Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:614649ad3948a0fa85aeaea34708d736b2e37a088f902479ecff3b6ebf4554a5","observation_id":"b0dd0004-9846-444a-85d7-865b6a6d7398","resolution":{"observed_at":"2026-08-01T18:33:09.283433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:09.353257Z","title":"[Xuet al., 2020 ] Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, and Cho-Jui Hsieh","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:09.353257Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:98cace4f4a63985094908c45a9aaf1802fd960f5015dde2646e887018f331205","observation_id":"631a0315-52ca-4efb-ab65-f869bcfb789a","resolution":{"observed_at":"2026-08-01T18:33:09.353257Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T18:33:08.749423Z","title":"An abstract domain for cer- tifying neural networks.Proceedings of the ACM on Pro- gramming Languages, 3(POPL):1–30,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T18:33:08.749423Z"},"links":{"citing_paper":"/paper/2607.17290"},"observation_digest":"sha256:0725f967364f5bc8899938f8049a8d4dc0c38ba6ead68795e6e9e763899e2a9d","observation_id":"4a91063a-7255-42e5-b634-651bc3f4cb25","resolution":{"observed_at":"2026-08-01T18:33:08.749423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.17290","last_updated":"2026-07-19T15:15:51Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T23:09:58.236008Z","submitted_at":"2026-07-19T15:15:51Z","title":"Lookahead Branching for Neural Network Verification"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":21},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2607.17290."}