{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4JXHESGLU6L556TCJYDVOGL24T","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":"3c96427f2288f92ca6afc67f6c55987c2ce2d4aac33595ef7fe408f230f358e1","cross_cats_sorted":["cs.CL","cs.CY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T19:11:09Z","title_canon_sha256":"cc44adaf10f99dabd0872bc3439f93cf556fefbe225c96cddd8c4e4958009a17"},"schema_version":"1.0","source":{"id":"2605.14049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14049","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14049v1","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14049","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"pith_short_12","alias_value":"4JXHESGLU6L5","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"4JXHESGLU6L556TC","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"4JXHESGL","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:3902e3d06c894be381655145434d1d794618db68ca1934b62b0a529a6105ee58","target":"graph","created_at":"2026-05-17T23:39:12Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"The central problem is not simply that LLMs hallucinate facts and references; it is that they systematically draw inferences that go beyond what the source text actually supports, presenting assumption-laden conclusions as if they were logically grounded."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That formal verification techniques can be integrated with LLMs at scale to enforce faithfulness without losing the models' ability to handle natural-language legal text."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A neuro-symbolic system is proposed that uses formal logic to constrain LLM outputs so legal inferences stay faithful to source text."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"AI legal tools can avoid unsupported conclusions by pairing language models with formal logic checks."}],"snapshot_sha256":"68e5150081d771397269412630dd68150e02ec6018c05d1d7eeb3bf0397c99ef"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The growing adoption of large language models in legal practice brings both significant promise and serious risk. Legal professionals stand to benefit from AI that can reason over contracts, draft documents, and analyze sources at scale, yet the high-stakes nature of legal work demands a level of rigor that current AI systems do not provide. The central problem is not simply that LLMs hallucinate facts and references; it is that they systematically draw inferences that go beyond what the source text actually supports, presenting assumption-laden conclusions as if they were logically grounded. ","authors_text":"Leilani H. Gilpin, Olivia Peiyu Wang","cross_cats":["cs.CL","cs.CY"],"headline":"AI legal tools can avoid unsupported conclusions by pairing language models with formal logic checks.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T19:11:09Z","title":"Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning"},"references":{"count":25,"internal_anchors":4,"resolved_work":25,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Findings of the Association for Computational Linguistics: EMNLP 2021 , pages=","work_id":"324ecbd3-e7b0-451a-a9d0-edfe201d080c","year":2021},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Journal of Legal Analysis , volume=","work_id":"ffa0f604-329b-4ea3-a0f0-dd3839a89f1c","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"A Treatise of Legal Philosophy and General Jurisprudence , volume=","work_id":"c08dd758-b2d8-4565-9ef5-b583d649e122","year":2005},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Proceedings of the 15th international conference on artificial intelligence and law , pages=","work_id":"03766092-ac2f-4cb9-b138-5e5b0c991986","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"University of Toronto Law Journal , volume=","work_id":"bfb1c976-7628-4293-a259-93fc3338c5fb","year":2018}],"snapshot_sha256":"0e1595fc2c372e7789124b3748fd42ddd6bb7f6400a041c156fd5ff8334903fc"},"source":{"id":"2605.14049","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T05:19:40.337030Z","id":"c7804377-6de7-4931-97b6-96775fde840c","model_set":{"reader":"grok-4.3"},"one_line_summary":"A neuro-symbolic system is proposed that uses formal logic to constrain LLM outputs so legal inferences stay faithful to source text.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"AI legal tools can avoid unsupported conclusions by pairing language models with formal logic checks.","strongest_claim":"The central problem is not simply that LLMs hallucinate facts and references; it is that they systematically draw inferences that go beyond what the source text actually supports, presenting assumption-laden conclusions as if they were logically grounded.","weakest_assumption":"That formal verification techniques can be integrated with LLMs at scale to enforce faithfulness without losing the models' ability to handle natural-language legal text."}},"verdict_id":"c7804377-6de7-4931-97b6-96775fde840c"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:93c293b2cdcf66f6e8a503a6923eec0a019ae6cdb83d32ce9eeecf0bb869cfac","target":"record","created_at":"2026-05-17T23:39:12Z","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":"3c96427f2288f92ca6afc67f6c55987c2ce2d4aac33595ef7fe408f230f358e1","cross_cats_sorted":["cs.CL","cs.CY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T19:11:09Z","title_canon_sha256":"cc44adaf10f99dabd0872bc3439f93cf556fefbe225c96cddd8c4e4958009a17"},"schema_version":"1.0","source":{"id":"2605.14049","kind":"arxiv","version":1}},"canonical_sha256":"e26e7248cba797defa624e0757197ae4c6278ad652758ea1e581f9d7548cebf6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e26e7248cba797defa624e0757197ae4c6278ad652758ea1e581f9d7548cebf6","first_computed_at":"2026-05-17T23:39:12.662501Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:12.662501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CfrQ5XqICrn58smdVwXK2dTnwSjgLbe/R7hiysLTGBfaiY82m+2H1UTJes4TOY+IkFCPXIYkCmWV1PAliHTiAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:12.663209Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:93c293b2cdcf66f6e8a503a6923eec0a019ae6cdb83d32ce9eeecf0bb869cfac","sha256:3902e3d06c894be381655145434d1d794618db68ca1934b62b0a529a6105ee58"],"state_sha256":"cecbb455d8196225fe3db55a0ef0767d4838408e1641caecd56b2ebdf11078e9"}