{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HAEKC5XMDO3M5KFPPVCGU2SYIK","short_pith_number":"pith:HAEKC5XM","canonical_record":{"source":{"id":"2305.10113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-17T10:29:02Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"28ced6a691ddc232c327587f324e91384e4da77ff836ebba3d8c9396d2495980","abstract_canon_sha256":"c67139244e6eb829f373e41e758d632eac018586ab0faa0267f788bfb33061e2"},"schema_version":"1.0"},"canonical_sha256":"3808a176ec1bb6cea8af7d446a6a5842986fadc3bab1436313a12c3a1a3e1a6f","source":{"kind":"arxiv","id":"2305.10113","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10113","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10113v1","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10113","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"HAEKC5XMDO3M","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_16","alias_value":"HAEKC5XMDO3M5KFP","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_8","alias_value":"HAEKC5XM","created_at":"2026-07-05T06:11:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HAEKC5XMDO3M5KFPPVCGU2SYIK","target":"record","payload":{"canonical_record":{"source":{"id":"2305.10113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-17T10:29:02Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"28ced6a691ddc232c327587f324e91384e4da77ff836ebba3d8c9396d2495980","abstract_canon_sha256":"c67139244e6eb829f373e41e758d632eac018586ab0faa0267f788bfb33061e2"},"schema_version":"1.0"},"canonical_sha256":"3808a176ec1bb6cea8af7d446a6a5842986fadc3bab1436313a12c3a1a3e1a6f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:11:09.736248Z","signature_b64":"4iConNGs5TM3Y5YYhiyXfReH+wQU+yz4Q04x5a85OQV0O+rb4cjsDWzJNRv2gY4GVTVSylwXVPNNPaAuLODODw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3808a176ec1bb6cea8af7d446a6a5842986fadc3bab1436313a12c3a1a3e1a6f","last_reissued_at":"2026-07-05T06:11:09.735825Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:11:09.735825Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.10113","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-05T06:11:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FbbmM6U5giol+3wIE6t5J3n+FGAadZfr1MppzGszDuYB37MEn/8zKeWempP0ojAHBQSKKhZmQ4whnZpK8pNNDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T13:15:04.355239Z"},"content_sha256":"f03685c22b6d44c880ce71c34f32af5015ced69d5a0b8fdb52467f19c2d47c09","schema_version":"1.0","event_id":"sha256:f03685c22b6d44c880ce71c34f32af5015ced69d5a0b8fdb52467f19c2d47c09"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HAEKC5XMDO3M5KFPPVCGU2SYIK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"(2) ICAR-CNR, (3) Sapienza University of Rome, (4) University of Udine), Alessandro Quarta (3), Ettore Ritacco (4) ((1) University of Calabria, Francesco Ricca (1), Giuseppe Manco (2), Massimo Guarascio (2), Nicola Leone (1), Vito Barbara (1)","submitted_at":"2023-05-17T10:29:02Z","abstract_excerpt":"Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performed by domain experts. In particular, assessing the compliance of a product with the relative schematic is a time-consuming and prone-to-error process. In this paper, we address this problem in a specific industrial scenario. In particular, we define a Neuro-Symbolic approach for automating the compliance verification of the electrical control panels. Our approach is based on the combination of Deep Learning techniques"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10113","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/2305.10113/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-05T06:11:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H/xeNlql6BD1+1iPbb2GH5nYMtuOiyusIUSZG8n3Tn0JdqkmYeVyCWeB71tcIwyfV/tQWPo9zBe0xDLHETh/Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T13:15:04.356267Z"},"content_sha256":"aa779aa688ca2a1a592e59b2b797ead8b5a554059d1057ed497d78a4579dcbcc","schema_version":"1.0","event_id":"sha256:aa779aa688ca2a1a592e59b2b797ead8b5a554059d1057ed497d78a4579dcbcc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/bundle.json","state_url":"https://pith.science/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/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-07T13:15:04Z","links":{"resolver":"https://pith.science/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK","bundle":"https://pith.science/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/bundle.json","state":"https://pith.science/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HAEKC5XMDO3M5KFPPVCGU2SYIK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HAEKC5XMDO3M5KFPPVCGU2SYIK","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":"c67139244e6eb829f373e41e758d632eac018586ab0faa0267f788bfb33061e2","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-17T10:29:02Z","title_canon_sha256":"28ced6a691ddc232c327587f324e91384e4da77ff836ebba3d8c9396d2495980"},"schema_version":"1.0","source":{"id":"2305.10113","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10113","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10113v1","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10113","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"HAEKC5XMDO3M","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_16","alias_value":"HAEKC5XMDO3M5KFP","created_at":"2026-07-05T06:11:09Z"},{"alias_kind":"pith_short_8","alias_value":"HAEKC5XM","created_at":"2026-07-05T06:11:09Z"}],"graph_snapshots":[{"event_id":"sha256:aa779aa688ca2a1a592e59b2b797ead8b5a554059d1057ed497d78a4579dcbcc","target":"graph","created_at":"2026-07-05T06:11:09Z","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/2305.10113/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performed by domain experts. In particular, assessing the compliance of a product with the relative schematic is a time-consuming and prone-to-error process. In this paper, we address this problem in a specific industrial scenario. In particular, we define a Neuro-Symbolic approach for automating the compliance verification of the electrical control panels. Our approach is based on the combination of Deep Learning techniques","authors_text":"(2) ICAR-CNR, (3) Sapienza University of Rome, (4) University of Udine), Alessandro Quarta (3), Ettore Ritacco (4) ((1) University of Calabria, Francesco Ricca (1), Giuseppe Manco (2), Massimo Guarascio (2), Nicola Leone (1), Vito Barbara (1)","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-17T10:29:02Z","title":"Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10113","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:f03685c22b6d44c880ce71c34f32af5015ced69d5a0b8fdb52467f19c2d47c09","target":"record","created_at":"2026-07-05T06:11:09Z","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":"c67139244e6eb829f373e41e758d632eac018586ab0faa0267f788bfb33061e2","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-17T10:29:02Z","title_canon_sha256":"28ced6a691ddc232c327587f324e91384e4da77ff836ebba3d8c9396d2495980"},"schema_version":"1.0","source":{"id":"2305.10113","kind":"arxiv","version":1}},"canonical_sha256":"3808a176ec1bb6cea8af7d446a6a5842986fadc3bab1436313a12c3a1a3e1a6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3808a176ec1bb6cea8af7d446a6a5842986fadc3bab1436313a12c3a1a3e1a6f","first_computed_at":"2026-07-05T06:11:09.735825Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:11:09.735825Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4iConNGs5TM3Y5YYhiyXfReH+wQU+yz4Q04x5a85OQV0O+rb4cjsDWzJNRv2gY4GVTVSylwXVPNNPaAuLODODw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:11:09.736248Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.10113","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f03685c22b6d44c880ce71c34f32af5015ced69d5a0b8fdb52467f19c2d47c09","sha256:aa779aa688ca2a1a592e59b2b797ead8b5a554059d1057ed497d78a4579dcbcc"],"state_sha256":"56767aa09d71399222edbf84dedcfb78e9ee949acab1ce497c3dc101dd0e13d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rZZxTbYY+dON8aNjhQcVM2FEI49FIrbULW5TNI+qgKNvX4wmVIsvjHb8tTNXexquNCVDXROpivkMrGHQ8oLhBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T13:15:04.366691Z","bundle_sha256":"dffb429edbe63be21315c5e6ecf8bd418aa36d4a2328a3858abfd00ec9bb36a7"}}