{"as_of":"2026-08-16T19:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:755ee2d197b2f6c6aaa25567d1547fc1cbe5308b07383cb28e1c3e8b56446a60","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:43:43.146081Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:48:45.934818Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-16T12:16:17.039197Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"cited_work":{"arxiv_id":"2505.00622","doi":"10.48550/arxiv.2505.00622","metadata_source":"pith","pith_arxiv_id":"2505.00622","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","venue":"cs.RO","work_id":"747312c6-625c-465c-979b-08e28b8dec53","year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.934818Z"},"links":{"cited_paper":"/paper/2505.00622","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:79fcd5019d6b8725e226d549beadfb6b29c005caa5571ceea90948b366e9be90","observation_id":"ba4ac81f-752e-4623-9e3d-c29b177d2a59","resolution":{"observed_at":"2026-08-16T04:48:46.991499Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.00622/citation-record","integrity":"/paper/2505.00622/integrity","json":"/paper/2505.00622/citation-record.json","paper":"/paper/2505.00622"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.87904","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:44.911159Z","title":"In: 2019 IEEE International Sym- posium on Robotic and Sensors Environments (ROSE)","venue":null,"work_id":"b107862c-346b-4947-b448-64c1fa65da05","year":2019},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.805248Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:f5c880cde547793bfed0a2d9139a6bb7ca1edf41639a546e74d45c96f1f15743","observation_id":"b0fc7f27-b18e-4635-bc2c-8765849b44a6","resolution":{"observed_at":"2026-08-16T04:43:44.937368Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:46.028464Z","title":null,"venue":null,"work_id":"cb71fe78-8562-4d67-b29f-4c099056d295","year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.817320Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:f84b3564ed0e4d041d2f2747841da5cc5bb7819b702e55f926d475b77620c6c7","observation_id":"46f845ec-7738-42fc-a3b0-c1114f5d56c6","resolution":{"observed_at":"2026-08-16T04:43:46.045148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1117/12.2587105","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:43.437388Z","title":"In: Proceedings of the Thirteenth In- ternational Conference on Machine Vision","venue":null,"work_id":"f6d96120-e152-4160-9a0a-47432bb8d4ab","year":2021},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.837559Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:c52b8a81dc449d46c7182f256a466dd987f3a84fd0bc27539303375cf1e28a2e","observation_id":"7ae26b8d-6cf1-4729-9116-9bc6218f45ec","resolution":{"observed_at":"2026-08-16T04:43:43.453330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.949151Z","title":"Journal of The- oretical Biology129(3), 263–274 (1987).https://doi.org/https://doi.org/10","venue":null,"work_id":"bc099d98-153e-48e0-aac7-6d9720a26fe4","year":1987},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.853686Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:4c4b068358e57c8259094b3010e1d7131523c79b1caf937fa11a7b76386cfa4b","observation_id":"dc484241-294f-4f96-b888-f1df673ff6aa","resolution":{"observed_at":"2026-08-16T04:43:45.964966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:40:14.142943Z","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-16T04:43:41.865299Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.865299Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:0c05f0d650171b4bf7b19e5f881fa5641f8ca6fd09d0c1b79070fcb1dffd4173","observation_id":"3d8b91d3-76eb-462d-98b7-2ef5476eecaf","resolution":{"observed_at":"2026-08-16T04:43:41.865299Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.861761Z","title":"Computer Aided Verification pp","venue":null,"work_id":"763b6ffc-fd1e-4da7-8db1-94d7f91b7c33","year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.941186Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:ca7967c12b6ac1939593c16afc7c1581bfe6eaed34f5bc57e421e7aee9bfd5ed","observation_id":"4f05dbe6-cbbe-45df-95fe-0a4023070576","resolution":{"observed_at":"2026-08-16T04:43:45.880549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.810843Z","title":"Phd thesis, University of Edin- burgh (February 2023)","venue":null,"work_id":"93626881-7785-4d66-a785-2e9e14ad79e0","year":2023},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.949600Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:10d63eb877783e11e80be7c68a79d466def06463912d6a560611ce18286b0508","observation_id":"ed01abf5-be1f-4c5c-83ad-91df0b94a8c8","resolution":{"observed_at":"2026-08-16T04:43:45.829948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"cited_work":{"arxiv_id":"2501.05867","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.05867","snapshot_observed_at":"2026-08-16T04:43:44.572137Z","title":"Neural Network Verification is a Programming Language Challenge","venue":"cs.PL","work_id":"3aa8fd47-6814-4f15-bcff-0074a2e4af8e","year":2025},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.976202Z"},"links":{"cited_paper":"/paper/2501.05867","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:543944ff620180a40ee0cf0f51efc006520778cf1f59769f5ceb0e8a32a2b6a9","observation_id":"6ed5732a-f615-4d3a-9fbf-17b470150501","resolution":{"observed_at":"2026-08-16T04:43:44.581327Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:41.992334Z","title":"Nature 562, 414–418 (2018),https://doi.org/10.1038/s41586-018-0604-2","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.992334Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:4d5997478636774765e79e2fe91e44c39f61a69a8c83fe8dcf2ff08ef60e28ab","observation_id":"a75e5bc7-b162-46b4-a323-00edf8585635","resolution":{"observed_at":"2026-08-16T04:43:41.992334Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.757302Z","title":"github.io/tutorial/","venue":null,"work_id":"514651ed-37d6-4e95-b578-32c65d8b466b","year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.026381Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:663990578c81834fe8534f46f27c6dd85c7e06d8d2102a63fe0d75f70a56919d","observation_id":"0eb137cd-b7d6-4563-9bf8-3e4144979e9c","resolution":{"observed_at":"2026-08-16T04:43:45.776028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"id/1010014","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:44.460362Z","title":null,"venue":null,"work_id":"1adac177-f467-4f8d-aa2a-7f40ffa572d7","year":null},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.066011Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:f9df6ad143f5c2b3097bf4890815aa86faa51e1a06290b1c781dfb0d3c60f84b","observation_id":"340451c4-2143-4a97-9890-b829b2ae51b0","resolution":{"observed_at":"2026-08-16T04:43:44.501468Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.682290Z","title":null,"venue":null,"work_id":"2aecca7e-d86f-4d2b-9808-3b0c1aa385f5","year":2019},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.170631Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:a1385dda36cf35ebfd02f88e61764b6c499fab1ff5282e40e75a31275fe8b8d7","observation_id":"c868a6a2-9c31-471f-a69a-fbf5aca9ec89","resolution":{"observed_at":"2026-08-16T04:43:45.696482Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.584222Z","title":null,"venue":null,"work_id":"987056b9-3545-4bf2-b901-28ca5d0c1064","year":2025},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.227262Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:038a0f5a9a9648a27452cdd2047ed70c538ab78128017522c9bfbc8004d46be7","observation_id":"dbe5c134-8022-4456-a06c-5006e758f48f","resolution":{"observed_at":"2026-08-16T04:43:45.608676Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:42.237329Z","title":"Science of Computer Programming244, 103280 (Sep 2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.237329Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:e5fbc5dfe88651a3d64675cadedd85373975460ec3eab6db8679b27063ce323e","observation_id":"98af69f2-bccf-405a-b374-6f784bf7f5e6","resolution":{"observed_at":"2026-08-16T04:43:42.237329Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.528424Z","title":"workshop on applied verification for continuous and hybrid systems","venue":null,"work_id":"23079b93-5ecb-4730-a792-340d28c625c0","year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.256719Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:e9c0cbb311168eb26e872e7db9d74a522f5b4ea32e08a6e8ecbeadbd75b438b5","observation_id":"a7b04ba4-3466-4fd4-8ad1-6a1cc12aee90","resolution":{"observed_at":"2026-08-16T04:43:45.549000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.501125Z","title":"Nature603, 427–433 (2022)","venue":null,"work_id":"a6a1b29b-8c0d-469f-8dcb-d556dfc66903","year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.272616Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:4ff85b84a1a30d447ffc64340cc72b67814e4b2bedaa08f055402c8df373f689","observation_id":"944d5190-df53-46a6-bafc-0cf67fe089df","resolution":{"observed_at":"2026-08-16T04:43:45.510171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/8715436","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:44.193542Z","title":null,"venue":null,"work_id":"7944734d-1240-45c4-8626-be95ef2938e2","year":2019},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.292828Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:ba8f0e0888dd530e65fb66bea1676634352af1f06591f863882f045544c8a18c","observation_id":"ae051193-cb42-4488-ae59-44e0744dc4f3","resolution":{"observed_at":"2026-08-16T04:43:44.225003Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.453215Z","title":"Science Robotics8(82) (2023), https://www.science.org/doi/abs/10","venue":null,"work_id":"f59bd1d6-ad58-416b-814f-288eb9590ba3","year":2023},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.312405Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:f60c295fa6ab626a651df0e3ed39673835c62b59f4715b60a4d0822c6496ae31","observation_id":"9ce37883-08c2-4bcb-aa73-6c36e4e3f638","resolution":{"observed_at":"2026-08-16T04:43:45.473661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01135","last_updated":"2017-05-19T04:50:29Z","snapshot_observed_at":"2026-08-16T00:29:34.658589Z","submitted_at":"2017-02-03T19:26:01Z","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1702.01135","snapshot_observed_at":"2026-08-16T04:43:42.447685Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.447685Z"},"links":{"cited_paper":"/paper/1702.01135","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:05d90d16def4f5eee69d624245307daf70b4108a7e690dd4384b61b747391b73","observation_id":"93454bb8-5263-4580-901a-9e6412f6c7a0","resolution":{"observed_at":"2026-08-16T04:43:42.447685Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.401767Z","title":"443– 452 (2019)","venue":null,"work_id":"6aef4ae5-ce96-4c5a-b2f6-9aed45f1777d","year":2019},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.464022Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:9cbd714a26fbef2b249fab415db287048c2e53f18bbf58b7dfe8b8b8c187e979","observation_id":"15df9958-60ae-4f2f-8aa6-1a8c6c43b61a","resolution":{"observed_at":"2026-08-16T04:43:45.418103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:42.471587Z","title":"Nature (2021), https://doi.org/10.1038/s41586-021-03847-y","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.471587Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:273e811dab78b9075ca5d60fd090f43feb7cf5e0b07fca0363bbe4444066e2b8","observation_id":"d7cf2c88-6176-4f2f-8b64-5ac15d6b76b9","resolution":{"observed_at":"2026-08-16T04:43:42.471587Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.309022Z","title":"NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/","venue":null,"work_id":"d19f271e-55bf-4b90-acfa-d02d12624c59","year":2018},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.500694Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:26a58314d93099e822b7778eeb7ea7ebef7958d08ea4b0a1eba4025bf41526c1","observation_id":"34ed18bc-4f79-4ab4-92fd-d5e2ae1ea050","resolution":{"observed_at":"2026-08-16T04:43:45.337853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23903","last_updated":"2025-09-05T15:41:39Z","snapshot_observed_at":"2026-08-16T13:04:10.414038Z","submitted_at":"2024-10-31T13:05:46Z","title":"Neural Network Verification with PyRAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23903","snapshot_observed_at":"2026-08-16T04:43:42.525904Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.525904Z"},"links":{"cited_paper":"/paper/2410.23903","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:3d2e370d3239b2eed47d3c1a9a329c38df88824cc8a9b4574441586548517378","observation_id":"f3a67365-bcb1-463a-a466-a28fdade07cf","resolution":{"observed_at":"2026-08-16T04:43:42.525904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:42.541599Z","title":"Journal of Fluid Mechanics937, A6 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.541599Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:9600b0919c5ff57bccfb3e79aa2fe7c3fb2dad0193e5c81f87304581277bb91c","observation_id":"4252ae48-8b0f-4a20-9183-6d23f0e603cd","resolution":{"observed_at":"2026-08-16T04:43:42.541599Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.262321Z","title":"EPiC Series in Computing103, 64–121 (2024),https://easychair.org/ publications/paper/WsgX","venue":null,"work_id":"c75fd946-759d-4a61-b9bb-ebf2556ec525","year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.626343Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:eb744db64056ab1f2328f060b6fb75dd83f7b0265d959798ce4b0a9611321759","observation_id":"809adbca-ce31-41c5-8f2a-cee1f97f9bb3","resolution":{"observed_at":"2026-08-16T04:43:45.275396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.222464Z","title":"Bionics and Sustainable Design (2022)","venue":null,"work_id":"ea45095f-4e8d-4512-959d-88b750066346","year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.726758Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:9c83b1b2e12c1d74e2c2242de8ba06e5940a89e113aa4b03b3af5f9d5a5d157b","observation_id":"e5598bae-7bd9-4bf6-8534-13560dbdd2b0","resolution":{"observed_at":"2026-08-16T04:43:45.233940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.154367Z","title":"com/eth-sri/eran","venue":null,"work_id":"486f6d94-652d-4a07-a492-0f373ca8d31b","year":2025},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.805090Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:d3f6ac722d39be35c51c373fa99e9025fcbbb40d50c5640864bf0116026d2c60","observation_id":"46370f56-3d10-4f32-9487-3452db977568","resolution":{"observed_at":"2026-08-16T04:43:45.166689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:45.103413Z","title":"IEEE Sensors Letters7(5), 1–4 (2023)","venue":null,"work_id":"ccb69715-f0a2-4736-831e-b4a9c0de8213","year":2023},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.848552Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:e9447653c0c16496d6a82eaf467ab61b3ac9ef44bf039c2625dc6465f99b3986","observation_id":"58bb5b68-866b-4a4a-9636-cdf3cfff366c","resolution":{"observed_at":"2026-08-16T04:43:45.123832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:42.857985Z","title":"Springer, Cham (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.857985Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:813b2d582f796b80c79d294f7638f89e3966675a2607e9b9fe799a02cd172be6","observation_id":"879123e1-7954-4f54-88b8-dee90250bbdc","resolution":{"observed_at":"2026-08-16T04:43:42.857985Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:42.867931Z","title":"IEEE Access 10, 91073–91091 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.867931Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:8c0141b7b07bbcb8e28a6b9d730b0a669b608a31666fb4ef98fb63088f0f9e9b","observation_id":"e1143321-fec4-4da9-88bd-ddacc2a183cc","resolution":{"observed_at":"2026-08-16T04:43:42.867931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:42.879956Z","title":"IEEE Access12, 103026–103048 (2024).https://doi","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.879956Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:648bfffbed97248c93a73e836afe8855083b15be538d431134e48a44fdd5103e","observation_id":"4ca78ac1-cb6e-4469-bbce-46dda2d72f9c","resolution":{"observed_at":"2026-08-16T04:43:42.879956Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.065181Z","title":"Sensors22 (2022) Neural Network Verification for Gliding Drone Control: A Case Study 21","venue":null,"work_id":"bf6d6490-8d79-4d55-a580-5031d4fa536a","year":2022},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:42.942485Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:89513689b25f715e9929ef3c25fdb5d85db81ea617c55fdb0a9370dc20476e72","observation_id":"222afd6f-23a4-4863-8ff3-455d6c73bce9","resolution":{"observed_at":"2026-08-16T04:43:45.073356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/aerospace8010018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:43.276774Z","title":"Aerospace 8, 18 (2021)","venue":null,"work_id":"12d0ee50-dc44-44f1-b3a5-e3b46b57828b","year":2021},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:43.039188Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:fee360ec77a68cd87bc28ca9f77f410e939bac39d22fd08df1348ec02da5e885","observation_id":"15fd41e0-e7a9-49e8-a266-c224470d8993","resolution":{"observed_at":"2026-08-16T04:43:43.324026Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:43.115496Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems43(3), 994–1007 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:43.115496Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:4b67bfd6f1814066f24e113d24869e9079957496ac82fcb1338b7be19d1deacd","observation_id":"6c8b3a08-717b-4407-a110-cc3f015b5eac","resolution":{"observed_at":"2026-08-16T04:43:43.115496Z","resolver_source":null,"status":"malformed_identifier"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:45.017142Z","title":"Frontiers in Robotics and AI (2023)","venue":null,"work_id":"feb81f8d-caf7-4a99-abad-5194de7b7103","year":2023},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:43.128505Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:72f4343889219162a5550829bf6d7df9703f832271fa090a41e8400e0be11181","observation_id":"586ce186-b701-49c4-b9b1-ce91b091e9e2","resolution":{"observed_at":"2026-08-16T04:43:45.029765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T04:43:44.977448Z","title":null,"venue":null,"work_id":"5a3c81da-6b1a-4567-a14c-248175af8fdc","year":2023},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:43.134699Z"},"links":{"citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:5a9888053ed49b3149adab59aeccb4f083525b4ce9ce5d844e237d949b1d212a","observation_id":"cd5794d0-21fb-4d4e-8e37-d7c8468e2bf0","resolution":{"observed_at":"2026-08-16T04:43:44.986980Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-14T18:05:10.215431Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-16T04:43:43.146081Z","title":"Advances in Neural Information Processing Systems31, 4939–4948 (2018), https://arxiv.org/pdf/ 1811.00866.pdf 10 Appendix 10.1 Equations 22 C","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:43.146081Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:39130d2bf78150e54f71f67c955c9fb311323aa88cb7755895cab8719df6b6c6","observation_id":"97c61f9f-a92b-48e5-a31c-1ad474c3a6ae","resolution":{"observed_at":"2026-08-16T04:43:43.146081Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":5,"verified_fuzzy":15},"total_outbound_references":37},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2505.00622."}