{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ASSDIXYW53X6B2MXADCW4R4PWT","short_pith_number":"pith:ASSDIXYW","canonical_record":{"source":{"id":"2505.00622","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-01T16:03:38Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"4dd3f2887d2323d34b2107d1216e65387866cc6b2af5128148648fcd5deb0980","abstract_canon_sha256":"2c2afeaaa27dd3bb2919d96d47a7402bdc8fe38e9d029a60e0a6d77c76fe4dde"},"schema_version":"1.0"},"canonical_sha256":"04a4345f16eeefe0e99700c56e478fb4d41e0175b158acfa59161b545b669ecb","source":{"kind":"arxiv","id":"2505.00622","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.00622","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"2505.00622v1","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.00622","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"ASSDIXYW53X6","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_16","alias_value":"ASSDIXYW53X6B2MX","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_8","alias_value":"ASSDIXYW","created_at":"2026-07-05T10:57:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ASSDIXYW53X6B2MXADCW4R4PWT","target":"record","payload":{"canonical_record":{"source":{"id":"2505.00622","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-01T16:03:38Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"4dd3f2887d2323d34b2107d1216e65387866cc6b2af5128148648fcd5deb0980","abstract_canon_sha256":"2c2afeaaa27dd3bb2919d96d47a7402bdc8fe38e9d029a60e0a6d77c76fe4dde"},"schema_version":"1.0"},"canonical_sha256":"04a4345f16eeefe0e99700c56e478fb4d41e0175b158acfa59161b545b669ecb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:57:23.176866Z","signature_b64":"YrE2HKXg8F9aXTL9hRgQVOKmfWk1aOkeAkLtZtXERuXuoYfJAzhPcY3lRAnbIm3m9Id4abHLs1JNUqKTHlBwCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04a4345f16eeefe0e99700c56e478fb4d41e0175b158acfa59161b545b669ecb","last_reissued_at":"2026-07-05T10:57:23.176367Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:57:23.176367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.00622","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Mz108egBb3g5jgZmheL49GIx7BU+t0coR4PrVdCe11YpzcDoSJs8ly3cBE7tDI9mHkj7/FomKzx45A8f2eqCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T17:53:26.429829Z"},"content_sha256":"ddb95c992d4f638e5e6199520993c1fbf5296d0c87c193e4db3c4078616d42ea","schema_version":"1.0","event_id":"sha256:ddb95c992d4f638e5e6199520993c1fbf5296d0c87c193e4db3c4078616d42ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ASSDIXYW53X6B2MXADCW4R4PWT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Network Verification for Gliding Drone Control: A Case Study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Albaraa Ammar Othman, Alistair Malhotra, Colin Kessler, Ekaterina Komendantskaya, Ignazio Maria Viola, Marco Casadio, Robbie McPherson, Thomas Flinkow","submitted_at":"2025-05-01T16:03:38Z","abstract_excerpt":"As machine learning is increasingly deployed in autonomous systems, verification of neural network controllers is becoming an active research domain. Existing tools and annual verification competitions suggest that soon this technology will become effective for real-world applications. Our application comes from the emerging field of microflyers that are passively transported by the wind, which may have various uses in weather or pollution monitoring. Specifically, we investigate centimetre-scale bio-inspired gliding drones that resemble Alsomitra macrocarpa diaspores. In this paper, we propos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.00622","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.00622/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9s5bRA3sRaXpaguX4xhihU+2/WHuiejJtf3H2QqbB7IvkqhLMpE3yjHLtJrgpytryA2pMtcjlQp0RNP0JZS9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T17:53:26.430410Z"},"content_sha256":"046ca7dff0ccbd0d340798b364907c46cd9a9b27d8a92c9b40a522fd57e22297","schema_version":"1.0","event_id":"sha256:046ca7dff0ccbd0d340798b364907c46cd9a9b27d8a92c9b40a522fd57e22297"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ASSDIXYW53X6B2MXADCW4R4PWT/bundle.json","state_url":"https://pith.science/pith/ASSDIXYW53X6B2MXADCW4R4PWT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ASSDIXYW53X6B2MXADCW4R4PWT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-16T17:53:26Z","links":{"resolver":"https://pith.science/pith/ASSDIXYW53X6B2MXADCW4R4PWT","bundle":"https://pith.science/pith/ASSDIXYW53X6B2MXADCW4R4PWT/bundle.json","state":"https://pith.science/pith/ASSDIXYW53X6B2MXADCW4R4PWT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ASSDIXYW53X6B2MXADCW4R4PWT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ASSDIXYW53X6B2MXADCW4R4PWT","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2c2afeaaa27dd3bb2919d96d47a7402bdc8fe38e9d029a60e0a6d77c76fe4dde","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-01T16:03:38Z","title_canon_sha256":"4dd3f2887d2323d34b2107d1216e65387866cc6b2af5128148648fcd5deb0980"},"schema_version":"1.0","source":{"id":"2505.00622","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.00622","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"2505.00622v1","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.00622","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"ASSDIXYW53X6","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_16","alias_value":"ASSDIXYW53X6B2MX","created_at":"2026-07-05T10:57:23Z"},{"alias_kind":"pith_short_8","alias_value":"ASSDIXYW","created_at":"2026-07-05T10:57:23Z"}],"graph_snapshots":[{"event_id":"sha256:046ca7dff0ccbd0d340798b364907c46cd9a9b27d8a92c9b40a522fd57e22297","target":"graph","created_at":"2026-07-05T10:57:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.00622/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As machine learning is increasingly deployed in autonomous systems, verification of neural network controllers is becoming an active research domain. Existing tools and annual verification competitions suggest that soon this technology will become effective for real-world applications. Our application comes from the emerging field of microflyers that are passively transported by the wind, which may have various uses in weather or pollution monitoring. Specifically, we investigate centimetre-scale bio-inspired gliding drones that resemble Alsomitra macrocarpa diaspores. In this paper, we propos","authors_text":"Albaraa Ammar Othman, Alistair Malhotra, Colin Kessler, Ekaterina Komendantskaya, Ignazio Maria Viola, Marco Casadio, Robbie McPherson, Thomas Flinkow","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.00622","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ddb95c992d4f638e5e6199520993c1fbf5296d0c87c193e4db3c4078616d42ea","target":"record","created_at":"2026-07-05T10:57:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2c2afeaaa27dd3bb2919d96d47a7402bdc8fe38e9d029a60e0a6d77c76fe4dde","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-01T16:03:38Z","title_canon_sha256":"4dd3f2887d2323d34b2107d1216e65387866cc6b2af5128148648fcd5deb0980"},"schema_version":"1.0","source":{"id":"2505.00622","kind":"arxiv","version":1}},"canonical_sha256":"04a4345f16eeefe0e99700c56e478fb4d41e0175b158acfa59161b545b669ecb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04a4345f16eeefe0e99700c56e478fb4d41e0175b158acfa59161b545b669ecb","first_computed_at":"2026-07-05T10:57:23.176367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:57:23.176367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YrE2HKXg8F9aXTL9hRgQVOKmfWk1aOkeAkLtZtXERuXuoYfJAzhPcY3lRAnbIm3m9Id4abHLs1JNUqKTHlBwCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:57:23.176866Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.00622","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddb95c992d4f638e5e6199520993c1fbf5296d0c87c193e4db3c4078616d42ea","sha256:046ca7dff0ccbd0d340798b364907c46cd9a9b27d8a92c9b40a522fd57e22297"],"state_sha256":"8be60ae33c58830f4070426f970ef658707bd7fcea963d7ca87617dfb84f0c89"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NOJfeafSOLoM51gdEaY6M6a28MAfua8Fa4xck2S9cCGFIQ7Nl/spqv1CL+De1HaKGfw8E4WVXrPTEDMMevnIDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T17:53:26.435668Z","bundle_sha256":"dae7018767f8e786d40728a91d2543016df184d21c290681cb5f131f297c3e40"}}