{"as_of":"2026-08-06T21:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:699dfd3d006c17f2736eedd84f00df05baf951c8325c45ba596f62ac7c556550","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-09T21:10:18.557475Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2604.21556/citation-record","integrity":"/paper/2604.21556/integrity","json":"/paper/2604.21556/citation-record.json","paper":"/paper/2604.21556"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cengage Learning (1992)","venue":null,"work_id":"78d35b77-86f3-4391-a61f-aacba8de22ab","year":1992},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:b3b1df40f99567011e35edbbd928b9e670f9aecd4d8959715635b485032d4b85","observation_id":"851a1000-1692-49be-ba30-cf8bc9752804","resolution":{"observed_at":"2026-05-23T16:18:11.041736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17556","last_updated":"2025-07-10T09:08:34Z","snapshot_observed_at":"2026-07-06T18:20:52.408832Z","submitted_at":"2024-05-27T18:00:03Z","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","version":3},"cited_work":{"arxiv_id":"2405.17556","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.17556","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"CoRRabs/2405.17556(2024)","venue":null,"work_id":"8d2b2c83-5745-4ed2-9e65-267c5973ee7f","year":2024},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"cited_paper":"/paper/2405.17556","citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:95b470d8138554c52bb43f3854f18d27457d3f96b6fff3200deb51c9cf89cbff","observation_id":"c1a04d68-f32f-44f1-8865-c8ae916f4b27","resolution":{"observed_at":"2026-05-11T14:41:37.960137Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceed- ings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16","venue":null,"work_id":"c310c7bd-18cb-4fbb-b5e1-538cdab6775b","year":2019},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:de14c9c36aa88f50bd1d08edf437ec549df00def39fb10cd7bb5434765cbf4ee","observation_id":"3734997c-68d6-4a87-9a24-121785289618","resolution":{"observed_at":"2026-05-23T16:18:11.044974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"82983b6c-2d58-4f2f-9be7-32aabe124df4","year":2021},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:0dae5271177d623b6c5fb473717ad9398d7dc04808742f8b10d836391d08243e","observation_id":"79b319b8-f90a-4d3d-a917-8774eaf018c7","resolution":{"observed_at":"2026-05-23T16:18:11.056501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(eds.) Proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis","venue":null,"work_id":"63cb63d4-71f6-4063-9d9c-2115a1e019d4","year":2022},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:db4cbb6b4fcde5b4df270e7d3a8c76215967651d4c1b8052a4b07b531ca456cf","observation_id":"2dcc13fc-eebc-4638-ba53-6e9ffedca126","resolution":{"observed_at":"2026-05-23T16:18:10.994035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Springer (2001)","venue":null,"work_id":"b901377f-c366-49c0-8ffd-4d196320bb90","year":2001},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:febf5a4a9e5dea78c4114f2dd6b94699fda4fe0766c8c93d63fc0950a9d546ce","observation_id":"9b2f63e2-af0c-4c4e-b1f0-ff57a3d77269","resolution":{"observed_at":"2026-05-23T16:18:10.984490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: The 29th International Conference on Computer Aided Verification (CAV 2017)","venue":null,"work_id":"89d55dba-3ef6-4009-9cf5-2d651073990f","year":2017},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:b29a9be86bcbffe494f7fbe0a283074362b1eca5471e70857d79f46142c917af","observation_id":"5f801492-80d3-4597-98ed-092a3f5bb5f1","resolution":{"observed_at":"2026-05-23T16:18:10.990813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","venue":null,"work_id":"1642cfe4-9668-4188-b727-f539d69d1fa6","year":2016},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:01d1876ceade20e2a98ecbd517321b8f2e51bf8af966f0b5a6573436b7d8d2de","observation_id":"dfad1972-400c-4cb7-9dbb-d40406783f5e","resolution":{"observed_at":"2026-05-23T16:18:11.004119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Canada","venue":null,"work_id":"fe295cc5-27bf-48d6-9c8f-0436d8d83d49","year":2019},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:9764954afd1694ad404aa6651978f993fe996dfc5a17404d58524ca98990a1f7","observation_id":"af0cae61-92b2-4671-8c9b-47b0a6a76eec","resolution":{"observed_at":"2026-05-23T16:18:10.997586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.12227","last_updated":"2022-10-11T09:41:37Z","snapshot_observed_at":"2026-07-06T13:24:20.984230Z","submitted_at":"2022-06-24T11:53:12Z","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","version":2},"cited_work":{"arxiv_id":"2206.12227","doi":"10.48550/arxiv.2206.12227","metadata_source":"arxiv_reference","pith_arxiv_id":"2206.12227","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRRabs/2206.12227(2022)","venue":"arXiv (Cornell University)","work_id":"c915a5f3-7593-4d67-9501-10eb043b3f47","year":2022},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"cited_paper":"/paper/2206.12227","citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:d16fa9a0c679f26d6a98237248689e4326ac59af208e28e331778ffccd8541d4","observation_id":"aa94c9bb-4101-4b3d-ae16-8b4153784f5e","resolution":{"observed_at":"2026-05-11T14:41:38.105619Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"McGraw-Hill Education (1997)","venue":null,"work_id":"c923114b-2c47-4c95-9f4e-e3617424ae6d","year":1997},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:dcf84a035a77f239b551803a52b013b50d35e465a4683bacd4b9d9a681cbd43f","observation_id":"fe435693-3e6b-48a1-af11-114a9e747d17","resolution":{"observed_at":"2026-05-23T16:18:11.000735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA","venue":null,"work_id":"83d13460-2b58-4e95-ad0e-05250660be71","year":2023},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:ae6da43deaeb296ee670b38f211e529d0f6f515d308d373f2d0dd9a40d29029c","observation_id":"a8f5c131-5b21-4eb1-a0ac-4d414a6c7847","resolution":{"observed_at":"2026-05-23T16:18:10.987757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8538c060-12c1-4cb8-ae62-7540cce37be2","year":2022},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:ceadbef08b7bb93e60922b1cb4ba762e23a9d5ab057f1267205d619a2dc1bfdb","observation_id":"8ab26fb3-4a8c-442c-8dfe-d0b55b9c9654","resolution":{"observed_at":"2026-05-23T16:18:11.007133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Con- trol, HSCC 2023, USA","venue":null,"work_id":"83ca99a7-b8e8-4c68-8637-f43b703bcdca","year":2023},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:0174c820b2b3b284beb64e7554aaaace73e20da6c427966b5e3efba5ba455496","observation_id":"4eaae9c5-a744-4dca-9ba1-c7de4d02bc08","resolution":{"observed_at":"2026-05-23T16:18:11.052138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021)","venue":null,"work_id":"ec53db46-cd6c-43f8-a92c-b519292045b8","year":2021},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:25dbfa5df8085d44d43c2a217c9449b38a24b6524ca1d2547675cb2d5efeeace","observation_id":"8ce8e397-869a-4bbe-8ef0-b65fa590f702","resolution":{"observed_at":"2026-05-23T16:18:11.030983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 7th International Conference on Learning Representations, USA (2019)","venue":null,"work_id":"b276dbcd-88b0-4af9-87ed-26e8e03a356e","year":2019},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:8ffeb011e1b54efa8694d2b0ddaa290885d7f0db00bede69521f1cbe92ce8473","observation_id":"dff0ecb6-f34b-4cd7-9a36-eac367a22a4a","resolution":{"observed_at":"2026-05-23T16:18:11.035264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7c9a3dde-2e30-4470-b90b-5852c77b04cf","year":2019},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:dbfaedc095fefab201a104afcef31f6e3cbf245ad1128cd767a13ee958ebc347","observation_id":"f4485231-6604-481c-86a9-a9d2bc272cbe","resolution":{"observed_at":"2026-05-23T16:18:11.024591Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b1645df3-7398-448f-8fa2-7b633aa46a1e","year":2024},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:c6d1663e5d32a0fe2cdb16e89d12f47aea1539d554f4abed62863021ca6ad12a","observation_id":"2b7ae4ae-8811-4ddf-a996-a6bd3e1df000","resolution":{"observed_at":"2026-05-23T16:18:11.027852Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I","venue":null,"work_id":"dad12168-e848-4a16-80e7-f3b5bcbbc326","year":2024},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:4e398e5caf48ba52ed3362c8d4a3f55c6f6b3985fc1587a87c9c28c6bfd7105d","observation_id":"bbfcde8d-5259-4921-a3e1-6769ff629f9b","resolution":{"observed_at":"2026-05-23T16:18:11.038622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II","venue":null,"work_id":"2af98424-0d76-46f4-9174-16cc16fc7d4b","year":2024},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:a1702a3f27c799b4920ae221ede358496a0a436329e911c18ac618070f3ae058","observation_id":"75b132a0-9761-4eb7-9e89-151d4c6ed109","resolution":{"observed_at":"2026-05-23T16:18:11.048425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Advances in Neural Information Processing Systems 33: Annual Con- ference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual (2020)","venue":null,"work_id":"564e5ef0-700f-4ac7-9f1a-4a58258caf0e","year":2020},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:9ac109135df4194df01bd8d17cd6367c66f8e97b385f19f5098746af0a8b97d2","observation_id":"a71b32a4-9855-4432-9d27-11bca94d43ce","resolution":{"observed_at":"2026-05-23T16:18:11.021437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Formal Modeling and Analy- sis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings","venue":null,"work_id":"2ae7fad5-4616-4f44-ad7a-a7252c22a688","year":2022},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:25fc16e9c690f3c2838e44bc7bbfbe13b7587e60cd8a61ad6825b9b07fc1515c","observation_id":"6624f70f-f7ae-4e62-b869-f1363396ef20","resolution":{"observed_at":"2026-05-23T16:18:11.014467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018)","venue":null,"work_id":"9b036599-a132-4859-b2d8-4292c097fb46","year":2018},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:c7f1e7c3aa31a79bf14c913d2992a156a467abfdcc3783e7a4190e1833eeac40","observation_id":"2284ed72-7c68-4a06-900d-fe7199be78cb","resolution":{"observed_at":"2026-05-23T16:18:11.010570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Each point represents a distinct configura- tion","venue":null,"work_id":"47e5e0d7-67ec-459c-ae4b-fc6dee218554","year":null},"citing_paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-09T21:10:18.557475Z"},"links":{"citing_paper":"/paper/2604.21556"},"observation_digest":"sha256:b58944f55e88ff482dfe06c87e9fe77eba67cb2f9bcffccf3db36496890219d6","observation_id":"45af4efe-95b3-455d-8d75-20bf34e4f742","resolution":{"observed_at":"2026-05-23T16:18:11.017926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.21556","last_updated":"2026-04-23T11:31:06Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T11:31:06Z","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":2,"verified_fuzzy":18},"total_outbound_references":24},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2604.21556."}