{"as_of":"2026-08-08T13:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:32757241746ac83afd65f1a027553e9bdf824d763438f71c804929b45eb15555","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":20,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T06:07:52.141476Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-10T06:15:00.866473Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"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-07T06:07:52.141476Z","title":"T., and Wu, H","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06665","last_updated":"2025-06-07T05:06:07Z","snapshot_observed_at":"2026-08-07T05:50:03.894547Z","submitted_at":"2025-06-07T05:06:07Z","title":"SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T06:07:52.141476Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2506.06665"},"observation_digest":"sha256:4a7895f6f37160efef809ee4e6a47f47c094c8f7b30827d83b0b1bdabc0cbe70","observation_id":"245119e4-4b6e-47cc-b4a7-4c84799b2f55","resolution":{"observed_at":"2026-08-07T06:07:52.141476Z","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-07T04:37:59.970837Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.arXiv Preprint arXiv:2412.19985, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-07T07:26:19.457541Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.970837Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:a9d55f720410053431b10b51b63ba0e7cf53b6a9f69886f61baa6ec551da2d93","observation_id":"a7caee1c-ab5a-4df4-89da-b7922f5f0070","resolution":{"observed_at":"2026-08-07T04:37:59.970837Z","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-06T22:55:08.135713Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-06T22:50:08.911371Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.135713Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:340591c5214841ec63f28a076ee3a6f9854e759ed0de6c6c05d0e835cc433df4","observation_id":"cfd3aa81-6861-4e73-924b-e3fbb248d9ab","resolution":{"observed_at":"2026-08-06T22:55:08.135713Z","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-06T11:37:01.925404Z","title":"The fifth international veri- fication of neural networks competition (VNN-COMP 2024): Summary and results,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-06T11:37:00.424509Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.925404Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:49bfb64ebea2890b9c978bce5682e9ebe4e18a64d4ed8c008a81f64b5ab5032c","observation_id":"6fccdc5f-0fb5-4861-a579-6f19c07f34f8","resolution":{"observed_at":"2026-08-06T11:37:01.925404Z","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-03T21:50:15.576772Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.576772Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:a5120ba1210fd078fd6e1dd59b35852cdad735841e808d11f9728c7edb975413","observation_id":"37f73ada-51c7-4417-bada-cf13ceb45a0e","resolution":{"observed_at":"2026-08-03T21:50:15.576772Z","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-07T16:41:18.810303Z","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:5a416662a9f1681a209f6a80916666ec18ac27259373dd12d0432a6c032e35dc","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":{"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2602.16473","last_updated":"2026-05-15T20:25:54Z","snapshot_observed_at":"2026-07-06T22:46:17.123722Z","submitted_at":"2026-02-18T14:04:02Z","title":"Synthesis and Verification of Transformer Programs (Technical Report)","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-21T12:58:04.059645Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2602.16473"},"observation_digest":"sha256:4380a55622d5349ff7fbd5d56f66f6cab340f9009916b9f2ef6cbc45a9f4bd2a","observation_id":"ed3e6dfe-c932-42ee-b003-a3db41677e95","resolution":{"observed_at":"2026-05-21T13:00:09.992608Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-02T19:17:08.476351Z","title":"arXiv preprint arXiv:2412.19985 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.03043","last_updated":"2026-07-20T13:07:52Z","snapshot_observed_at":"2026-08-06T03:32:29.981336Z","submitted_at":"2026-03-03T14:36:46Z","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T19:17:08.476351Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2603.03043"},"observation_digest":"sha256:2eb4d53267b6c89f90067b86b006dcb9d76c433c357174666b310c7c0b98be33","observation_id":"dc87308d-4288-4ed2-980a-257d92456704","resolution":{"observed_at":"2026-08-02T19:17:08.476351Z","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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2603.23878","last_updated":"2026-08-04T18:16:49Z","snapshot_observed_at":"2026-08-08T13:09:20.846318Z","submitted_at":"2026-03-25T03:09:25Z","title":"The Luna Bound Propagator for Formal Analysis of Neural Networks","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-15T00:58:10.024343Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2603.23878"},"observation_digest":"sha256:74df6060b0768b39bd7fbed6147a3c3a9ab7107b736d71811756eb0fd4f2f89d","observation_id":"a8d02b89-a16c-4826-810f-529051e0c881","resolution":{"observed_at":"2026-05-15T00:58:25.506277Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2604.24379","last_updated":"2026-04-27T12:10:06Z","snapshot_observed_at":"2026-07-06T23:10:24.992210Z","submitted_at":"2026-04-27T12:10:06Z","title":"Certified geometric robustness -- Super-DeepG","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-08T03:28:10.229659Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2604.24379"},"observation_digest":"sha256:d469b9f8cfee0cfcef8a1ce5719fe388dc0df77f186486d2e799af178fd52942","observation_id":"dc391c81-0634-4ea8-a345-7b3b787e07d4","resolution":{"observed_at":"2026-05-11T22:06:14.808357Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:5b2bb4bf97fd2b93a0a673e7abc9c60b2eaa9e068d0079a9541d17815e601cab","observation_id":"f1176308-0f33-4972-af1b-aa62a9032d0b","resolution":{"observed_at":"2026-05-14T17:32:30.291883Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:9321ef453f32622a53f81b1c61317aac802be131b7f82cd3a9cca4c7d8c41650","observation_id":"eb39b6d7-53dc-4156-9119-644831743f28","resolution":{"observed_at":"2026-05-15T05:45:05.266149Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2605.14972","last_updated":"2026-05-14T15:36:44Z","snapshot_observed_at":"2026-07-06T23:26:18.733776Z","submitted_at":"2026-05-14T15:36:44Z","title":"Viverra: Text-to-Code with Guarantees","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-05-15T03:15:11.893095Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2605.14972"},"observation_digest":"sha256:af7648988de58667f89c10d70c97577f495e939f6358526b4c4bade56468711b","observation_id":"1d1b9ad9-1d67-4571-8d24-74a077b21cf1","resolution":{"observed_at":"2026-05-15T03:19:44.260279Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2605.25346","last_updated":"2026-05-25T02:04:06Z","snapshot_observed_at":"2026-07-06T23:35:21.734804Z","submitted_at":"2026-05-25T02:04:06Z","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-29T22:10:50.600849Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2605.25346"},"observation_digest":"sha256:80a825a08d6aa4ca230c08feeb2792ef2e39338fd081f3a0f56b0c33922223b9","observation_id":"557e1721-f3dc-48ba-8142-2c13459bbfea","resolution":{"observed_at":"2026-06-29T22:13:59.864902Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2605.29537","last_updated":"2026-05-28T07:52:29Z","snapshot_observed_at":"2026-07-06T23:38:56.014434Z","submitted_at":"2026-05-28T07:52:29Z","title":"The Complexity of Verifying Feedforward Neural Networks in Quantised Settings","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T00:09:07.981665Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2605.29537"},"observation_digest":"sha256:6853faf0bf1e5cc6723ce3d5b4866d84ec4ed5c9c12b9216ba815eb956c26b1b","observation_id":"33d1aa0e-471d-42f0-906d-bc0f4b58978e","resolution":{"observed_at":"2026-06-29T00:12:49.986785Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-07-06T23:48:44.159537Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:06ccabb50d5ca3511a597ab1dae8f6ce88a230ffe483fd927414adf16d654bb5","observation_id":"1cb5f54e-491a-4107-8f3a-2695de25e30c","resolution":{"observed_at":"2026-07-03T00:17:29.231293Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2606.19532","last_updated":"2026-06-17T19:26:01Z","snapshot_observed_at":"2026-07-06T23:54:51.451358Z","submitted_at":"2026-06-17T19:26:01Z","title":"Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T18:39:21.979619Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2606.19532"},"observation_digest":"sha256:486d8d084346bc9d4a7082fd668bfbd4c341c4ae48d3a2f319d2d7914a0f3ba3","observation_id":"09ce9bbc-636d-47a0-a67c-f7fc1c0df3fc","resolution":{"observed_at":"2026-07-04T02:59:25.895098Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2606.20292","last_updated":"2026-06-18T14:32:05Z","snapshot_observed_at":"2026-07-06T23:55:29.991442Z","submitted_at":"2026-06-18T14:32:05Z","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-26T17:53:19.172873Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2606.20292"},"observation_digest":"sha256:7bba7a845b79ffa093556d8e3e80becaf9676b0b727ea14e8f90b6b1ad3fdb52","observation_id":"d7a0d94a-7ed6-409f-8fb2-bb9f5e0ce5fb","resolution":{"observed_at":"2026-07-04T03:39:29.748325Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":"2412.19985","doi":"10.48550/arxiv.2412.19985","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"f8173bef-04ee-4ce2-8403-d337e42ae2a1","year":2024},"citing_paper":{"arxiv_id":"2606.25239","last_updated":"2026-06-23T23:56:21Z","snapshot_observed_at":"2026-07-06T23:59:42.289674Z","submitted_at":"2026-06-23T23:56:21Z","title":"Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-25T22:32:53.911412Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2606.25239"},"observation_digest":"sha256:1d49a10d694ec1aba335be12217204b4ab56fd198d8ff902de564b9937c1d475","observation_id":"275828b3-e35c-4283-9efe-6e28a943e025","resolution":{"observed_at":"2026-06-25T22:38:32.930776Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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"}}],"links":{"evidence":"/evidence","html":"/paper/2412.19985/citation-record","integrity":"/paper/2412.19985/integrity","json":"/paper/2412.19985/citation-record.json","paper":"/paper/2412.19985"},"outbound":[],"paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","latest_version":1,"primary_category":"cs.LG","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"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 20 inbound Pith citation observations for arXiv:2412.19985."}