{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HZSO5CNNLGNKZLYQV53UGYJDDQ","short_pith_number":"pith:HZSO5CNN","canonical_record":{"source":{"id":"2312.15643","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-25T08:06:20Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"dd27c3ef19cacf35488cb6278d6888fae01f0bb6f3fb4dd1259a66dcbc3b3f4c","abstract_canon_sha256":"5c3e159d653df1bc4981c88cd14836c42b02db2ad35e0180b7986153422f909c"},"schema_version":"1.0"},"canonical_sha256":"3e64ee89ad599aacaf10af774361231c2ae5a0185655b4ea57423d0acb2e4e90","source":{"kind":"arxiv","id":"2312.15643","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15643","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15643v3","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15643","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_12","alias_value":"HZSO5CNNLGNK","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_16","alias_value":"HZSO5CNNLGNKZLYQ","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_8","alias_value":"HZSO5CNN","created_at":"2026-07-05T08:34:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HZSO5CNNLGNKZLYQV53UGYJDDQ","target":"record","payload":{"canonical_record":{"source":{"id":"2312.15643","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-25T08:06:20Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"dd27c3ef19cacf35488cb6278d6888fae01f0bb6f3fb4dd1259a66dcbc3b3f4c","abstract_canon_sha256":"5c3e159d653df1bc4981c88cd14836c42b02db2ad35e0180b7986153422f909c"},"schema_version":"1.0"},"canonical_sha256":"3e64ee89ad599aacaf10af774361231c2ae5a0185655b4ea57423d0acb2e4e90","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:34:09.277252Z","signature_b64":"dz+DuMzEnzDv7s3G19U34E7G//rK7wylFnqb5995YS7ZbOkpaIKIJ973w9S3Jngy5ZNVzEFVccpCvK51GypCAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e64ee89ad599aacaf10af774361231c2ae5a0185655b4ea57423d0acb2e4e90","last_reissued_at":"2026-07-05T08:34:09.276771Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:34:09.276771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.15643","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:34:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y8XMWle+OlRWar1PS6uqCaDYrhKS4USD7KBEyBDdt2Q2GvXQ75NmlzOa6BsSdUkdEYfvQKVsrvOjXbenYUyhBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T22:13:25.889821Z"},"content_sha256":"69cd032f4c9400b6eeca341e58270d5d2a9370a8aed4b3493bb9715562592f28","schema_version":"1.0","event_id":"sha256:69cd032f4c9400b6eeca341e58270d5d2a9370a8aed4b3493bb9715562592f28"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HZSO5CNNLGNKZLYQV53UGYJDDQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Jiaxin Bai, Tianshi Zheng, Xin Liu, Yangqiu Song, Yicheng Wang, Yue Guo","submitted_at":"2023-12-25T08:06:20Z","abstract_excerpt":"Abductive reasoning is the process of making educated guesses to provide explanations for observations. Although many applications require the use of knowledge for explanations, the utilization of abductive reasoning in conjunction with structured knowledge, such as a knowledge graph, remains largely unexplored. To fill this gap, this paper introduces the task of complex logical hypothesis generation, as an initial step towards abductive logical reasoning with KG. In this task, we aim to generate a complex logical hypothesis so that it can explain a set of observations. We find that the superv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15643","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/2312.15643/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:34:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PVuKfay9A7QvFuc+8dkWsw/yCzqDkKnErAoW7+/RAv9wFAkK6a5NJPvZL6oZVuxfLCrpmURn8gAsY2Itf/IQCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T22:13:25.890301Z"},"content_sha256":"56e88f8172c74b190e1e08c5059736bec0514c81210a927a9a52d986593d83d1","schema_version":"1.0","event_id":"sha256:56e88f8172c74b190e1e08c5059736bec0514c81210a927a9a52d986593d83d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/bundle.json","state_url":"https://pith.science/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/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-11T22:13:25Z","links":{"resolver":"https://pith.science/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ","bundle":"https://pith.science/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/bundle.json","state":"https://pith.science/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HZSO5CNNLGNKZLYQV53UGYJDDQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HZSO5CNNLGNKZLYQV53UGYJDDQ","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":"5c3e159d653df1bc4981c88cd14836c42b02db2ad35e0180b7986153422f909c","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-25T08:06:20Z","title_canon_sha256":"dd27c3ef19cacf35488cb6278d6888fae01f0bb6f3fb4dd1259a66dcbc3b3f4c"},"schema_version":"1.0","source":{"id":"2312.15643","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15643","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15643v3","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15643","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_12","alias_value":"HZSO5CNNLGNK","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_16","alias_value":"HZSO5CNNLGNKZLYQ","created_at":"2026-07-05T08:34:09Z"},{"alias_kind":"pith_short_8","alias_value":"HZSO5CNN","created_at":"2026-07-05T08:34:09Z"}],"graph_snapshots":[{"event_id":"sha256:56e88f8172c74b190e1e08c5059736bec0514c81210a927a9a52d986593d83d1","target":"graph","created_at":"2026-07-05T08:34: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/2312.15643/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Abductive reasoning is the process of making educated guesses to provide explanations for observations. Although many applications require the use of knowledge for explanations, the utilization of abductive reasoning in conjunction with structured knowledge, such as a knowledge graph, remains largely unexplored. To fill this gap, this paper introduces the task of complex logical hypothesis generation, as an initial step towards abductive logical reasoning with KG. In this task, we aim to generate a complex logical hypothesis so that it can explain a set of observations. We find that the superv","authors_text":"Jiaxin Bai, Tianshi Zheng, Xin Liu, Yangqiu Song, Yicheng Wang, Yue Guo","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-25T08:06:20Z","title":"Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15643","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:69cd032f4c9400b6eeca341e58270d5d2a9370a8aed4b3493bb9715562592f28","target":"record","created_at":"2026-07-05T08:34: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":"5c3e159d653df1bc4981c88cd14836c42b02db2ad35e0180b7986153422f909c","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-12-25T08:06:20Z","title_canon_sha256":"dd27c3ef19cacf35488cb6278d6888fae01f0bb6f3fb4dd1259a66dcbc3b3f4c"},"schema_version":"1.0","source":{"id":"2312.15643","kind":"arxiv","version":3}},"canonical_sha256":"3e64ee89ad599aacaf10af774361231c2ae5a0185655b4ea57423d0acb2e4e90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e64ee89ad599aacaf10af774361231c2ae5a0185655b4ea57423d0acb2e4e90","first_computed_at":"2026-07-05T08:34:09.276771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:34:09.276771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dz+DuMzEnzDv7s3G19U34E7G//rK7wylFnqb5995YS7ZbOkpaIKIJ973w9S3Jngy5ZNVzEFVccpCvK51GypCAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:34:09.277252Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.15643","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69cd032f4c9400b6eeca341e58270d5d2a9370a8aed4b3493bb9715562592f28","sha256:56e88f8172c74b190e1e08c5059736bec0514c81210a927a9a52d986593d83d1"],"state_sha256":"5aea2c325ea964052501f119d8ac209875e2d88b9ff3dabd5393d202623483ce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sK+0LT8mfrCeyMML1laxzK5C2Kaxwxd/AbHiGs497HW9BKl5W3BIBoJTonOu+NrHzCn0M2xAD9jxa6RCC6GQDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T22:13:25.918576Z","bundle_sha256":"0f1b10f6dae5026449ac16f148c24b1cc120c8f352ae83ac262ed3c2b9ced79a"}}