{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EPKH7DOJAYZPGSXP4GSLEDX3XV","short_pith_number":"pith:EPKH7DOJ","schema_version":"1.0","canonical_sha256":"23d47f8dc90632f34aefe1a4b20efbbd772633cb21b1d5b7c664f88d2876c3f9","source":{"kind":"arxiv","id":"2502.09227","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.09227","created_at":"2026-07-05T10:13:54.144865+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.09227v1","created_at":"2026-07-05T10:13:54.144865+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09227","created_at":"2026-07-05T10:13:54.144865+00:00"},{"alias_kind":"pith_short_12","alias_value":"EPKH7DOJAYZP","created_at":"2026-07-05T10:13:54.144865+00:00"},{"alias_kind":"pith_short_16","alias_value":"EPKH7DOJAYZPGSXP","created_at":"2026-07-05T10:13:54.144865+00:00"},{"alias_kind":"pith_short_8","alias_value":"EPKH7DOJ","created_at":"2026-07-05T10:13:54.144865+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV","json":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV.json","graph_json":"https://pith.science/api/pith-number/EPKH7DOJAYZPGSXP4GSLEDX3XV/graph.json","events_json":"https://pith.science/api/pith-number/EPKH7DOJAYZPGSXP4GSLEDX3XV/events.json","paper":"https://pith.science/paper/EPKH7DOJ"},"agent_actions":{"view_html":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV","download_json":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV.json","view_paper":"https://pith.science/paper/EPKH7DOJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.09227&json=true","fetch_graph":"https://pith.science/api/pith-number/EPKH7DOJAYZPGSXP4GSLEDX3XV/graph.json","fetch_events":"https://pith.science/api/pith-number/EPKH7DOJAYZPGSXP4GSLEDX3XV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/action/storage_attestation","attest_author":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/action/author_attestation","sign_citation":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/action/citation_signature","submit_replication":"https://pith.science/pith/EPKH7DOJAYZPGSXP4GSLEDX3XV/action/replication_record"}},"created_at":"2026-07-05T10:13:54.144865+00:00","updated_at":"2026-07-05T10:13:54.144865+00:00"}