{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5WJ3BDA3ZD7S5VQXY744C5RD7Z","short_pith_number":"pith:5WJ3BDA3","canonical_record":{"source":{"id":"2504.04042","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-05T03:34:51Z","cross_cats_sorted":[],"title_canon_sha256":"79689f4427dc93beffd77930542db782f89ab8c496b7420b6aba22d6e5c2ffe2","abstract_canon_sha256":"f2d9dbccf18027f0bdd52f58b942fff1e89557dda8be3709aee8f90aa1a36e10"},"schema_version":"1.0"},"canonical_sha256":"ed93b08c1bc8ff2ed617c7f9c17623fe67dfc9e49e06835f32b7bc46617dcaa4","source":{"kind":"arxiv","id":"2504.04042","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.04042","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"arxiv_version","alias_value":"2504.04042v2","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.04042","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_12","alias_value":"5WJ3BDA3ZD7S","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_16","alias_value":"5WJ3BDA3ZD7S5VQX","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_8","alias_value":"5WJ3BDA3","created_at":"2026-07-05T11:12:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5WJ3BDA3ZD7S5VQXY744C5RD7Z","target":"record","payload":{"canonical_record":{"source":{"id":"2504.04042","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-05T03:34:51Z","cross_cats_sorted":[],"title_canon_sha256":"79689f4427dc93beffd77930542db782f89ab8c496b7420b6aba22d6e5c2ffe2","abstract_canon_sha256":"f2d9dbccf18027f0bdd52f58b942fff1e89557dda8be3709aee8f90aa1a36e10"},"schema_version":"1.0"},"canonical_sha256":"ed93b08c1bc8ff2ed617c7f9c17623fe67dfc9e49e06835f32b7bc46617dcaa4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:12:30.410222Z","signature_b64":"oMir1DdE7YtHTIPJ3YcoHPt+sC998YpN1Zaivc5ZnYVRQbJMVpfaAeuIZ/tZvEJgrkCaYoEm+iqLGDcIUpMrAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed93b08c1bc8ff2ed617c7f9c17623fe67dfc9e49e06835f32b7bc46617dcaa4","last_reissued_at":"2026-07-05T11:12:30.409700Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:12:30.409700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.04042","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-05T11:12:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2hVxDJGOR+Q6SpT2MFErS9Z2iNn1V2KbE/rXXB+VM1UmdXjtAibWb3RLVtmRFuUxD7w/uU6fsAfphjk7bFtWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:01:06.738424Z"},"content_sha256":"fd7023aef94d894c12360831da324d02a32d603bfd28dd61cf2c2e8c0f490cb3","schema_version":"1.0","event_id":"sha256:fd7023aef94d894c12360831da324d02a32d603bfd28dd61cf2c2e8c0f490cb3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5WJ3BDA3ZD7S5VQXY744C5RD7Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Explicit Syllogistic Legal Reasoning Framework for Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jun Xu, Kepu Zhang, Weijie Yu, Zhongxiang Sun","submitted_at":"2025-04-05T03:34:51Z","abstract_excerpt":"Syllogistic reasoning is crucial for sound legal decision-making, allowing legal professionals to draw logical conclusions by applying general principles to specific case facts. While large language models (LLMs) can answer legal questions, they often struggle with explicit syllogistic reasoning. Their outputs tend to be implicit, unstructured, and consequently, less explainable and trustworthy. To overcome these limitations, we introduce SyLeR, a novel framework designed to enable LLMs to perform explicit syllogistic legal reasoning. SyLeR employs a tree-structured hierarchical retrieval mech"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.04042","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/2504.04042/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-05T11:12:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"piVaUGj+ioxJ4/jMTusnsUstBA4jfB8cQB/9dupn3jscTL0gqIafLyjpfevvfU0rAEJ6ik5oEgI0cqfv6tbvAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:01:06.739035Z"},"content_sha256":"ccfd0bdbb0bc60bfef27c980c848b3227a09cf35182f343c5783aa6643bf1c90","schema_version":"1.0","event_id":"sha256:ccfd0bdbb0bc60bfef27c980c848b3227a09cf35182f343c5783aa6643bf1c90"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/bundle.json","state_url":"https://pith.science/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/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-08T21:01:06Z","links":{"resolver":"https://pith.science/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z","bundle":"https://pith.science/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/bundle.json","state":"https://pith.science/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5WJ3BDA3ZD7S5VQXY744C5RD7Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5WJ3BDA3ZD7S5VQXY744C5RD7Z","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":"f2d9dbccf18027f0bdd52f58b942fff1e89557dda8be3709aee8f90aa1a36e10","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-05T03:34:51Z","title_canon_sha256":"79689f4427dc93beffd77930542db782f89ab8c496b7420b6aba22d6e5c2ffe2"},"schema_version":"1.0","source":{"id":"2504.04042","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.04042","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"arxiv_version","alias_value":"2504.04042v2","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.04042","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_12","alias_value":"5WJ3BDA3ZD7S","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_16","alias_value":"5WJ3BDA3ZD7S5VQX","created_at":"2026-07-05T11:12:30Z"},{"alias_kind":"pith_short_8","alias_value":"5WJ3BDA3","created_at":"2026-07-05T11:12:30Z"}],"graph_snapshots":[{"event_id":"sha256:ccfd0bdbb0bc60bfef27c980c848b3227a09cf35182f343c5783aa6643bf1c90","target":"graph","created_at":"2026-07-05T11:12:30Z","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/2504.04042/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Syllogistic reasoning is crucial for sound legal decision-making, allowing legal professionals to draw logical conclusions by applying general principles to specific case facts. While large language models (LLMs) can answer legal questions, they often struggle with explicit syllogistic reasoning. Their outputs tend to be implicit, unstructured, and consequently, less explainable and trustworthy. To overcome these limitations, we introduce SyLeR, a novel framework designed to enable LLMs to perform explicit syllogistic legal reasoning. SyLeR employs a tree-structured hierarchical retrieval mech","authors_text":"Jun Xu, Kepu Zhang, Weijie Yu, Zhongxiang Sun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-05T03:34:51Z","title":"An Explicit Syllogistic Legal Reasoning Framework for Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.04042","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:fd7023aef94d894c12360831da324d02a32d603bfd28dd61cf2c2e8c0f490cb3","target":"record","created_at":"2026-07-05T11:12:30Z","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":"f2d9dbccf18027f0bdd52f58b942fff1e89557dda8be3709aee8f90aa1a36e10","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-05T03:34:51Z","title_canon_sha256":"79689f4427dc93beffd77930542db782f89ab8c496b7420b6aba22d6e5c2ffe2"},"schema_version":"1.0","source":{"id":"2504.04042","kind":"arxiv","version":2}},"canonical_sha256":"ed93b08c1bc8ff2ed617c7f9c17623fe67dfc9e49e06835f32b7bc46617dcaa4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed93b08c1bc8ff2ed617c7f9c17623fe67dfc9e49e06835f32b7bc46617dcaa4","first_computed_at":"2026-07-05T11:12:30.409700Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:30.409700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oMir1DdE7YtHTIPJ3YcoHPt+sC998YpN1Zaivc5ZnYVRQbJMVpfaAeuIZ/tZvEJgrkCaYoEm+iqLGDcIUpMrAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:30.410222Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.04042","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd7023aef94d894c12360831da324d02a32d603bfd28dd61cf2c2e8c0f490cb3","sha256:ccfd0bdbb0bc60bfef27c980c848b3227a09cf35182f343c5783aa6643bf1c90"],"state_sha256":"2e53f22cb6941e32daaa2c3350a54fccb2fb63b6acfe090d786104b6ef8d7ea8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XwtGiJwNC2gQ8xhOfM9TaRGZFcnONuzw5+V67ingcefIGrDlg/Wf43z5vjGpDyMOhTw+nzg8QxdL2VC+uPKdAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T21:01:06.743719Z","bundle_sha256":"36137a6aabcd0eceef04e1577ab3352b33d43fec215274c3fb684847a2ffbc8b"}}