{"as_of":"2026-08-09T12:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f0201699fabc8e67effe4e089e9fa89a67a65aeba54a8d44d693fe1352a5efe5","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T14:41:46.484279Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.29051/citation-record","integrity":"/paper/2607.29051/integrity","json":"/paper/2607.29051/citation-record.json","paper":"/paper/2607.29051"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T14:41:46.203375Z","title":null,"venue":null,"work_id":null,"year":2003},"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":1,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.203375Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:17e8143dc93437ee016e327890a6ba501d8d0c8dbdad7d7f06f2fb3a18f4ea16","observation_id":"7c27bd53-c821-426b-8444-2b69053b408a","resolution":{"observed_at":"2026-08-03T14:41:46.203375Z","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-03T14:41:46.286724Z","title":null,"venue":null,"work_id":null,"year":2024},"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":2,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.286724Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:a42196d789c267f8f59d4f878b74038ad6ffbf011045eebfa579d142b665f363","observation_id":"cab6de6d-22a0-42f4-85f8-81e915b60d73","resolution":{"observed_at":"2026-08-03T14:41:46.286724Z","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-03T14:41:46.327674Z","title":null,"venue":null,"work_id":null,"year":2021},"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":3,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.327674Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:eabf5fe57ee1e31e4498e2b7c692da11df8d95b0ee8bf57c6c9aa56699b67ed4","observation_id":"efb8608a-7156-435c-9ee4-6c7ce0700797","resolution":{"observed_at":"2026-08-03T14:41:46.327674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-07-06T20:13:58.813488Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-03T14:41:46.333144Z","title":"T.; and Wu, H","venue":null,"work_id":null,"year":2024},"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":4,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.333144Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:262679b7fd001b300b45e018fec40b8d8913630dc53248d4ab7396a239a68758","observation_id":"49e9e3be-fae3-45f2-8ccb-80cc01102ef0","resolution":{"observed_at":"2026-08-03T14:41:46.333144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-09T04:25:37.880492Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-03T14:41:46.338261Z","title":null,"venue":null,"work_id":null,"year":2023},"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":5,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.338261Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:fbd60464f2ea84d95460d7346a6ea24c4a63be795f3a74a3ed22f5063a14397d","observation_id":"8b8cfc58-f714-4007-9542-8bb9d1ef693f","resolution":{"observed_at":"2026-08-03T14:41:46.338261Z","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-03T14:41:46.343241Z","title":"H.; Kohli, P.; and Kumar, M","venue":null,"work_id":null,"year":2020},"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":6,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.343241Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:906bbe5c511ad8ffeb57494f73437b04dced6f0fe6576474c339736d8e5c31b1","observation_id":"b5a0c565-caf0-4b75-92bd-c2cc6e6f17ee","resolution":{"observed_at":"2026-08-03T14:41:46.343241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T14:41:46.353058Z","title":null,"venue":null,"work_id":null,"year":2005},"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":8,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.353058Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:d01a9e3e40f75b54340b82e12bfc4861810cef4a2646eb2c28ed5edee49219db","observation_id":"096a3db6-c2ad-4b78-a436-c845063c2962","resolution":{"observed_at":"2026-08-03T14:41:46.353058Z","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-03T14:41:46.357374Z","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":9,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.357374Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:ddcf107b0d7ba3f9cde5245860aa154b32d0f4f1dd46f71fa78f6c1a68a8ab08","observation_id":"b1244b88-5139-4439-bc96-56b518378c93","resolution":{"observed_at":"2026-08-03T14:41:46.357374Z","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-03T14:41:46.361742Z","title":null,"venue":null,"work_id":null,"year":2015},"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":10,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.361742Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:8e27a791ad4679dea51b21da9bf14221291c91a0165f0e0ade823d848d0fb130","observation_id":"dc32217b-2c0a-4b20-a832-4db05426a6cf","resolution":{"observed_at":"2026-08-03T14:41:46.361742Z","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-03T14:41:46.366184Z","title":null,"venue":null,"work_id":null,"year":2011},"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":11,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.366184Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:7562471dad6c22553ded9d3ebf5fc4dac3edfc3c1b5eb0c259bb48ae803c3f48","observation_id":"fbceb5a0-4b14-4e8f-b672-79fa3f13b917","resolution":{"observed_at":"2026-08-03T14:41:46.366184Z","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-03T14:41:46.370282Z","title":null,"venue":null,"work_id":null,"year":2017},"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":12,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.370282Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:0d4abccb9cfdbb2a8371ccb5ce4c19ff7124be56a2f90ae866e56a8add144b94","observation_id":"25ec07b8-a17f-4340-b367-a029307f70a2","resolution":{"observed_at":"2026-08-03T14:41:46.370282Z","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-03T14:41:46.374369Z","title":null,"venue":null,"work_id":null,"year":2019},"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":13,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.374369Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:71afa22572029635d2cb4c22edfc6eab26708d135f1e9c53872870efb8a4e707","observation_id":"a07b19f7-202d-4b82-b84a-dd8f4a0e24a0","resolution":{"observed_at":"2026-08-03T14:41:46.374369Z","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-03T14:41:46.378531Z","title":null,"venue":null,"work_id":null,"year":2011},"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":14,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.378531Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:27b18cdf4139f0abb28ff6351e1c47e2c493035e01d247d62261ffd0b00995b2","observation_id":"b2a4a2ce-31f6-421c-beb0-e4f9f30f715b","resolution":{"observed_at":"2026-08-03T14:41:46.378531Z","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-03T14:41:46.382849Z","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":15,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.382849Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:463348dc46bb4549a790a201bfab582ced94f74652c6f572b3b6ea61695fb664","observation_id":"14d7be94-ddad-432d-9a82-0c58e15234d0","resolution":{"observed_at":"2026-08-03T14:41:46.382849Z","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-03T14:41:46.387063Z","title":null,"venue":null,"work_id":null,"year":2012},"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":16,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.387063Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:18475b865676b3dca75ed800a60552ad95c9b9c3687c6d7b5aa986ed06f3a388","observation_id":"759cead6-2c70-42dd-bf8d-4b24c9725645","resolution":{"observed_at":"2026-08-03T14:41:46.387063Z","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-03T14:41:46.391025Z","title":"D.; Lopez, J.; Brush, J","venue":null,"work_id":null,"year":2016},"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":17,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.391025Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:aba2126be685ebf78453bf2475261473907d754e281a4ea7da205c6bc8a2f7b4","observation_id":"b07e86db-ce9b-470a-be42-b47eb3971443","resolution":{"observed_at":"2026-08-03T14:41:46.391025Z","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-03T14:41:46.395186Z","title":"L.; Julian, K.; and Kochenderfer, M","venue":null,"work_id":null,"year":2017},"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":18,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.395186Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:d1b53ecef5f2bcfe1d8f8456a042b81c3468bae65865f089f89cdbd8b3352382","observation_id":"3d1eddd0-58e0-403d-b42c-f3d83fcc845d","resolution":{"observed_at":"2026-08-03T14:41:46.395186Z","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-03T14:41:46.399505Z","title":"A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zelji \\'c , A.; Dill, D","venue":null,"work_id":null,"year":2019},"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":19,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.399505Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:1e7be524cc6d550f6f3e539f35fa46b89336a46b5e194d942d34f92294881fe5","observation_id":"a2879c3c-e97e-44e0-9c5f-098ba5b56e1b","resolution":{"observed_at":"2026-08-03T14:41:46.399505Z","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-03T14:41:46.403660Z","title":"T.; Koller, L.; Manino, E.; Nguyen, T","venue":null,"work_id":null,"year":2025},"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":20,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.403660Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:f42f303f4a8cc7da5869919a56439107dc8a8b902f4d9aee85bcc54be89ad8a7","observation_id":"5bd2e8fa-be8f-45e7-8753-f97f28f281b5","resolution":{"observed_at":"2026-08-03T14:41:46.403660Z","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-03T14:41:46.407877Z","title":"Z.; Dvijotham, K.; and Zhang, H","venue":null,"work_id":null,"year":2023},"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":21,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.407877Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:fbdc0a47cf15bfeaa4aad30fb5e4f2d9b95836b1afeb2174819584f56a4eb086","observation_id":"7d5dfb67-ed18-49dd-a7f9-56fe28f731db","resolution":{"observed_at":"2026-08-03T14:41:46.407877Z","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-03T14:41:46.412089Z","title":null,"venue":null,"work_id":null,"year":1998},"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":22,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.412089Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:b8c55ae075118deef976b561763fcb8cdc62c90b8a96954b063595259c7b9b33","observation_id":"266ea979-62c1-4b85-a921-9c715d5960ba","resolution":{"observed_at":"2026-08-03T14:41:46.412089Z","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-03T14:41:46.416272Z","title":null,"venue":null,"work_id":null,"year":2020},"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":23,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.416272Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:76f6f4d26ead3e416c8f959a961bafb334ab96191ba5f3ab4aebfe8ebcf5fd4a","observation_id":"7e3d9c43-93b5-41e3-983b-67183dc8e461","resolution":{"observed_at":"2026-08-03T14:41:46.416272Z","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-03T14:41:46.420387Z","title":null,"venue":null,"work_id":null,"year":2017},"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":24,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.420387Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:6b3f8eb4a9a5308ede226f06802a2dae52fddc10c4a413d3531d6b8d948801f2","observation_id":"8812d710-cb8a-4163-b021-c733e3b00aef","resolution":{"observed_at":"2026-08-03T14:41:46.420387Z","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-03T14:41:46.424359Z","title":null,"venue":null,"work_id":null,"year":2013},"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":25,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.424359Z"},"links":{"cited_paper":"/paper/1312.5602","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:8d7347ba17eb2b5a774de7d3ca4fbe53c8ca477e634ca1fd70b3a8e7ec64dcbc","observation_id":"8bea2ddc-3972-4769-8a0e-d020bc894cc9","resolution":{"observed_at":"2026-08-03T14:41:46.424359Z","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-03T14:41:46.428637Z","title":null,"venue":null,"work_id":null,"year":2008},"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":26,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.428637Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:9014bdeae7687af8150ae9c382c263010dd3fb525e9b25d8ed692167accf9145","observation_id":"f9e6445c-e4d6-4182-8f65-f00d67c6e335","resolution":{"observed_at":"2026-08-03T14:41:46.428637Z","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-03T14:41:46.433825Z","title":"E.; Abdou, M.; Perot, E.; and Yogamani, S","venue":null,"work_id":null,"year":2017},"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":27,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.433825Z"},"links":{"cited_paper":"/paper/1704.02532","citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:43bed19fea069318c58c7a93ea93b840cf639d45223320a1f28cbcd38027df0e","observation_id":"4ae8e7f3-21a5-4676-870d-2d9d97b603da","resolution":{"observed_at":"2026-08-03T14:41:46.433825Z","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-03T14:41:46.438320Z","title":null,"venue":null,"work_id":null,"year":2025},"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":28,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.438320Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:7c73cf3d6958b4016c2b4e40cf11e5726d30c8fcbd720a46ec1c3d5eb8394fbf","observation_id":"ae197a1e-c7b9-4996-984d-4ce4e87e0503","resolution":{"observed_at":"2026-08-03T14:41:46.438320Z","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-03T14:41:46.442212Z","title":null,"venue":null,"work_id":null,"year":2019},"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":29,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.442212Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:7e64dcd80f170228bf3c7d4d79a39675960391d90a75b893427c2adc48fee5d4","observation_id":"dfad0420-a48f-47b6-823c-c3c2677430f5","resolution":{"observed_at":"2026-08-03T14:41:46.442212Z","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-03T14:41:46.446586Z","title":null,"venue":null,"work_id":null,"year":2021},"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":30,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.446586Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:2badee24df347fb2db4ba475e9827c849fe02fe83bace6cd35b8aff71bd3b579","observation_id":"836fd0ef-103c-4614-80b4-f97dd5ccb715","resolution":{"observed_at":"2026-08-03T14:41:46.446586Z","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-03T14:41:46.450711Z","title":null,"venue":null,"work_id":null,"year":2024},"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":31,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.450711Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:d4ea0e244db3077e606b02d39bf7fb7b8ccc5d9f452b3050c7ec8546d07e6705","observation_id":"40454e92-a859-40f4-a093-bee73051b1ff","resolution":{"observed_at":"2026-08-03T14:41:46.450711Z","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-03T14:41:46.454661Z","title":null,"venue":null,"work_id":null,"year":2022},"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":32,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.454661Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:8ce687dc6d85c6fc857dc1c847c86b6eee3b6948b3003927de090d338a66cf28","observation_id":"2b727b08-a7d8-467b-a508-e750fbaceae6","resolution":{"observed_at":"2026-08-03T14:41:46.454661Z","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-03T14:41:46.458670Z","title":null,"venue":null,"work_id":null,"year":2020},"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":33,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.458670Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:079d3370b3c3da7eb1300e1548dfeca8fd12c8b4841d5d38494e13a44fe96817","observation_id":"8c83785b-2a9a-4bb9-afe4-a8a2d467390b","resolution":{"observed_at":"2026-08-03T14:41:46.458670Z","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-03T14:41:46.463008Z","title":null,"venue":null,"work_id":null,"year":2021},"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":34,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.463008Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:3105ea41b7a96a35e150693b38d7f60ea3d11d934dcac9760df2ef06cb84ffa0","observation_id":"80d33ec8-b911-4873-b5a7-e5e0845121b7","resolution":{"observed_at":"2026-08-03T14:41:46.463008Z","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-03T14:41:46.467294Z","title":null,"venue":null,"work_id":null,"year":2022},"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":35,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.467294Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:aa9417e3488f370844ee1a4871254759ebc4f47b1705a06edb7d75a7c7a3beea","observation_id":"a065ceda-1f29-4d0c-817e-c44acadf1544","resolution":{"observed_at":"2026-08-03T14:41:46.467294Z","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-03T14:41:46.471204Z","title":null,"venue":null,"work_id":null,"year":2022},"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":36,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.471204Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:0789b9a3211668c1f4e245d5f4d8834d69cd54f52d0e2fe7aa852838355feea1","observation_id":"44c6e2c6-f269-407d-8425-12ddce69dcc7","resolution":{"observed_at":"2026-08-03T14:41:46.471204Z","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-03T14:41:46.475345Z","title":null,"venue":null,"work_id":null,"year":2018},"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":37,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.475345Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:8b429a0af688f1ed7e9f9b77bd0c31d8ef07b234b7c3dc0fb8062247d8396df1","observation_id":"8420887a-d734-468a-9575-33d822acf22e","resolution":{"observed_at":"2026-08-03T14:41:46.475345Z","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-03T14:41:46.479881Z","title":"A.; and Zhang, H","venue":null,"work_id":null,"year":2024},"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":38,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.479881Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:2df90550f1618d93cf9b768ae68cedae27c2bf5ef190918deb9d46a8f39c7b5c","observation_id":"dc5cf54f-a5fe-4f41-8411-0b856b53bb15","resolution":{"observed_at":"2026-08-03T14:41:46.479881Z","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-03T14:41:46.484279Z","title":"A.; and Zhang, H","venue":null,"work_id":null,"year":2025},"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":39,"source":"arxiv_source","source_observed_at":"2026-08-03T14:41:46.484279Z"},"links":{"citing_paper":"/paper/2607.29051"},"observation_digest":"sha256:0213faf45c9bd1628183e775213c47dd7fb8cc8634efe42dd0352f8c81c32661","observation_id":"eb8f102e-49a5-48ea-b67c-b67a25890ed6","resolution":{"observed_at":"2026-08-03T14:41:46.484279Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.29051","last_updated":"2026-07-31T06:10:12Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T05:21:30.176639Z","submitted_at":"2026-07-31T06:10:12Z","title":"Learning Lookahead Lemmas for Neural Network Verification"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":39},"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 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.29051."}