{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BMNDNJM5VEHUMERWO7O6LVRXHI","short_pith_number":"pith:BMNDNJM5","canonical_record":{"source":{"id":"2405.00532","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-01T14:05:52Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ae6f8170c4d0472e997528b2964c7d932b57da91f368c253e85d305d5e8d9015","abstract_canon_sha256":"73f77255891c4a82c5c057cdb3916b7a1ebb0f0901a19af2146acec875d56a22"},"schema_version":"1.0"},"canonical_sha256":"0b1a36a59da90f46123677dde5d6373a3a550a99b32602323a0b690d03591dfb","source":{"kind":"arxiv","id":"2405.00532","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00532","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00532v3","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00532","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"BMNDNJM5VEHU","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"BMNDNJM5VEHUMERW","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"BMNDNJM5","created_at":"2026-07-05T08:40:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BMNDNJM5VEHUMERWO7O6LVRXHI","target":"record","payload":{"canonical_record":{"source":{"id":"2405.00532","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-01T14:05:52Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ae6f8170c4d0472e997528b2964c7d932b57da91f368c253e85d305d5e8d9015","abstract_canon_sha256":"73f77255891c4a82c5c057cdb3916b7a1ebb0f0901a19af2146acec875d56a22"},"schema_version":"1.0"},"canonical_sha256":"0b1a36a59da90f46123677dde5d6373a3a550a99b32602323a0b690d03591dfb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:40:17.113956Z","signature_b64":"QHNsXFSyFUub4dH2UZ1QDiJj/np0R78ELHRfEyomIe+Eyc2XDWK389vfRK4aiK0Nekh+kN70Adrjd7GmpEfCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b1a36a59da90f46123677dde5d6373a3a550a99b32602323a0b690d03591dfb","last_reissued_at":"2026-07-05T08:40:17.113393Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:40:17.113393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.00532","source_version":3,"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-05T08:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RoR41EUQ9uMg8Fioe0OcMvkT7zp2fjYoPPyH+ijsYTrnhcXqQ354N3+erBJA1vQk3wsgcG24gYLsRcIiS8lGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T02:23:43.201353Z"},"content_sha256":"113e4d33c640ee512adcdfe95a896b0534fdf856e105ee42aa1d8b798122b9c6","schema_version":"1.0","event_id":"sha256:113e4d33c640ee512adcdfe95a896b0534fdf856e105ee42aa1d8b798122b9c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BMNDNJM5VEHUMERWO7O6LVRXHI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ULLER: A Unified Language for Learning and Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Eleonora Giunchiglia, Emile van Krieken, Robin Manhaeve, Samy Badreddine","submitted_at":"2024-05-01T14:05:52Z","abstract_excerpt":"The field of neuro-symbolic artificial intelligence (NeSy), which combines learning and reasoning, has recently experienced significant growth. There now are a wide variety of NeSy frameworks, each with its own specific language for expressing background knowledge and how to relate it to neural networks. This heterogeneity hinders accessibility for newcomers and makes comparing different NeSy frameworks challenging. We propose a unified language for NeSy, which we call ULLER, a Unified Language for LEarning and Reasoning. ULLER encompasses a wide variety of settings, while ensuring that knowle"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00532","kind":"arxiv","version":3},"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/2405.00532/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-05T08:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rnxLgkG07kkwGVlyaY+U9Z+RuU/IKMmjGsQdE0MxrszmBfBopLMTH5qDwEssBMfJPmg3ZzCdfXfE1jn4TsJCAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T02:23:43.201742Z"},"content_sha256":"94478cf3552949a4c815b2e03db8f5098d5649419ed5ac66676fb7eef0331176","schema_version":"1.0","event_id":"sha256:94478cf3552949a4c815b2e03db8f5098d5649419ed5ac66676fb7eef0331176"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/bundle.json","state_url":"https://pith.science/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/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-17T02:23:43Z","links":{"resolver":"https://pith.science/pith/BMNDNJM5VEHUMERWO7O6LVRXHI","bundle":"https://pith.science/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/bundle.json","state":"https://pith.science/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BMNDNJM5VEHUMERWO7O6LVRXHI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BMNDNJM5VEHUMERWO7O6LVRXHI","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":"73f77255891c4a82c5c057cdb3916b7a1ebb0f0901a19af2146acec875d56a22","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-01T14:05:52Z","title_canon_sha256":"ae6f8170c4d0472e997528b2964c7d932b57da91f368c253e85d305d5e8d9015"},"schema_version":"1.0","source":{"id":"2405.00532","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00532","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00532v3","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00532","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"BMNDNJM5VEHU","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"BMNDNJM5VEHUMERW","created_at":"2026-07-05T08:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"BMNDNJM5","created_at":"2026-07-05T08:40:17Z"}],"graph_snapshots":[{"event_id":"sha256:94478cf3552949a4c815b2e03db8f5098d5649419ed5ac66676fb7eef0331176","target":"graph","created_at":"2026-07-05T08:40:17Z","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/2405.00532/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The field of neuro-symbolic artificial intelligence (NeSy), which combines learning and reasoning, has recently experienced significant growth. There now are a wide variety of NeSy frameworks, each with its own specific language for expressing background knowledge and how to relate it to neural networks. This heterogeneity hinders accessibility for newcomers and makes comparing different NeSy frameworks challenging. We propose a unified language for NeSy, which we call ULLER, a Unified Language for LEarning and Reasoning. ULLER encompasses a wide variety of settings, while ensuring that knowle","authors_text":"Eleonora Giunchiglia, Emile van Krieken, Robin Manhaeve, Samy Badreddine","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-01T14:05:52Z","title":"ULLER: A Unified Language for Learning and Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00532","kind":"arxiv","version":3},"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:113e4d33c640ee512adcdfe95a896b0534fdf856e105ee42aa1d8b798122b9c6","target":"record","created_at":"2026-07-05T08:40:17Z","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":"73f77255891c4a82c5c057cdb3916b7a1ebb0f0901a19af2146acec875d56a22","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-01T14:05:52Z","title_canon_sha256":"ae6f8170c4d0472e997528b2964c7d932b57da91f368c253e85d305d5e8d9015"},"schema_version":"1.0","source":{"id":"2405.00532","kind":"arxiv","version":3}},"canonical_sha256":"0b1a36a59da90f46123677dde5d6373a3a550a99b32602323a0b690d03591dfb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b1a36a59da90f46123677dde5d6373a3a550a99b32602323a0b690d03591dfb","first_computed_at":"2026-07-05T08:40:17.113393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:40:17.113393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QHNsXFSyFUub4dH2UZ1QDiJj/np0R78ELHRfEyomIe+Eyc2XDWK389vfRK4aiK0Nekh+kN70Adrjd7GmpEfCBA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:40:17.113956Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.00532","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:113e4d33c640ee512adcdfe95a896b0534fdf856e105ee42aa1d8b798122b9c6","sha256:94478cf3552949a4c815b2e03db8f5098d5649419ed5ac66676fb7eef0331176"],"state_sha256":"2b734c35cc3923e37062dccdbdede42a37404e45828a6eb55e2d7560aaa3c862"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5wECW4jxhOOZY1vVx5+HFL1ZJvHyIq/OtpvWMKZh4RKOp+tOAmZVEEDAgxK/kQFmeymNBt4u9sL3EmJr/G/PBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T02:23:43.204249Z","bundle_sha256":"931058f4ef0cbe53a84c5f053a8b1535190578eb0bc34f27cbde0cfba612943a"}}