{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:O2HKUV2RPHS62HB6BJRKXYTREG","short_pith_number":"pith:O2HKUV2R","canonical_record":{"source":{"id":"2205.12735","kind":"arxiv","version":8},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-25T12:41:59Z","cross_cats_sorted":[],"title_canon_sha256":"353b97401def96ccf48f5ded3c6fa30beabb31d0e37f80c2778625cca6780bcc","abstract_canon_sha256":"6d9accfe2ac322cd43427e3f28e7be5840c73e13e9ca320b56497eaadac5578e"},"schema_version":"1.0"},"canonical_sha256":"768eaa575179e5ed1c3e0a62abe271219d662263efe3048cbb10028853bb5dce","source":{"kind":"arxiv","id":"2205.12735","version":8},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.12735","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"arxiv_version","alias_value":"2205.12735v8","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.12735","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_12","alias_value":"O2HKUV2RPHS6","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_16","alias_value":"O2HKUV2RPHS62HB6","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_8","alias_value":"O2HKUV2R","created_at":"2026-07-05T07:40:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:O2HKUV2RPHS62HB6BJRKXYTREG","target":"record","payload":{"canonical_record":{"source":{"id":"2205.12735","kind":"arxiv","version":8},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-25T12:41:59Z","cross_cats_sorted":[],"title_canon_sha256":"353b97401def96ccf48f5ded3c6fa30beabb31d0e37f80c2778625cca6780bcc","abstract_canon_sha256":"6d9accfe2ac322cd43427e3f28e7be5840c73e13e9ca320b56497eaadac5578e"},"schema_version":"1.0"},"canonical_sha256":"768eaa575179e5ed1c3e0a62abe271219d662263efe3048cbb10028853bb5dce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:40:49.290547Z","signature_b64":"2wQTjSegFJKlv2EO8k9q5Ta04WGJTKbKXu4JsoV/hdkkjx+304ycsqLm8sFq6FMZZnp1JMYu8GzMEbnxgiVPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"768eaa575179e5ed1c3e0a62abe271219d662263efe3048cbb10028853bb5dce","last_reissued_at":"2026-07-05T07:40:49.290162Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:40:49.290162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.12735","source_version":8,"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-05T07:40:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vh28gbuFJpKbAV6kwcSQpQANNEZlQAvxxno8uHqwdb2MoIbYEKndzT+0BEuOnxAvv9ffbziDB53Bi3jly8NuAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:11:35.536149Z"},"content_sha256":"ba4f3d8e6716a37bdb50ca322d57a66b398ff5f69b97ca2bd90e83b82e7f96b3","schema_version":"1.0","event_id":"sha256:ba4f3d8e6716a37bdb50ca322d57a66b398ff5f69b97ca2bd90e83b82e7f96b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:O2HKUV2RPHS62HB6BJRKXYTREG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Learning of Answer Set Programs from Raw Data","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandra Russo, Daniel Cunnington, Jorge Lobo, Mark Law","submitted_at":"2022-05-25T12:41:59Z","abstract_excerpt":"One of the ultimate goals of Artificial Intelligence is to assist humans in complex decision making. A promising direction for achieving this goal is Neuro-Symbolic AI, which aims to combine the interpretability of symbolic techniques with the ability of deep learning to learn from raw data. However, most current approaches require manually engineered symbolic knowledge, and where end-to-end training is considered, such approaches are either restricted to learning definite programs, or are restricted to training binary neural networks. In this paper, we introduce Neuro-Symbolic Inductive Learn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12735","kind":"arxiv","version":8},"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/2205.12735/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-05T07:40:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yiMvVn05zk2tru3geUm/0Fi3WMv1+o781YNJaSmMFSX2JXrNNSrD1aZBgTp2UTFkkY984XAiWujkBuePqwTpCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:11:35.536534Z"},"content_sha256":"bc82a91ba15cd84c6b18438fdc0e4090e9a68a088eedeb9660557256431b9e2e","schema_version":"1.0","event_id":"sha256:bc82a91ba15cd84c6b18438fdc0e4090e9a68a088eedeb9660557256431b9e2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2HKUV2RPHS62HB6BJRKXYTREG/bundle.json","state_url":"https://pith.science/pith/O2HKUV2RPHS62HB6BJRKXYTREG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2HKUV2RPHS62HB6BJRKXYTREG/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-07-06T17:11:35Z","links":{"resolver":"https://pith.science/pith/O2HKUV2RPHS62HB6BJRKXYTREG","bundle":"https://pith.science/pith/O2HKUV2RPHS62HB6BJRKXYTREG/bundle.json","state":"https://pith.science/pith/O2HKUV2RPHS62HB6BJRKXYTREG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2HKUV2RPHS62HB6BJRKXYTREG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:O2HKUV2RPHS62HB6BJRKXYTREG","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":"6d9accfe2ac322cd43427e3f28e7be5840c73e13e9ca320b56497eaadac5578e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-25T12:41:59Z","title_canon_sha256":"353b97401def96ccf48f5ded3c6fa30beabb31d0e37f80c2778625cca6780bcc"},"schema_version":"1.0","source":{"id":"2205.12735","kind":"arxiv","version":8}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.12735","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"arxiv_version","alias_value":"2205.12735v8","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.12735","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_12","alias_value":"O2HKUV2RPHS6","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_16","alias_value":"O2HKUV2RPHS62HB6","created_at":"2026-07-05T07:40:49Z"},{"alias_kind":"pith_short_8","alias_value":"O2HKUV2R","created_at":"2026-07-05T07:40:49Z"}],"graph_snapshots":[{"event_id":"sha256:bc82a91ba15cd84c6b18438fdc0e4090e9a68a088eedeb9660557256431b9e2e","target":"graph","created_at":"2026-07-05T07:40:49Z","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/2205.12735/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"One of the ultimate goals of Artificial Intelligence is to assist humans in complex decision making. A promising direction for achieving this goal is Neuro-Symbolic AI, which aims to combine the interpretability of symbolic techniques with the ability of deep learning to learn from raw data. However, most current approaches require manually engineered symbolic knowledge, and where end-to-end training is considered, such approaches are either restricted to learning definite programs, or are restricted to training binary neural networks. In this paper, we introduce Neuro-Symbolic Inductive Learn","authors_text":"Alessandra Russo, Daniel Cunnington, Jorge Lobo, Mark Law","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-25T12:41:59Z","title":"Neuro-Symbolic Learning of Answer Set Programs from Raw Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12735","kind":"arxiv","version":8},"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:ba4f3d8e6716a37bdb50ca322d57a66b398ff5f69b97ca2bd90e83b82e7f96b3","target":"record","created_at":"2026-07-05T07:40:49Z","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":"6d9accfe2ac322cd43427e3f28e7be5840c73e13e9ca320b56497eaadac5578e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-25T12:41:59Z","title_canon_sha256":"353b97401def96ccf48f5ded3c6fa30beabb31d0e37f80c2778625cca6780bcc"},"schema_version":"1.0","source":{"id":"2205.12735","kind":"arxiv","version":8}},"canonical_sha256":"768eaa575179e5ed1c3e0a62abe271219d662263efe3048cbb10028853bb5dce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"768eaa575179e5ed1c3e0a62abe271219d662263efe3048cbb10028853bb5dce","first_computed_at":"2026-07-05T07:40:49.290162Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:40:49.290162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2wQTjSegFJKlv2EO8k9q5Ta04WGJTKbKXu4JsoV/hdkkjx+304ycsqLm8sFq6FMZZnp1JMYu8GzMEbnxgiVPBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:40:49.290547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.12735","source_kind":"arxiv","source_version":8}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba4f3d8e6716a37bdb50ca322d57a66b398ff5f69b97ca2bd90e83b82e7f96b3","sha256:bc82a91ba15cd84c6b18438fdc0e4090e9a68a088eedeb9660557256431b9e2e"],"state_sha256":"7b85317ddfc9dd93b33231d3ef37be217d38f258f8743e1089a33faa63a92cd2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T/xASlw1Hc52wj9npsvos2F8mSLTeFNmaoYnWbYapPW/WPHC0IEL8EGq9nz/46RlRc6AP8Lwp9fGuOhsdomBCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T17:11:35.538473Z","bundle_sha256":"bce5cabca228c8cb3d767e4bbe676f4a5b5e4dd8dd2c1882f8fdb0918b51d4de"}}