{"as_of":"2026-08-09T22:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dd581c4be581f497ef2bab0fd2aecbf09b18de61395e8047292d4ea013d75dd8","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T17:06:49.917846Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"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/2512.10747/citation-record","integrity":"/paper/2512.10747/integrity","json":"/paper/2512.10747/citation-record.json","paper":"/paper/2512.10747"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:06:48.221835Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.221835Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:98c909fab2f9cfe0928db2f37ddae1b61036ef266d570fa5679a924d1abc4cc2","observation_id":"8a4668a4-a3d6-4e9a-b378-6bb8260d6dc3","resolution":{"observed_at":"2026-08-03T17:06:48.221835Z","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-03T17:06:48.280170Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.280170Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:b3b6b492b043dc76dfec9f2b386a5206719bcc9b87444c19c4b82a114e4d91f5","observation_id":"210a1aad-c4d3-44af-bd59-4184d3007149","resolution":{"observed_at":"2026-08-03T17:06:48.280170Z","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-03T17:06:48.374055Z","title":"Bassan, G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.374055Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:3531fd5a7d2fd15dbeeda618582489b5e5c0cdf5ce021196b1e0dbe35d9ddcad","observation_id":"24fd7e80-6de3-41a9-ac64-9ea7a7c4e647","resolution":{"observed_at":"2026-08-03T17:06:48.374055Z","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-03T17:06:48.406945Z","title":"Bassan, Y","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.406945Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:dfdc1c7632abc72edea1322b7485599925606cdde187342419485d9f19c5e77d","observation_id":"9cad11b8-e3e2-411f-b234-c1e479236231","resolution":{"observed_at":"2026-08-03T17:06:48.406945Z","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-03T17:06:48.445732Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.445732Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:9b3237b1e3bc5b4745b883ccb57f67abb034e49c3a7b941a5b06e1fff1642c18","observation_id":"6a1217d6-b45d-4437-bc00-050519d95895","resolution":{"observed_at":"2026-08-03T17:06:48.445732Z","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-03T17:06:48.485834Z","title":"Bunel, J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.485834Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:a6ee1664c1578f5e3bd6c6955f71071615024a4f6f9973f6f3c677d03237f746","observation_id":"2065de4d-f38a-4724-b634-1d59183f4d58","resolution":{"observed_at":"2026-08-03T17:06:48.485834Z","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-03T17:06:48.494893Z","title":"Carlini and D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.494893Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:3ffaefdce86b96ddb8ca265f54a93d0926a5c5bcc0030651928be1b5ef631294","observation_id":"1dadab11-73d2-4ebe-9bd7-df0c4c99d711","resolution":{"observed_at":"2026-08-03T17:06:48.494893Z","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-03T17:06:48.543421Z","title":"Casadio, E","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.543421Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:1843fa5766170353ca58c50200218f4b261c81c64157ae4f8885470eb0c31ba2","observation_id":"97a65cb7-3e4a-4f08-9db1-84a4b4a84f68","resolution":{"observed_at":"2026-08-03T17:06:48.543421Z","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-03T17:06:48.583050Z","title":"Desmartin, O","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.583050Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:9304fadb2b1da529086f7b58a55aacea9d118429ee80557676992e4756f6cf71","observation_id":"241e36da-f04b-409a-8cb3-06e363c6e98d","resolution":{"observed_at":"2026-08-03T17:06:48.583050Z","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-03T17:06:48.614348Z","title":"Elboher, E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.614348Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:a18fdc572d37e2619b7dfa6fe579b5838ba861e7a065f18424f2e33a1cb08e10","observation_id":"bd905f08-2d51-4cec-87f3-023781569e18","resolution":{"observed_at":"2026-08-03T17:06:48.614348Z","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-03T17:06:48.663295Z","title":"Elboher, R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.663295Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:f7c816db4d5399fa50c9473513f84602ecc863c6481d39664ddaf232e7512ce2","observation_id":"b49d5ac9-cc6d-4cc8-930a-38d8a2bdbb06","resolution":{"observed_at":"2026-08-03T17:06:48.663295Z","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-03T17:06:48.709883Z","title":"Elboher, O","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.709883Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:c1b2f744c80a562a605f5bae86117f159e5b3e975f664b821772c6d79332a136","observation_id":"cffacb74-5890-41cb-83fe-bac2feee082e","resolution":{"observed_at":"2026-08-03T17:06:48.709883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.00263","last_updated":"2022-04-30T13:12:33Z","snapshot_observed_at":"2026-08-09T15:58:25.141516Z","submitted_at":"2022-04-30T13:12:33Z","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.00263","snapshot_observed_at":"2026-08-03T17:06:48.746821Z","title":"Ferrari, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.746821Z"},"links":{"cited_paper":"/paper/2205.00263","citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:a31b64025c6b221656f65c931b0940cc41f72bc6f40cf0d28c845e54492cd71d","observation_id":"0c3e7668-1335-4cc9-b4a8-442229ecaeaf","resolution":{"observed_at":"2026-08-03T17:06:48.746821Z","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-03T17:06:48.794792Z","title":"Goodfellow, J","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.794792Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:0e5685fd87c9c49c72ef9b06bb0abb6d4c807d10e45dcf560fe1965bc63998da","observation_id":"7b7bcb4a-c2f8-4663-b207-9a92b3255c30","resolution":{"observed_at":"2026-08-03T17:06:48.794792Z","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-03T17:06:48.830674Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.830674Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:14a0c27717065febde574e3cc01ecf0682fcb76e2cd2f4762723a82c133c6f4e","observation_id":"c7d8040a-b461-4084-8263-8a303db33652","resolution":{"observed_at":"2026-08-03T17:06:48.830674Z","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-03T17:06:48.897733Z","title":"Hester, M","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.897733Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:95473ad791cfbaf08006efe398affe0b4a0242ef33ab0cd3f0e665fa47a8d998","observation_id":"4ae1f5be-eae6-4521-bb59-8cc0b808e067","resolution":{"observed_at":"2026-08-03T17:06:48.897733Z","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-03T17:06:48.920639Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.920639Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:5bffcd058c31b0d226e61f6bb065452ad1e0161b326a942505728345765d3865","observation_id":"bb91de1c-1f5e-4306-909b-ca9bd374be38","resolution":{"observed_at":"2026-08-03T17:06:48.920639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.12855","last_updated":"2021-07-27T14:42:57Z","snapshot_observed_at":"2026-08-04T04:32:33.042628Z","submitted_at":"2021-07-27T14:42:57Z","title":"Neural Network Branch-and-Bound for Neural Network Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.12855","snapshot_observed_at":"2026-08-03T17:06:48.948628Z","title":"Jaeckle, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.948628Z"},"links":{"cited_paper":"/paper/2107.12855","citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:a87792b28a315e4a095f0cf35d5adcaa3e6466f6b00df510e842ab01256805f7","observation_id":"8b152ac4-7162-4b44-bac1-89d66bbadeff","resolution":{"observed_at":"2026-08-03T17:06:48.948628Z","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-03T17:06:48.994444Z","title":"Julian, M","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:48.994444Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:d3815b632961ce71a12926bf233825b16ed1e536157ac4c816f5bc4a6bb613a5","observation_id":"bb21e4e6-9bb4-4f75-8cf8-03de4363828c","resolution":{"observed_at":"2026-08-03T17:06:48.994444Z","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-03T17:06:49.014511Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.014511Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:8ace82c23cd4fed7805c532c372d438cc723e4a48c4152113c6571671417d858","observation_id":"435296cf-eb31-4065-8cce-57290d9299a5","resolution":{"observed_at":"2026-08-03T17:06:49.014511Z","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-03T17:06:49.052279Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.052279Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:fa3cf931525e4dc3ae8b55ab5e1bbbd69878ee816d37e125bb7b1275a91ea3e0","observation_id":"7e6d0f84-26d6-4912-b3fe-b24db3233524","resolution":{"observed_at":"2026-08-03T17:06:49.052279Z","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-03T17:06:49.099682Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.099682Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:238f7d2dde1f2987dad30111cc1fc178565a013f0314c8cded63b9b3f5a1305a","observation_id":"511edc1f-6a0a-414d-9977-77f745da9dcc","resolution":{"observed_at":"2026-08-03T17:06:49.099682Z","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-03T17:06:49.142657Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.142657Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:063a834b8b027e9aaf5d34a134e3f4287958a418c39a147565fa791b2e35b6af","observation_id":"6d41ace5-312d-41c4-b77b-4939fa489f73","resolution":{"observed_at":"2026-08-03T17:06:49.142657Z","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-03T17:06:49.177279Z","title":"Kessler, E","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.177279Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:bad5070db22a92593f7fdc1f46657bb259da58b9a0fd710cb87e236bf8b81de2","observation_id":"748f2850-cecd-4f19-b3fa-5bd7d41f5da3","resolution":{"observed_at":"2026-08-03T17:06:49.177279Z","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-03T17:06:49.197162Z","title":"Lahav and G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.197162Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:a3318f3360083d7d76dbe9d1d73f2728f44c854441d2988be7b25198a6291b7a","observation_id":"1f42b795-2f13-4e57-a98a-5549da7f594c","resolution":{"observed_at":"2026-08-03T17:06:49.197162Z","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-03T17:06:49.244820Z","title":"Mandal, G","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.244820Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:87b9b15d7fbf660e7fc10625db1faccec71615f03d6dd867f2889eb2df7ab903","observation_id":"776899ea-f55e-416d-a8c3-52e3195a485e","resolution":{"observed_at":"2026-08-03T17:06:49.244820Z","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-03T17:06:49.295048Z","title":"Mandal, G","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.295048Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:ac1dc1da8d79718e8dbbc4c04776e82eed41a84c79f2c7f2d838fb92040299b9","observation_id":"217af398-2f70-4279-8962-3fc4f92761db","resolution":{"observed_at":"2026-08-03T17:06:49.295048Z","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-03T17:06:49.329024Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.329024Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:baa8f6038ce73b73f962774c29022f22d9a5052b7ddaeab4169acd808c070fad","observation_id":"e48dd6ea-8a02-4855-aab9-d0d70a758a9b","resolution":{"observed_at":"2026-08-03T17:06:49.329024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.06213","last_updated":"2022-01-17T04:50:11Z","snapshot_observed_at":"2026-08-09T18:28:36.971184Z","submitted_at":"2022-01-17T04:50:11Z","title":"An Improved Reinforcement Learning Algorithm for Learning to Branch","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.06213","snapshot_observed_at":"2026-08-03T17:06:49.424150Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.424150Z"},"links":{"cited_paper":"/paper/2201.06213","citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:34c8aa424636cf2cce84a8022be2daa55521657efa56ed3e8c89efb7b7a2a827","observation_id":"09526d2d-ded3-44a3-b13a-2bfff4f04e57","resolution":{"observed_at":"2026-08-03T17:06:49.424150Z","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-03T17:06:49.491640Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.491640Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:ad69b9ae673bb8490e4efbbce7f711e5efb744789c3ec3f7e8bcc668f3b53a01","observation_id":"29cab131-762f-4dfd-a937-efd68921ba65","resolution":{"observed_at":"2026-08-03T17:06:49.491640Z","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-03T17:06:49.529432Z","title":"Swisa and G","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.529432Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:05e2984bf4fb70d75979ae950998c2f28ee96e7976ce91dea5a43ff41c2914ee","observation_id":"8818839e-c0ff-44fe-bf2e-8a66e1e4c533","resolution":{"observed_at":"2026-08-03T17:06:49.529432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-07-06T03:31:33.797310Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-03T17:06:49.589781Z","title":"Szegedy, W","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.589781Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:c843934651341abd774e10d0e69c96269b98f919fae6b47148ba8efcedd25fae","observation_id":"1900d61c-f56e-4d50-b857-77b303c43495","resolution":{"observed_at":"2026-08-03T17:06:49.589781Z","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-03T17:06:49.652714Z","title":"van Hasselt, A","venue":null,"work_id":null,"year":2094},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.652714Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:db26c958003282d515c2075be3ab807f3cbd1177a27d0d3ec0bd1efb878b22c5","observation_id":"83d85035-daf5-483f-a143-01bb90bdb0b2","resolution":{"observed_at":"2026-08-03T17:06:49.652714Z","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-03T17:06:49.779987Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.779987Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:effc0742f0cce27b91d39f391fb025fa7ae4bf396d09db273ce1020bea5e2fc9","observation_id":"61438432-45c7-4a3f-9dcc-0944430fdcd9","resolution":{"observed_at":"2026-08-03T17:06:49.779987Z","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-03T17:06:49.848438Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.848438Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:4845e6ef6235f35a1f77cf6a0d7d49f3149e007e9747430c292f87f1081cc175","observation_id":"32ef622e-828e-4491-baf1-f448d02789e9","resolution":{"observed_at":"2026-08-03T17:06:49.848438Z","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-03T17:06:49.917846Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T17:06:49.917846Z"},"links":{"citing_paper":"/paper/2512.10747"},"observation_digest":"sha256:59925d91f8e65fae109d3b45de60f5ba0907ad6604de51af57e835cdbe649818","observation_id":"e8e04d8c-a465-40bc-90fe-12bf9310c877","resolution":{"observed_at":"2026-08-03T17:06:49.917846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2512.10747","last_updated":"2026-07-26T09:23:33Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T15:58:44.949447Z","submitted_at":"2025-12-11T15:36:16Z","title":"Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"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 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2512.10747."}