{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7WSBQWVJ2JY3AZUKR7L2IALOOT","short_pith_number":"pith:7WSBQWVJ","canonical_record":{"source":{"id":"2502.17638","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2025-02-24T20:38:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aee3702a83be7786b486a520307fd3a20ca4de88117ad662c1b15be3bbb2ba5a","abstract_canon_sha256":"53ae26534e7a82c6056936ea90b99e64050e2c11ae67ff34dc5bd9566809476d"},"schema_version":"1.0"},"canonical_sha256":"fda4185aa9d271b0668a8fd7a4016e74cdfd79793af8618f388406f93d407e26","source":{"kind":"arxiv","id":"2502.17638","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.17638","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"arxiv_version","alias_value":"2502.17638v1","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.17638","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_12","alias_value":"7WSBQWVJ2JY3","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_16","alias_value":"7WSBQWVJ2JY3AZUK","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_8","alias_value":"7WSBQWVJ","created_at":"2026-07-05T10:19:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7WSBQWVJ2JY3AZUKR7L2IALOOT","target":"record","payload":{"canonical_record":{"source":{"id":"2502.17638","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2025-02-24T20:38:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aee3702a83be7786b486a520307fd3a20ca4de88117ad662c1b15be3bbb2ba5a","abstract_canon_sha256":"53ae26534e7a82c6056936ea90b99e64050e2c11ae67ff34dc5bd9566809476d"},"schema_version":"1.0"},"canonical_sha256":"fda4185aa9d271b0668a8fd7a4016e74cdfd79793af8618f388406f93d407e26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:19:41.685113Z","signature_b64":"AlQuadLqOpTREMxfTZmmeVJdKU2mzIgK7PbLn30woymYVm2h7OHugYm4kMErE+Ctdq3+pTGJ2RpNCQGQK8q+Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fda4185aa9d271b0668a8fd7a4016e74cdfd79793af8618f388406f93d407e26","last_reissued_at":"2026-07-05T10:19:41.684614Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:19:41.684614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.17638","source_version":1,"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:19:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"55HLaN41DwUlBggwZ0FXVfLwmzKnnmrgtRdqEgjQ2wS0AKxxSLVxSiONI0djEMlM5ge11h20twSQO2xLl73aDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:34:30.885473Z"},"content_sha256":"b65f505efceadce106f513ff03af1bb2cb3e5c627de6ab746757f83b7390a3d8","schema_version":"1.0","event_id":"sha256:b65f505efceadce106f513ff03af1bb2cb3e5c627de6ab746757f83b7390a3d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7WSBQWVJ2JY3AZUKR7L2IALOOT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CY","authors_text":"Manav Kant, Manuj Kant, Marzieh Nabi, Megan Ma, Roland Scharrer, Sareh Nabi","submitted_at":"2025-02-24T20:38:17Z","abstract_excerpt":"Legal services rely heavily on text processing. While large language models (LLMs) show promise, their application in legal contexts demands higher accuracy, repeatability, and transparency. Logic programs, by encoding legal concepts as structured rules and facts, offer reliable automation, but require sophisticated text extraction. We propose a neuro-symbolic approach that integrates LLMs' natural language understanding with logic-based reasoning to address these limitations.\n  As a legal document case study, we applied neuro-symbolic AI to coverage-related queries in insurance contracts usin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.17638","kind":"arxiv","version":1},"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/2502.17638/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:19:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QcQGc9gwZKM2igItyI9yGTyqMZmVZh9EsVZ20WEOrOFbtHO7WLY17w/CQKtMhoah2+1583+/iqZtOm9/CP1LBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:34:30.885992Z"},"content_sha256":"a0ff63be504a9ff49c81e000908007529656fb4009480ac2a1d6d1b93c09ee87","schema_version":"1.0","event_id":"sha256:a0ff63be504a9ff49c81e000908007529656fb4009480ac2a1d6d1b93c09ee87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/bundle.json","state_url":"https://pith.science/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/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-10T00:34:30Z","links":{"resolver":"https://pith.science/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT","bundle":"https://pith.science/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/bundle.json","state":"https://pith.science/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WSBQWVJ2JY3AZUKR7L2IALOOT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7WSBQWVJ2JY3AZUKR7L2IALOOT","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":"53ae26534e7a82c6056936ea90b99e64050e2c11ae67ff34dc5bd9566809476d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2025-02-24T20:38:17Z","title_canon_sha256":"aee3702a83be7786b486a520307fd3a20ca4de88117ad662c1b15be3bbb2ba5a"},"schema_version":"1.0","source":{"id":"2502.17638","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.17638","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"arxiv_version","alias_value":"2502.17638v1","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.17638","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_12","alias_value":"7WSBQWVJ2JY3","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_16","alias_value":"7WSBQWVJ2JY3AZUK","created_at":"2026-07-05T10:19:41Z"},{"alias_kind":"pith_short_8","alias_value":"7WSBQWVJ","created_at":"2026-07-05T10:19:41Z"}],"graph_snapshots":[{"event_id":"sha256:a0ff63be504a9ff49c81e000908007529656fb4009480ac2a1d6d1b93c09ee87","target":"graph","created_at":"2026-07-05T10:19:41Z","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/2502.17638/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Legal services rely heavily on text processing. While large language models (LLMs) show promise, their application in legal contexts demands higher accuracy, repeatability, and transparency. Logic programs, by encoding legal concepts as structured rules and facts, offer reliable automation, but require sophisticated text extraction. We propose a neuro-symbolic approach that integrates LLMs' natural language understanding with logic-based reasoning to address these limitations.\n  As a legal document case study, we applied neuro-symbolic AI to coverage-related queries in insurance contracts usin","authors_text":"Manav Kant, Manuj Kant, Marzieh Nabi, Megan Ma, Roland Scharrer, Sareh Nabi","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2025-02-24T20:38:17Z","title":"Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.17638","kind":"arxiv","version":1},"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:b65f505efceadce106f513ff03af1bb2cb3e5c627de6ab746757f83b7390a3d8","target":"record","created_at":"2026-07-05T10:19:41Z","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":"53ae26534e7a82c6056936ea90b99e64050e2c11ae67ff34dc5bd9566809476d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2025-02-24T20:38:17Z","title_canon_sha256":"aee3702a83be7786b486a520307fd3a20ca4de88117ad662c1b15be3bbb2ba5a"},"schema_version":"1.0","source":{"id":"2502.17638","kind":"arxiv","version":1}},"canonical_sha256":"fda4185aa9d271b0668a8fd7a4016e74cdfd79793af8618f388406f93d407e26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fda4185aa9d271b0668a8fd7a4016e74cdfd79793af8618f388406f93d407e26","first_computed_at":"2026-07-05T10:19:41.684614Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:19:41.684614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AlQuadLqOpTREMxfTZmmeVJdKU2mzIgK7PbLn30woymYVm2h7OHugYm4kMErE+Ctdq3+pTGJ2RpNCQGQK8q+Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:19:41.685113Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.17638","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b65f505efceadce106f513ff03af1bb2cb3e5c627de6ab746757f83b7390a3d8","sha256:a0ff63be504a9ff49c81e000908007529656fb4009480ac2a1d6d1b93c09ee87"],"state_sha256":"2b1cf0f506c539d7c47e0bdbaecf5d1c70a4bcc2322a523ba18109ef99be6881"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bHwcnKKzGXDs9RJh4vwGiqpuhr6ChTXPM57MbbTdehpdXltq87FjSee4UORx+PBjVlsPRwk7S1WYfIXlBbp0AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T00:34:30.890241Z","bundle_sha256":"d66f218c2310b7759b32f81a00956055ee6bb9f47f0d92aff885ea33bfd0e2ff"}}