{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EPKH7DOJAYZPGSXP4GSLEDX3XV","short_pith_number":"pith:EPKH7DOJ","canonical_record":{"source":{"id":"2502.09227","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-13T11:52:09Z","cross_cats_sorted":[],"title_canon_sha256":"fa96a9badbb2cfc0d72d7b1cae35ce29842cdcee1a8b637f886827ac7e1a3e51","abstract_canon_sha256":"5eb69723bb31573d8c93db701741fa41411bff1ff00c1a68f1936a69bcf9d7ba"},"schema_version":"1.0"},"canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","source":{"kind":"arxiv","id":"2502.09227","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09227","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09227v1","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09227","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"EPKH7DOJAYZP","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"EPKH7DOJAYZPGSXP","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"EPKH7DOJ","created_at":"2026-07-05T10:13:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EPKH7DOJAYZPGSXP4GSLEDX3XV","target":"record","payload":{"canonical_record":{"source":{"id":"2502.09227","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-13T11:52:09Z","cross_cats_sorted":[],"title_canon_sha256":"fa96a9badbb2cfc0d72d7b1cae35ce29842cdcee1a8b637f886827ac7e1a3e51","abstract_canon_sha256":"5eb69723bb31573d8c93db701741fa41411bff1ff00c1a68f1936a69bcf9d7ba"},"schema_version":"1.0"},"canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:54.145428Z","signature_b64":"/r4o0EK64nV89/pTI5RrDgcTpZtd1u4XI9H4MlmjgqNuwW6sBzO7lvRo8SOXJmMuzY05Egc/cwB/zE8R/7JGAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","last_reissued_at":"2026-07-05T10:13:54.144782Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:54.144782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.09227","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:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UVeYmx6fZn/f00O8VEW9hhznQfBA2k69Ptbi+IrvYrgLyRtpR/63VKcXbSeUu53X2Rq/9RZQgtcLqzRIg05DCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:18:44.449300Z"},"content_sha256":"d8f80533542fb50e723a498ebdc1f1abc94161c5def73cfea874dbec4dadd838","schema_version":"1.0","event_id":"sha256:d8f80533542fb50e723a498ebdc1f1abc94161c5def73cfea874dbec4dadd838"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EPKH7DOJAYZPGSXP4GSLEDX3XV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bridging Logic Programming and Deep Learning for Explainability through ILASP","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Talissa Dreossi (University of Udine)","submitted_at":"2025-02-13T11:52:09Z","abstract_excerpt":"My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive Logic Programming (ILP), the goal is to construct systems that make accurate predictions and generate comprehensible rules to validate these predictions. Deep learning models process and analyze complex data, while ILP techniques derive logical rules to prove the network's conclusions. Explainable AI methods, like eXplainable Answer Set Programming (XASP), elucidate the reasoning behind these rules and decisions. The focus is on a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09227","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/2502.09227/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:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DEJg+x2OzhBGxmT62xSkeb3JL3tippeasQKpuKjrbPJjy8pq7YSmkt+STkSQYXwjI66+3f9Jf5Rwd/p91nX8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:18:44.449613Z"},"content_sha256":"0de80b9d9e1fff0b889ac22524e8185c729965be773ed21d12c599a2f5777078","schema_version":"1.0","event_id":"sha256:0de80b9d9e1fff0b889ac22524e8185c729965be773ed21d12c599a2f5777078"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/bundle.json","state_url":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/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-11T08:18:44Z","links":{"resolver":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV","bundle":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/bundle.json","state":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EPKH7DOJAYZPGSXP4GSLEDX3XV","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":"5eb69723bb31573d8c93db701741fa41411bff1ff00c1a68f1936a69bcf9d7ba","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-13T11:52:09Z","title_canon_sha256":"fa96a9badbb2cfc0d72d7b1cae35ce29842cdcee1a8b637f886827ac7e1a3e51"},"schema_version":"1.0","source":{"id":"2502.09227","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09227","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09227v1","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09227","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"EPKH7DOJAYZP","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"EPKH7DOJAYZPGSXP","created_at":"2026-07-05T10:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"EPKH7DOJ","created_at":"2026-07-05T10:13:54Z"}],"graph_snapshots":[{"event_id":"sha256:0de80b9d9e1fff0b889ac22524e8185c729965be773ed21d12c599a2f5777078","target":"graph","created_at":"2026-07-05T10:13:54Z","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/2502.09227/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive Logic Programming (ILP), the goal is to construct systems that make accurate predictions and generate comprehensible rules to validate these predictions. Deep learning models process and analyze complex data, while ILP techniques derive logical rules to prove the network's conclusions. Explainable AI methods, like eXplainable Answer Set Programming (XASP), elucidate the reasoning behind these rules and decisions. The focus is on a","authors_text":"Talissa Dreossi (University of Udine)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-13T11:52:09Z","title":"Bridging Logic Programming and Deep Learning for Explainability through ILASP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09227","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:d8f80533542fb50e723a498ebdc1f1abc94161c5def73cfea874dbec4dadd838","target":"record","created_at":"2026-07-05T10:13:54Z","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":"5eb69723bb31573d8c93db701741fa41411bff1ff00c1a68f1936a69bcf9d7ba","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-13T11:52:09Z","title_canon_sha256":"fa96a9badbb2cfc0d72d7b1cae35ce29842cdcee1a8b637f886827ac7e1a3e51"},"schema_version":"1.0","source":{"id":"2502.09227","kind":"arxiv","version":1}},"canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","first_computed_at":"2026-07-05T10:13:54.144782Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:54.144782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/r4o0EK64nV89/pTI5RrDgcTpZtd1u4XI9H4MlmjgqNuwW6sBzO7lvRo8SOXJmMuzY05Egc/cwB/zE8R/7JGAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:54.145428Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09227","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8f80533542fb50e723a498ebdc1f1abc94161c5def73cfea874dbec4dadd838","sha256:0de80b9d9e1fff0b889ac22524e8185c729965be773ed21d12c599a2f5777078"],"state_sha256":"19620805dc927a7e7eeb1477b4964673620d6119a82088de6f058901f42ca292"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gdqmSen566MmhpVmgSnCQzliykE05uOa3z0vAPTgSP3Rs0oPvRzMdRdrWqoujZ5wAo1otSYfY6U9fqc61e90Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T08:18:44.452041Z","bundle_sha256":"8496f249af69901e3d1377fe115c9a95fc1dba986a66c0cab7229d835b8c0eca"}}