{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7BE4I3AZUMUR5NNMJ3UK5SLTY4","short_pith_number":"pith:7BE4I3AZ","canonical_record":{"source":{"id":"2411.08463","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T09:33:33Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"c914ed7ced45dc5156b8b1a31ab626146ef6aaa789858b17aa6b6b069b87dec6","abstract_canon_sha256":"869739c440b1f5efca8ef5eb6477ba7dd5a66575725f8bb452422e8e439fd358"},"schema_version":"1.0"},"canonical_sha256":"f849c46c19a3291eb5ac4ee8aec973c724eff7e72d7d012c43a9d5a631556cdd","source":{"kind":"arxiv","id":"2411.08463","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.08463","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"2411.08463v2","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.08463","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"7BE4I3AZUMUR","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_16","alias_value":"7BE4I3AZUMUR5NNM","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_8","alias_value":"7BE4I3AZ","created_at":"2026-07-05T11:17:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7BE4I3AZUMUR5NNMJ3UK5SLTY4","target":"record","payload":{"canonical_record":{"source":{"id":"2411.08463","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T09:33:33Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"c914ed7ced45dc5156b8b1a31ab626146ef6aaa789858b17aa6b6b069b87dec6","abstract_canon_sha256":"869739c440b1f5efca8ef5eb6477ba7dd5a66575725f8bb452422e8e439fd358"},"schema_version":"1.0"},"canonical_sha256":"f849c46c19a3291eb5ac4ee8aec973c724eff7e72d7d012c43a9d5a631556cdd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:37.455794Z","signature_b64":"pz1jHBYLw4nQdhx0UnNpWqBmUr9LEJTdZJXfu9rProGcV9HlCd79BZu3d4nqlthWF3LC+VMcC3Kq3wCF41ahCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f849c46c19a3291eb5ac4ee8aec973c724eff7e72d7d012c43a9d5a631556cdd","last_reissued_at":"2026-07-05T11:17:37.455198Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:37.455198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.08463","source_version":2,"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-05T11:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y6oEvlT4Mlw58TCjtJD7CJakjPQlO/IP4O2zswlmPlBUVVSuibDDFxTUEzVVINBSc4ayp5htwH2zuenbJlsICw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T03:42:40.346152Z"},"content_sha256":"53d02c896e7925c2f6c46ef6b1bdad0d3afcb62ab12c6bc1d05eb37f8ebdd411","schema_version":"1.0","event_id":"sha256:53d02c896e7925c2f6c46ef6b1bdad0d3afcb62ab12c6bc1d05eb37f8ebdd411"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7BE4I3AZUMUR5NNMJ3UK5SLTY4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"cs.AI","authors_text":"Fadi Al Machot, Habib Ullah, Martin Thomas Horsch","submitted_at":"2024-11-13T09:33:33Z","abstract_excerpt":"This paper presents a hybrid methodology that enhances the training process of deep learning (DL) models by embedding domain expert knowledge using ontologies and answer set programming (ASP). By integrating these symbolic AI methods, we encode domain-specific constraints, rules, and logical reasoning directly into the model's learning process, thereby improving both performance and trustworthiness. The proposed approach is flexible and applicable to both regression and classification tasks, demonstrating generalizability across various fields such as healthcare, autonomous systems, engineerin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.08463","kind":"arxiv","version":2},"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/2411.08463/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-05T11:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Osnj9qc1YbQJIRaIr+Qx+/TwQdPvrFt5QnncD3UnuJjtt6vrX5qXxphTd3utnxq4S4rkVsaRfmcK9a+4lyhCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T03:42:40.347008Z"},"content_sha256":"e4b18888937ed6f25313ba7c4ea915ad78ac03508781c0c36e9c58bc89f56429","schema_version":"1.0","event_id":"sha256:e4b18888937ed6f25313ba7c4ea915ad78ac03508781c0c36e9c58bc89f56429"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/bundle.json","state_url":"https://pith.science/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/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-15T03:42:40Z","links":{"resolver":"https://pith.science/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4","bundle":"https://pith.science/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/bundle.json","state":"https://pith.science/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7BE4I3AZUMUR5NNMJ3UK5SLTY4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7BE4I3AZUMUR5NNMJ3UK5SLTY4","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":"869739c440b1f5efca8ef5eb6477ba7dd5a66575725f8bb452422e8e439fd358","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T09:33:33Z","title_canon_sha256":"c914ed7ced45dc5156b8b1a31ab626146ef6aaa789858b17aa6b6b069b87dec6"},"schema_version":"1.0","source":{"id":"2411.08463","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.08463","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"2411.08463v2","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.08463","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"7BE4I3AZUMUR","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_16","alias_value":"7BE4I3AZUMUR5NNM","created_at":"2026-07-05T11:17:37Z"},{"alias_kind":"pith_short_8","alias_value":"7BE4I3AZ","created_at":"2026-07-05T11:17:37Z"}],"graph_snapshots":[{"event_id":"sha256:e4b18888937ed6f25313ba7c4ea915ad78ac03508781c0c36e9c58bc89f56429","target":"graph","created_at":"2026-07-05T11:17:37Z","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/2411.08463/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a hybrid methodology that enhances the training process of deep learning (DL) models by embedding domain expert knowledge using ontologies and answer set programming (ASP). By integrating these symbolic AI methods, we encode domain-specific constraints, rules, and logical reasoning directly into the model's learning process, thereby improving both performance and trustworthiness. The proposed approach is flexible and applicable to both regression and classification tasks, demonstrating generalizability across various fields such as healthcare, autonomous systems, engineerin","authors_text":"Fadi Al Machot, Habib Ullah, Martin Thomas Horsch","cross_cats":["cs.ET"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T09:33:33Z","title":"Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.08463","kind":"arxiv","version":2},"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:53d02c896e7925c2f6c46ef6b1bdad0d3afcb62ab12c6bc1d05eb37f8ebdd411","target":"record","created_at":"2026-07-05T11:17:37Z","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":"869739c440b1f5efca8ef5eb6477ba7dd5a66575725f8bb452422e8e439fd358","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T09:33:33Z","title_canon_sha256":"c914ed7ced45dc5156b8b1a31ab626146ef6aaa789858b17aa6b6b069b87dec6"},"schema_version":"1.0","source":{"id":"2411.08463","kind":"arxiv","version":2}},"canonical_sha256":"f849c46c19a3291eb5ac4ee8aec973c724eff7e72d7d012c43a9d5a631556cdd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f849c46c19a3291eb5ac4ee8aec973c724eff7e72d7d012c43a9d5a631556cdd","first_computed_at":"2026-07-05T11:17:37.455198Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:37.455198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pz1jHBYLw4nQdhx0UnNpWqBmUr9LEJTdZJXfu9rProGcV9HlCd79BZu3d4nqlthWF3LC+VMcC3Kq3wCF41ahCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:37.455794Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.08463","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53d02c896e7925c2f6c46ef6b1bdad0d3afcb62ab12c6bc1d05eb37f8ebdd411","sha256:e4b18888937ed6f25313ba7c4ea915ad78ac03508781c0c36e9c58bc89f56429"],"state_sha256":"7a21e8331e86e4e997c59bb6f0f9f08f7c7dcfc89386555b008ff027634a8315"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WVJUcAA7EvHjflryNfd7BXpJfmNHOIF1nFas3yRB+caMstNM7DNFfADUOg+IVX8EkvWREZT0uBvYrdZhnM4oBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T03:42:40.353097Z","bundle_sha256":"f332b44a61d686f62151373614f698becf8218cc19a4549c152f6853b9a36198"}}