{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:JEKA2DCJPC4KXTSIKMMMOYHRUZ","short_pith_number":"pith:JEKA2DCJ","canonical_record":{"source":{"id":"2401.06821","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-01-11T21:04:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"64899fa3ce4b705092a440b60a9f2c6011acfb010b79625fcc996ee7ec0b8bbc","abstract_canon_sha256":"480fd5e02639ed451f77509aedc8b4ee8ecb19541aac689f84bd05ceef6f59b5"},"schema_version":"1.0"},"canonical_sha256":"49140d0c4978b8abce485318c760f1a678bec864ba46a1b7992a666b5c622a36","source":{"kind":"arxiv","id":"2401.06821","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.06821","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"2401.06821v4","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.06821","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"JEKA2DCJPC4K","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEKA2DCJPC4KXTSI","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEKA2DCJ","created_at":"2026-07-05T08:47:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:JEKA2DCJPC4KXTSIKMMMOYHRUZ","target":"record","payload":{"canonical_record":{"source":{"id":"2401.06821","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-01-11T21:04:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"64899fa3ce4b705092a440b60a9f2c6011acfb010b79625fcc996ee7ec0b8bbc","abstract_canon_sha256":"480fd5e02639ed451f77509aedc8b4ee8ecb19541aac689f84bd05ceef6f59b5"},"schema_version":"1.0"},"canonical_sha256":"49140d0c4978b8abce485318c760f1a678bec864ba46a1b7992a666b5c622a36","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:47:49.277981Z","signature_b64":"UCdoBhCfvLDmFZlWVdMOGKUFcbz7jq3eKrqMSd8HatkuGI+ENFuJLkvYlKA0YwvZMqX6VRB/PlhLIp8+u1DTCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49140d0c4978b8abce485318c760f1a678bec864ba46a1b7992a666b5c622a36","last_reissued_at":"2026-07-05T08:47:49.277497Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:47:49.277497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.06821","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:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i16AseV24a6CBAbFxAWhSGck1HpG9Gptyu6Az+Zlz3fZE794ZPK/AZDdkawCwQP8ii+P4c+BEPYozGw3otZvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:11:37.599127Z"},"content_sha256":"ae94f266abcced5720b5fd13ca27300c319d3b457a711cc67ddc8a07eacdb3e2","schema_version":"1.0","event_id":"sha256:ae94f266abcced5720b5fd13ca27300c319d3b457a711cc67ddc8a07eacdb3e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:JEKA2DCJPC4KXTSIKMMMOYHRUZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Audrey Galametz, Derk Daverschot, Eugene O'Higgins, Guillaume Pov\\'eda, Julien Baris, Marion-C\\'ecile Martin, M\\'elanie Ducoffe, Ryma Boumazouza","submitted_at":"2024-01-11T21:04:28Z","abstract_excerpt":"Surrogate Neural Networks are nowadays routinely used in industry as substitutes for computationally demanding engineering simulations (e.g., in structural analysis). They allow to generate faster predictions and thus analyses in industrial applications e.g., during a product design, testing or monitoring phases. Due to their performance and time-efficiency, these surrogate models are now being developed for use in safety-critical applications. Neural network verification and in particular the assessment of their robustness (e.g., to perturbations) is the next critical step to allow their incl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.06821","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/2401.06821/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:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ay8UwNYxO6A3p3qzKOW7PoNRnl4N/ZJa79oSEUExHLb82YDwCuAuYHfdGBbLTtkFAE5HasZDJniWNTyZOI3tBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:11:37.600010Z"},"content_sha256":"75af604159255d2d5985d4638b45cc7261f55a5ae9cedf52d4ccaf176c440f3e","schema_version":"1.0","event_id":"sha256:75af604159255d2d5985d4638b45cc7261f55a5ae9cedf52d4ccaf176c440f3e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/bundle.json","state_url":"https://pith.science/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/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-06T07:11:37Z","links":{"resolver":"https://pith.science/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ","bundle":"https://pith.science/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/bundle.json","state":"https://pith.science/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEKA2DCJPC4KXTSIKMMMOYHRUZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JEKA2DCJPC4KXTSIKMMMOYHRUZ","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":"480fd5e02639ed451f77509aedc8b4ee8ecb19541aac689f84bd05ceef6f59b5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-01-11T21:04:28Z","title_canon_sha256":"64899fa3ce4b705092a440b60a9f2c6011acfb010b79625fcc996ee7ec0b8bbc"},"schema_version":"1.0","source":{"id":"2401.06821","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.06821","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"2401.06821v4","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.06821","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"JEKA2DCJPC4K","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEKA2DCJPC4KXTSI","created_at":"2026-07-05T08:47:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEKA2DCJ","created_at":"2026-07-05T08:47:49Z"}],"graph_snapshots":[{"event_id":"sha256:75af604159255d2d5985d4638b45cc7261f55a5ae9cedf52d4ccaf176c440f3e","target":"graph","created_at":"2026-07-05T08:47:49Z","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/2401.06821/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Surrogate Neural Networks are nowadays routinely used in industry as substitutes for computationally demanding engineering simulations (e.g., in structural analysis). They allow to generate faster predictions and thus analyses in industrial applications e.g., during a product design, testing or monitoring phases. Due to their performance and time-efficiency, these surrogate models are now being developed for use in safety-critical applications. Neural network verification and in particular the assessment of their robustness (e.g., to perturbations) is the next critical step to allow their incl","authors_text":"Audrey Galametz, Derk Daverschot, Eugene O'Higgins, Guillaume Pov\\'eda, Julien Baris, Marion-C\\'ecile Martin, M\\'elanie Ducoffe, Ryma Boumazouza","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-01-11T21:04:28Z","title":"Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.06821","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:ae94f266abcced5720b5fd13ca27300c319d3b457a711cc67ddc8a07eacdb3e2","target":"record","created_at":"2026-07-05T08:47:49Z","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":"480fd5e02639ed451f77509aedc8b4ee8ecb19541aac689f84bd05ceef6f59b5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-01-11T21:04:28Z","title_canon_sha256":"64899fa3ce4b705092a440b60a9f2c6011acfb010b79625fcc996ee7ec0b8bbc"},"schema_version":"1.0","source":{"id":"2401.06821","kind":"arxiv","version":4}},"canonical_sha256":"49140d0c4978b8abce485318c760f1a678bec864ba46a1b7992a666b5c622a36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49140d0c4978b8abce485318c760f1a678bec864ba46a1b7992a666b5c622a36","first_computed_at":"2026-07-05T08:47:49.277497Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:47:49.277497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UCdoBhCfvLDmFZlWVdMOGKUFcbz7jq3eKrqMSd8HatkuGI+ENFuJLkvYlKA0YwvZMqX6VRB/PlhLIp8+u1DTCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:47:49.277981Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.06821","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae94f266abcced5720b5fd13ca27300c319d3b457a711cc67ddc8a07eacdb3e2","sha256:75af604159255d2d5985d4638b45cc7261f55a5ae9cedf52d4ccaf176c440f3e"],"state_sha256":"197e79c9336543e3b264240fe0c515169ef827edf8be0518c5a16143ee37d49a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MCQRywZLgTkINUap/+zQLLDMQadLv6vgqC5qRSCDUGjKEGVrr+XzvCTpX+V6P7ESEC5ecyqsFo42yBjYOvhTDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T07:11:37.605560Z","bundle_sha256":"63fe5bcdbccc2af6c5a2d850b4a9f41ea1621380da3612611009d5c572970fda"}}