{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RZOIWYNDUMYYNPV4YKVWKDHO2C","short_pith_number":"pith:RZOIWYND","canonical_record":{"source":{"id":"2501.01030","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-02T03:21:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9c527b2bab798c0477368495a6cada33ccc74b14f068a354b8db523413b5ebca","abstract_canon_sha256":"230fbbf57b7c5008a354b38c5299abb20427395c5737e621fe2b16c52b74b344"},"schema_version":"1.0"},"canonical_sha256":"8e5c8b61a3a33186bebcc2ab650ceed09f18b1a65f74b632def65a9a608f3028","source":{"kind":"arxiv","id":"2501.01030","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.01030","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"arxiv_version","alias_value":"2501.01030v2","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.01030","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_12","alias_value":"RZOIWYNDUMYY","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_16","alias_value":"RZOIWYNDUMYYNPV4","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_8","alias_value":"RZOIWYND","created_at":"2026-07-05T10:17:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RZOIWYNDUMYYNPV4YKVWKDHO2C","target":"record","payload":{"canonical_record":{"source":{"id":"2501.01030","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-02T03:21:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9c527b2bab798c0477368495a6cada33ccc74b14f068a354b8db523413b5ebca","abstract_canon_sha256":"230fbbf57b7c5008a354b38c5299abb20427395c5737e621fe2b16c52b74b344"},"schema_version":"1.0"},"canonical_sha256":"8e5c8b61a3a33186bebcc2ab650ceed09f18b1a65f74b632def65a9a608f3028","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:17:52.701848Z","signature_b64":"jgE+pQ405StvBlfhsd/xilHADdrJdMGwUNn2Y6TLMLqQoWTmKrSveIm6wuJVg0cZwnHGY+A6u8yrK43K+lS0DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8e5c8b61a3a33186bebcc2ab650ceed09f18b1a65f74b632def65a9a608f3028","last_reissued_at":"2026-07-05T10:17:52.701083Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:17:52.701083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.01030","source_version":2,"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-05T10:17:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K+4jXtH6txU2lEas47b/rz6Hmv82iYad3r1ocBcY59jcU701auop0igFesjvKLDL6dYUjaQxICy0yuPzpxSRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:45:23.670446Z"},"content_sha256":"0d42f14d3f154ace72b24d53d2d3c4dac66ea373cacf354bbebdc50375ee7a7b","schema_version":"1.0","event_id":"sha256:0d42f14d3f154ace72b24d53d2d3c4dac66ea373cacf354bbebdc50375ee7a7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RZOIWYNDUMYYNPV4YKVWKDHO2C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning based on symbolic and parametric knowledge bases: a survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Birong Pan, Hankun Kang, Jianhao Chen, Jintao Wen, Ke Sun, Mayi Xu, Shen Zhou, Tieyun Qian, Xin Miao, Yao Xiao, Yongqi Li, Yunfeng Ning, Zepeng Bao","submitted_at":"2025-01-02T03:21:32Z","abstract_excerpt":"Reasoning is fundamental to human intelligence, and critical for problem-solving, decision-making, and critical thinking. Reasoning refers to drawing new conclusions based on existing knowledge, which can support various applications like clinical diagnosis, basic education, and financial analysis. Though a good number of surveys have been proposed for reviewing reasoning-related methods, none of them has systematically investigated these methods from the viewpoint of their dependent knowledge base. Both the scenarios to which the knowledge bases are applied and their storage formats are signi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.01030","kind":"arxiv","version":2},"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/2501.01030/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-05T10:17:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CI5j1/OwZubXjNDYH2o9v2SfZt2nk9Qc+Qdvl+YKec5BEiKT88T+lJTUXfDewO8w+B2E5DF5u+MRogkMswUiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:45:23.670945Z"},"content_sha256":"5c453e2816f824f5def0ac606e8c40fc45244bf90796b69641a1d2f5ac5bf032","schema_version":"1.0","event_id":"sha256:5c453e2816f824f5def0ac606e8c40fc45244bf90796b69641a1d2f5ac5bf032"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/bundle.json","state_url":"https://pith.science/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/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-06T17:45:23Z","links":{"resolver":"https://pith.science/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C","bundle":"https://pith.science/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/bundle.json","state":"https://pith.science/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RZOIWYNDUMYYNPV4YKVWKDHO2C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RZOIWYNDUMYYNPV4YKVWKDHO2C","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":"230fbbf57b7c5008a354b38c5299abb20427395c5737e621fe2b16c52b74b344","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-02T03:21:32Z","title_canon_sha256":"9c527b2bab798c0477368495a6cada33ccc74b14f068a354b8db523413b5ebca"},"schema_version":"1.0","source":{"id":"2501.01030","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.01030","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"arxiv_version","alias_value":"2501.01030v2","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.01030","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_12","alias_value":"RZOIWYNDUMYY","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_16","alias_value":"RZOIWYNDUMYYNPV4","created_at":"2026-07-05T10:17:52Z"},{"alias_kind":"pith_short_8","alias_value":"RZOIWYND","created_at":"2026-07-05T10:17:52Z"}],"graph_snapshots":[{"event_id":"sha256:5c453e2816f824f5def0ac606e8c40fc45244bf90796b69641a1d2f5ac5bf032","target":"graph","created_at":"2026-07-05T10:17:52Z","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/2501.01030/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning is fundamental to human intelligence, and critical for problem-solving, decision-making, and critical thinking. Reasoning refers to drawing new conclusions based on existing knowledge, which can support various applications like clinical diagnosis, basic education, and financial analysis. Though a good number of surveys have been proposed for reviewing reasoning-related methods, none of them has systematically investigated these methods from the viewpoint of their dependent knowledge base. Both the scenarios to which the knowledge bases are applied and their storage formats are signi","authors_text":"Birong Pan, Hankun Kang, Jianhao Chen, Jintao Wen, Ke Sun, Mayi Xu, Shen Zhou, Tieyun Qian, Xin Miao, Yao Xiao, Yongqi Li, Yunfeng Ning, Zepeng Bao","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-02T03:21:32Z","title":"Reasoning based on symbolic and parametric knowledge bases: a survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.01030","kind":"arxiv","version":2},"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:0d42f14d3f154ace72b24d53d2d3c4dac66ea373cacf354bbebdc50375ee7a7b","target":"record","created_at":"2026-07-05T10:17:52Z","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":"230fbbf57b7c5008a354b38c5299abb20427395c5737e621fe2b16c52b74b344","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-01-02T03:21:32Z","title_canon_sha256":"9c527b2bab798c0477368495a6cada33ccc74b14f068a354b8db523413b5ebca"},"schema_version":"1.0","source":{"id":"2501.01030","kind":"arxiv","version":2}},"canonical_sha256":"8e5c8b61a3a33186bebcc2ab650ceed09f18b1a65f74b632def65a9a608f3028","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8e5c8b61a3a33186bebcc2ab650ceed09f18b1a65f74b632def65a9a608f3028","first_computed_at":"2026-07-05T10:17:52.701083Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:17:52.701083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jgE+pQ405StvBlfhsd/xilHADdrJdMGwUNn2Y6TLMLqQoWTmKrSveIm6wuJVg0cZwnHGY+A6u8yrK43K+lS0DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:17:52.701848Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.01030","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d42f14d3f154ace72b24d53d2d3c4dac66ea373cacf354bbebdc50375ee7a7b","sha256:5c453e2816f824f5def0ac606e8c40fc45244bf90796b69641a1d2f5ac5bf032"],"state_sha256":"76fab560284c6382e90b0749f468728cb3cb1a1d0702de157042024440bf5575"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FlCCmVoxhFGUkQK7JhcJZhTdFcOTEw/ST2EEiNoHBN2r07OjH+8G4pXCyJ+U3yXmM+0TepsSa+33iuYXPrdNAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T17:45:23.674658Z","bundle_sha256":"24bbb5b61d0c42e5a28af4418245122a7be39b0bb174287ad199be1f678b9e0a"}}