{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:HQCEEOLJDT3LU2RLGGHXSPSDZT","short_pith_number":"pith:HQCEEOLJ","canonical_record":{"source":{"id":"2605.18202","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-18T10:43:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5fb9dfedc1bb9db48e11227b14271ed24c3ea63ca422265dfca016e74d585369","abstract_canon_sha256":"deeeb28009831708d80131f5adcbbf6e4989a0896ad5574803b8cfb2da106787"},"schema_version":"1.0"},"canonical_sha256":"3c044239691cf6ba6a2b318f793e43cce6f4cd9468f37eef99530cee442c00df","source":{"kind":"arxiv","id":"2605.18202","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.18202","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"arxiv_version","alias_value":"2605.18202v1","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18202","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_12","alias_value":"HQCEEOLJDT3L","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_16","alias_value":"HQCEEOLJDT3LU2RL","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_8","alias_value":"HQCEEOLJ","created_at":"2026-05-20T00:05:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:HQCEEOLJDT3LU2RLGGHXSPSDZT","target":"record","payload":{"canonical_record":{"source":{"id":"2605.18202","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-18T10:43:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5fb9dfedc1bb9db48e11227b14271ed24c3ea63ca422265dfca016e74d585369","abstract_canon_sha256":"deeeb28009831708d80131f5adcbbf6e4989a0896ad5574803b8cfb2da106787"},"schema_version":"1.0"},"canonical_sha256":"3c044239691cf6ba6a2b318f793e43cce6f4cd9468f37eef99530cee442c00df","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:50.440891Z","signature_b64":"OP2LA7hlCd4ShPclqgi/Rk6/mA+XaJ78N4U5whLUgbNhRZupGq0DzTXAdMbRx87l2UXnMA7iZaq7w6kWox1wAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c044239691cf6ba6a2b318f793e43cce6f4cd9468f37eef99530cee442c00df","last_reissued_at":"2026-05-20T00:05:50.440237Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:50.440237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.18202","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-05-20T00:05:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ox8fyNtyQpxC7Qum1QnLshuWccH6hRyr8MUoZwU8nsVDRx5TOHjK1eIGNpQIOQpV7EXSKHBFo4mSkr7X6HWrAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T07:38:17.988739Z"},"content_sha256":"2ee6f3b63683369acd31f9f8b9098b0e5ed5d0b14cb7d99d462fb592bda5f8f0","schema_version":"1.0","event_id":"sha256:2ee6f3b63683369acd31f9f8b9098b0e5ed5d0b14cb7d99d462fb592bda5f8f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:HQCEEOLJDT3LU2RLGGHXSPSDZT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Andrea Passerini, Andrea Pugnana, Emanuele Marconato, Samuele Bortolotti, Stefano Teso","submitted_at":"2026-05-18T10:43:02Z","abstract_excerpt":"Neuro-Symbolic Concept-based Models (NeSy-CBMs) are a family of architectures that integrate neural networks with symbolic reasoning for enhanced reliability in high-stakes applications. They work by first extracting high-level concepts from the input and then inferring a task label from these compatibly with given logical constraints. Yet, their label and concept predictions can be overconfident, making it difficult for stakeholders to gauge when the model's decisions can be trusted. We address this issue by integrating ideas from Conformal Prediction (CP), a framework providing rigorous, dis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.18202","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/2605.18202/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-19T23:41:58.989311Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T23:33:35.319897Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"47f19f93f282cfc59e2ddf662011686f1c63897f25e1f5bef2914341143e7f1a"},"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-05-20T00:05:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FQ5/7YUIEgpcbZGEtNdUgDzQxvLqIk2wxtuQj5JQSaqsKJ8RTin8oh7nSClmeKJcP1Awdb5dRzr+K3bDFVPmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T07:38:17.989587Z"},"content_sha256":"dc92ebc218cb1a9e0c03b65fee6f1c320b35fef3deecce76109c33f55280251f","schema_version":"1.0","event_id":"sha256:dc92ebc218cb1a9e0c03b65fee6f1c320b35fef3deecce76109c33f55280251f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/bundle.json","state_url":"https://pith.science/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/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-05-25T07:38:17Z","links":{"resolver":"https://pith.science/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT","bundle":"https://pith.science/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/bundle.json","state":"https://pith.science/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HQCEEOLJDT3LU2RLGGHXSPSDZT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HQCEEOLJDT3LU2RLGGHXSPSDZT","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":"deeeb28009831708d80131f5adcbbf6e4989a0896ad5574803b8cfb2da106787","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-18T10:43:02Z","title_canon_sha256":"5fb9dfedc1bb9db48e11227b14271ed24c3ea63ca422265dfca016e74d585369"},"schema_version":"1.0","source":{"id":"2605.18202","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.18202","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"arxiv_version","alias_value":"2605.18202v1","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18202","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_12","alias_value":"HQCEEOLJDT3L","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_16","alias_value":"HQCEEOLJDT3LU2RL","created_at":"2026-05-20T00:05:50Z"},{"alias_kind":"pith_short_8","alias_value":"HQCEEOLJ","created_at":"2026-05-20T00:05:50Z"}],"graph_snapshots":[{"event_id":"sha256:dc92ebc218cb1a9e0c03b65fee6f1c320b35fef3deecce76109c33f55280251f","target":"graph","created_at":"2026-05-20T00:05:50Z","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":[{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T23:41:58.989311Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T23:33:35.319897Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.18202/integrity.json","findings":[],"snapshot_sha256":"47f19f93f282cfc59e2ddf662011686f1c63897f25e1f5bef2914341143e7f1a","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neuro-Symbolic Concept-based Models (NeSy-CBMs) are a family of architectures that integrate neural networks with symbolic reasoning for enhanced reliability in high-stakes applications. They work by first extracting high-level concepts from the input and then inferring a task label from these compatibly with given logical constraints. Yet, their label and concept predictions can be overconfident, making it difficult for stakeholders to gauge when the model's decisions can be trusted. We address this issue by integrating ideas from Conformal Prediction (CP), a framework providing rigorous, dis","authors_text":"Andrea Passerini, Andrea Pugnana, Emanuele Marconato, Samuele Bortolotti, Stefano Teso","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-18T10:43:02Z","title":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.18202","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:2ee6f3b63683369acd31f9f8b9098b0e5ed5d0b14cb7d99d462fb592bda5f8f0","target":"record","created_at":"2026-05-20T00:05:50Z","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":"deeeb28009831708d80131f5adcbbf6e4989a0896ad5574803b8cfb2da106787","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-18T10:43:02Z","title_canon_sha256":"5fb9dfedc1bb9db48e11227b14271ed24c3ea63ca422265dfca016e74d585369"},"schema_version":"1.0","source":{"id":"2605.18202","kind":"arxiv","version":1}},"canonical_sha256":"3c044239691cf6ba6a2b318f793e43cce6f4cd9468f37eef99530cee442c00df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c044239691cf6ba6a2b318f793e43cce6f4cd9468f37eef99530cee442c00df","first_computed_at":"2026-05-20T00:05:50.440237Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:50.440237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OP2LA7hlCd4ShPclqgi/Rk6/mA+XaJ78N4U5whLUgbNhRZupGq0DzTXAdMbRx87l2UXnMA7iZaq7w6kWox1wAw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:50.440891Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.18202","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ee6f3b63683369acd31f9f8b9098b0e5ed5d0b14cb7d99d462fb592bda5f8f0","sha256:dc92ebc218cb1a9e0c03b65fee6f1c320b35fef3deecce76109c33f55280251f"],"state_sha256":"e3eb573f134d78f2a09688ac74062c63d767043621515363a7c3cb1ae2967b58"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GldYgmYMVyubjW2R8LEFFS/EIdwtv26Oei7Ev2gILjhTYNlpzSZNau5X7GjysDKt6lh2+Br+Zce2QTAs8hPpDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T07:38:17.993064Z","bundle_sha256":"95d8fdbac44320f0efc5a5ef644c0bb3a5efdff53e11d07165da4a7c84bcbfaa"}}