{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:KWRHWXXJXNQPV2TLGQGUXUKI6L","short_pith_number":"pith:KWRHWXXJ","canonical_record":{"source":{"id":"2402.00035","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-01-08T12:19:46Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"f38bdf6e000a98ea996d43fae613a22ba0066a0e833fc4236f0f17f8afb56aa2","abstract_canon_sha256":"84d866beee849ec10ee2f80f5d4d171714115d4815f04268861ce723df497c16"},"schema_version":"1.0"},"canonical_sha256":"55a27b5ee9bb60faea6b340d4bd148f2c19c1978250b8ec74a5920618fe3a28d","source":{"kind":"arxiv","id":"2402.00035","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00035","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00035v4","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00035","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"KWRHWXXJXNQP","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_16","alias_value":"KWRHWXXJXNQPV2TL","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_8","alias_value":"KWRHWXXJ","created_at":"2026-07-05T08:52:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:KWRHWXXJXNQPV2TLGQGUXUKI6L","target":"record","payload":{"canonical_record":{"source":{"id":"2402.00035","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-01-08T12:19:46Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"f38bdf6e000a98ea996d43fae613a22ba0066a0e833fc4236f0f17f8afb56aa2","abstract_canon_sha256":"84d866beee849ec10ee2f80f5d4d171714115d4815f04268861ce723df497c16"},"schema_version":"1.0"},"canonical_sha256":"55a27b5ee9bb60faea6b340d4bd148f2c19c1978250b8ec74a5920618fe3a28d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:52:28.793409Z","signature_b64":"EQx6cxsyCluW5xDCMZgZ3QmefoHf4kv3p3wIYz7/LId5LvmOCibYPVhlSdEPVfRFX8a7ZuF0SYztYUHJmG9mDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"55a27b5ee9bb60faea6b340d4bd148f2c19c1978250b8ec74a5920618fe3a28d","last_reissued_at":"2026-07-05T08:52:28.792966Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:52:28.792966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.00035","source_version":4,"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-05T08:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nQ/bh31IfQvBaf8hXtIgPJCPH+qRBT1yMeeUaK72OEcntLJXI67+BajED8jdj8imwLcr0eedMBAtEUAiPNHXDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:15:24.796669Z"},"content_sha256":"570d12add3df43b12a96b2c5b0929b5fe547a95b7cb5e02f622a8eb84de032e5","schema_version":"1.0","event_id":"sha256:570d12add3df43b12a96b2c5b0929b5fe547a95b7cb5e02f622a8eb84de032e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:KWRHWXXJXNQPV2TLGQGUXUKI6L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.CV","authors_text":"Audrey Galametz, Guillaume Pov\\'eda, Guy Katz, M\\'elanie Ducoffe, No\\'emie Cohen, Omri Isac, Raya Elsaleh, Ryma Boumazouza, Yizhak Elboher","submitted_at":"2024-01-08T12:19:46Z","abstract_excerpt":"As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot workload and in improving operational safety. However, the use of DNNs in this type of safety-critical applications requires a thorough certification process. This need can be addressed through formal verification, which provides rigorous assurances -- e.g.,~by proving the absence of certain mispredictions. In this case-study paper, we demonstrate this process using an image-classifier DNN currently under development at "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00035","kind":"arxiv","version":4},"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/2402.00035/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-05T08:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B82I+oG7dQR2g+QIGLgSQzg6yJXskmVbb9svQEPoWdhscgyjQkwFHG90DGopTxNHinqm/pwiGU/PCW5aNwn6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:15:24.797069Z"},"content_sha256":"14cf74dd2f0a77eca11c6f649596ef7b440bd523348abf58d4aa461ac5798015","schema_version":"1.0","event_id":"sha256:14cf74dd2f0a77eca11c6f649596ef7b440bd523348abf58d4aa461ac5798015"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/bundle.json","state_url":"https://pith.science/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/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-20T15:15:24Z","links":{"resolver":"https://pith.science/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L","bundle":"https://pith.science/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/bundle.json","state":"https://pith.science/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KWRHWXXJXNQPV2TLGQGUXUKI6L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:KWRHWXXJXNQPV2TLGQGUXUKI6L","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":"84d866beee849ec10ee2f80f5d4d171714115d4815f04268861ce723df497c16","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-01-08T12:19:46Z","title_canon_sha256":"f38bdf6e000a98ea996d43fae613a22ba0066a0e833fc4236f0f17f8afb56aa2"},"schema_version":"1.0","source":{"id":"2402.00035","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00035","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00035v4","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00035","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"KWRHWXXJXNQP","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_16","alias_value":"KWRHWXXJXNQPV2TL","created_at":"2026-07-05T08:52:28Z"},{"alias_kind":"pith_short_8","alias_value":"KWRHWXXJ","created_at":"2026-07-05T08:52:28Z"}],"graph_snapshots":[{"event_id":"sha256:14cf74dd2f0a77eca11c6f649596ef7b440bd523348abf58d4aa461ac5798015","target":"graph","created_at":"2026-07-05T08:52:28Z","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/2402.00035/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot workload and in improving operational safety. However, the use of DNNs in this type of safety-critical applications requires a thorough certification process. This need can be addressed through formal verification, which provides rigorous assurances -- e.g.,~by proving the absence of certain mispredictions. In this case-study paper, we demonstrate this process using an image-classifier DNN currently under development at ","authors_text":"Audrey Galametz, Guillaume Pov\\'eda, Guy Katz, M\\'elanie Ducoffe, No\\'emie Cohen, Omri Isac, Raya Elsaleh, Ryma Boumazouza, Yizhak Elboher","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-01-08T12:19:46Z","title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00035","kind":"arxiv","version":4},"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:570d12add3df43b12a96b2c5b0929b5fe547a95b7cb5e02f622a8eb84de032e5","target":"record","created_at":"2026-07-05T08:52:28Z","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":"84d866beee849ec10ee2f80f5d4d171714115d4815f04268861ce723df497c16","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-01-08T12:19:46Z","title_canon_sha256":"f38bdf6e000a98ea996d43fae613a22ba0066a0e833fc4236f0f17f8afb56aa2"},"schema_version":"1.0","source":{"id":"2402.00035","kind":"arxiv","version":4}},"canonical_sha256":"55a27b5ee9bb60faea6b340d4bd148f2c19c1978250b8ec74a5920618fe3a28d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55a27b5ee9bb60faea6b340d4bd148f2c19c1978250b8ec74a5920618fe3a28d","first_computed_at":"2026-07-05T08:52:28.792966Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:52:28.792966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EQx6cxsyCluW5xDCMZgZ3QmefoHf4kv3p3wIYz7/LId5LvmOCibYPVhlSdEPVfRFX8a7ZuF0SYztYUHJmG9mDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:52:28.793409Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.00035","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:570d12add3df43b12a96b2c5b0929b5fe547a95b7cb5e02f622a8eb84de032e5","sha256:14cf74dd2f0a77eca11c6f649596ef7b440bd523348abf58d4aa461ac5798015"],"state_sha256":"57ac2ad2528fe0a873528125b45d0e637dd70dd3c0c1cf156c0fab1f51dfbf5d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WRy2CtIU528SRjfT4E0Tl2HvNLXFBWmLP9ABkJKHyVW3JyHB06YvA7jaRZxRgNzsp/SatTiHNj9gHItGERsVCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T15:15:24.799495Z","bundle_sha256":"3d79fe0fe73e68479efa53c4807ac29c2c375539903c0f96fe558e81a7d601e8"}}