{"as_of":"2026-08-09T17:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9b6b8a163cd6fa9418ba24d4585ce62641d839b15792ef568c657b1c574ac23c","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T17:20:04.247977Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"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/2606.09377/citation-record","integrity":"/paper/2606.09377/integrity","json":"/paper/2606.09377/citation-record.json","paper":"/paper/2606.09377"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"URL https://www.semanticscholar.org/paper/Reluplex% 3A-An-Efficient-SMT-Solver-for-Verifying-Katz-Barrett/ b0dc598adda48acab590f95a5985fcc7abf2aca9","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:5b89c8e296f7adf75e890a6a48ccf70c41e21a7bd30198e788f59c46769aef65","observation_id":"ca44ac7c-4491-4a0e-b871-b2a94026fc93","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.07356","last_updated":"2019-02-18T04:39:10Z","snapshot_observed_at":"2026-08-09T06:19:49.354501Z","submitted_at":"2017-11-20T15:05:33Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","version":3},"cited_work":{"arxiv_id":"1711.07356","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.07356","snapshot_observed_at":"2026-07-03T00:17:29.235187Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","venue":"cs.LG","work_id":"6675e600-5a2b-4411-b255-3136020fc288","year":2017},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/1711.07356","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:d0bf0742198008dec21764ac43f126c9e7c1a7a309c87011c4160cfe0ed4bfd2","observation_id":"88784cdc-8239-4a55-a5e9-75b22a3a9800","resolution":{"observed_at":"2026-07-03T00:17:29.236634Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.08567","last_updated":"2022-12-15T14:15:29Z","snapshot_observed_at":"2026-07-06T14:31:46.346753Z","submitted_at":"2022-12-15T14:15:29Z","title":"Optimized Symbolic Interval Propagation for Neural Network Verification","version":1},"cited_work":{"arxiv_id":"2212.08567","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2212.08567","snapshot_observed_at":"2026-07-03T00:17:29.237753Z","title":"URL https: //arxiv.org/abs/2212.08567","venue":null,"work_id":"cb2fa853-218d-4f72-87ec-ed34e4b61925","year":2022},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2212.08567","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:8d25da2b0e524189b0e52e73fb232d3f777a2f516d45e21f7023712ff8215d92","observation_id":"0d0e58ec-03dd-4d72-ba68-282040521df2","resolution":{"observed_at":"2026-07-03T00:17:29.239093Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10376","last_updated":"2023-02-16T08:06:35Z","snapshot_observed_at":"2026-07-06T14:33:03.656499Z","submitted_at":"2022-12-20T15:58:01Z","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","version":2},"cited_work":{"arxiv_id":"2212.10376","doi":"10.48550/arxiv.2212.10376","metadata_source":"arxiv_reference","pith_arxiv_id":"2212.10376","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The third international verification of neural networks competition (VNN-COMP 2022): Summary and results,","venue":"arXiv (Cornell University)","work_id":"7a1f7137-b574-4529-9b79-0cadee95e517","year":2022},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2212.10376","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:c0b2b573f97ca938806fb67d21bdca0139992bd53aa27d4658c6973908bda5fb","observation_id":"ea37b0f6-4de1-4afe-b65e-fd1a8cf8662d","resolution":{"observed_at":"2026-07-03T00:17:29.233922Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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":"2312.16760","doi":"10.48550/arxiv.2312.16760","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"year =","venue":"arXiv (Cornell University)","work_id":"631ab358-b095-4779-ace4-38fbe79c36e0","year":2023},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:da0a64dcba1c879559298833e3515ae87922bab30e435b4fc559bdb4daf48a96","observation_id":"3540f83e-8265-4997-a307-e614314a56a1","resolution":{"observed_at":"2026-07-03T00:17:29.247487Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14461","last_updated":"2024-05-20T05:52:05Z","snapshot_observed_at":"2026-07-06T17:20:37.280501Z","submitted_at":"2024-01-25T19:00:25Z","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","version":2},"cited_work":{"arxiv_id":"2401.14461","doi":"10.48550/arxiv.2401.14461","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.14461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://arxiv.org/abs/2401.14461","venue":"arXiv (Cornell University)","work_id":"fc6ffc0b-5dc0-4f9e-bd86-967504fcd7a7","year":2024},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2401.14461","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:e18a4e852ab9496bbc0821d26055e34836b2cdaa42c9fcc720fce32b3b48e896","observation_id":"26247f13-dd23-4c00-8ce0-6e6cad928120","resolution":{"observed_at":"2026-07-03T00:17:29.228876Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-08-08T19:28:41.213160Z","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:b466b8a3fa6ff69d91b8e6f64c746e2ea8f1388e04fd7b61839c789002f2e57a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"nnenum: Verification of ReLU neural networks with optimized abstrac- tion refinement, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:e7dd6edcd9d3cf07a7510ef871a7c4c74a1b0b36522d83d9cedbdb0385fb1693","observation_id":"7e02039f-4ee9-458c-a3d4-bf49f9684e11","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Training neural networks is ∃R-complete","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:bf6f587987e94f8be6f24d53b826fdaba8021106a832e01e802243fb5e7ab211","observation_id":"9a87a171-2bed-42b5-be50-e8046ffecf2f","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"VNN-LIB: The verification of neural networks library, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:4fa03a0971e249759c5785296f51359a25ba6cbad41a33c49428abf18e68a40a","observation_id":"bc04ad7a-afa6-4599-8661-26b6b612301c","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Supporting standardization of neural networks verification with vnn-lib and coconet","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:78e177bcf3c66aa8832e665455a7b82eeae71f9df5b84a3ca7ce76d57e2ad2df","observation_id":"94e44ed7-3c43-4a0f-8f40-16255aa37f5b","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"NeuralSAT: A DPLL(T)-based framework for verifying deep neural networks, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:afc25a2b55e6a1db46b60f8f386bce32208eb5bb52fc4219395314801742b96e","observation_id":"82dab82f-2d06-4aad-bb65-b152c7a50bf7","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Enhancing neural networks through formal verification","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:76d95d0c29419a89e437fc11bc295c8b3eee52223244833e754e327e02f9f9a3","observation_id":"ab84d461-0fe2-49e6-a229-047c077fe503","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Le, Yonghui Wu, and Zhifeng Chen","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:65d2537f9dd2c210f3be0628b9f96705d5f0ba9df0c2c8d1a21c13dd8b06c20f","observation_id":"1b5054ae-b3f9-46bb-8cdb-72f6cb79381f","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.03339","last_updated":"2024-02-13T05:09:49Z","snapshot_observed_at":"2026-08-08T23:39:21.222120Z","submitted_at":"2020-02-09T10:24:29Z","title":"Input Validation for Neural Networks via Runtime Local Robustness Verification","version":2},"cited_work":{"arxiv_id":"2002.03339","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2002.03339","snapshot_observed_at":"2026-07-03T00:17:29.229010Z","title":"Input validation for neural networks via runtime local robustness verification.CoRR, abs/2002.03339, 2020","venue":null,"work_id":"1fa6bfc7-256c-4c7c-8d22-2f7e16639518","year":2002},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2002.03339","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:650046c0704e4ffda2e56f29e2713214c71db5ca4ea7019f58dbe58fde893a92","observation_id":"3bac70cd-3bb6-4018-8b8a-4bea4b08ff0a","resolution":{"observed_at":"2026-07-03T00:17:29.230630Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.05235","last_updated":"2025-05-08T13:29:46Z","snapshot_observed_at":"2026-08-07T15:48:48.072985Z","submitted_at":"2025-05-08T13:29:46Z","title":"Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation","version":1},"cited_work":{"arxiv_id":"2505.05235","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.05235","snapshot_observed_at":"2026-07-03T00:17:29.216079Z","title":"Advancing neural network verifica- tion through hierarchical safety abstract interpretation, 2025","venue":null,"work_id":"4fd46bc3-3994-4dfa-a9bf-40af79c7f216","year":2025},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2505.05235","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:e4a2f402aede81aaa54fb22ab9708730f3c8f5aaaa60a2db8aa4bb098567bc88","observation_id":"135482d7-66aa-413f-b007-5760beae3e81","resolution":{"observed_at":"2026-07-03T00:17:29.217809Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"publication/3486241","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T00:17:29.243246Z","title":"Interval reachability analysis: Bounding trajectories of uncertain systems with boxes for control and verification, 2021","venue":null,"work_id":"2b461531-1c25-4612-8022-19c447005bff","year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:de5a208c4eecada58d63b90a218dc0511c247650253b9c692cfc5bb302b2f369","observation_id":"b5c8236f-79d5-4275-8a37-9f95630ebd02","resolution":{"observed_at":"2026-07-03T00:17:29.244715Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"Moore, R","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:d65e0344abf4c48180af7f251b0aab547fd6901c5fd497d315ed55e02677ec87","observation_id":"162d2421-43e2-406b-85a5-b8585b44dd77","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Scaling polyhedral neural network verification on GPUs, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:e15f050bd4760c2688f0ec348d1da49832c9307f984fc1c60e67a4d331ccee7c","observation_id":"f9a3831e-3076-4fbc-a734-15d056276f3c","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.02054","last_updated":"2020-05-13T06:45:15Z","snapshot_observed_at":"2026-07-06T08:27:00.558613Z","submitted_at":"2019-10-04T17:29:39Z","title":"ZeRO: Memory Optimizations Toward Training Trillion Parameter Models","version":3},"cited_work":{"arxiv_id":"1910.02054","doi":"10.48550/arxiv.1910.02054","metadata_source":"pith","pith_arxiv_id":"1910.02054","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ZeRO: Memory Optimizations Toward Training Trillion Parameter Models","venue":"cs.LG","work_id":"c5e9ad7b-c11d-43b7-b02d-c46d74a77fa9","year":2019},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/1910.02054","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:a20f06eeb702118c94a575af88119c4f99bc904b6e5266c0280dd89bba5b325f","observation_id":"e1156911-3783-43f1-a0e7-e3f31d17b286","resolution":{"observed_at":"2026-07-03T00:17:29.241864Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:34.137438+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:34.137438+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"˜Zico Kolter, Suman Jana, Cho-Jui Hsieh, and Huan Zhang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:e57f514237f61572b3a01d16d5a64d1b34d3b793917a1161a70eb44dcccffc26","observation_id":"0d9ac18c-c686-4c4b-a117-b4f16ad5acb2","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.08053","last_updated":"2020-03-13T23:45:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2019-09-17T19:42:54Z","title":"Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism","version":4},"cited_work":{"arxiv_id":"1909.08053","doi":"10.48550/arxiv.1909.08053","metadata_source":"pith","pith_arxiv_id":"1909.08053","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism","venue":"cs.CL","work_id":"c888e6d1-0b1d-43d6-9ef5-f0912a0efa1b","year":2019},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/1909.08053","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:688492a1f15ff66d864aa8c1a0c6c59a01bbfeb893b6cf8d47d5f685d586cb98","observation_id":"ae9bab58-4bf5-4273-9541-c6e69842b04e","resolution":{"observed_at":"2026-07-03T00:17:29.250251Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:33.392193+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:33.392193+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"An abstract domain for certifying neural networks, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:895efcacd9fe40da937efe55de43e60ac707a99c78d5b1f8ced568d0c81d302c","observation_id":"105ad66a-35fa-430f-a008-b1eee79f8bf6","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","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-06-27T17:20:04.247977Z","title":"Zico Kolter","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:9f52e804e2d799eb7c7148e74b5d9771357c35605ff09383b2d75eb2ea7a6b40","observation_id":"d661f2f1-299f-4756-80d2-f4ba04ab9c12","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06624","last_updated":"2021-10-31T22:51:18Z","snapshot_observed_at":"2026-08-08T14:50:29.644660Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":"2103.06624","doi":"10.48550/arxiv.2103.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Zico , year =","venue":"arXiv (Cornell University)","work_id":"80f16d7a-cd00-4dd5-9fb7-974c1319e3fa","year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/2103.06624","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:34580f3295d67ea8f52c3ceab372e886bfeac0c0073e0545244c7ae9cf42e669","observation_id":"bdd464b2-7033-4986-8ed9-77a57806aaf4","resolution":{"observed_at":"2026-07-03T00:17:29.226247Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:42390527b15e7f675850c496bd6a4669f850b9f7de7e2304452adbc2aa4c3696","observation_id":"ad8f0366-e1e2-4a1c-9b7f-4fdeb5e48937","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-02T00:12:30.336654Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":"1811.00866","doi":"10.48550/arxiv.1811.00866","metadata_source":"pith","pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","venue":"cs.LG","work_id":"bc24cb0c-915a-4373-a8fb-2ca1bc809038","year":2018},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:6c866c3cc0a83ba696bfa72eeabb1d97d3d95a9b2bb8c14a3f83392303b7058f","observation_id":"6a6dfad0-1806-4422-8aed-341518923642","resolution":{"observed_at":"2026-07-03T00:17:29.220417Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T17:20:04.247977Z","title":"˜Zico Kolter","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-27T17:20:04.247977Z"},"links":{"citing_paper":"/paper/2606.09377"},"observation_digest":"sha256:ce7cc1c9a55ef3b50a4a151059918c9edfc165fd14aef8fcc5408fab57667891","observation_id":"c2de0b72-bb49-4da4-a71e-22d2e260ce56","resolution":{"observed_at":"2026-06-27T17:20:04.247977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.09377","last_updated":"2026-06-09T11:54:13Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T19:28:41.213160Z","submitted_at":"2026-06-08T11:56:29Z","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":15,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":28},"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 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2606.09377."}