Pith Number

pith:4JXHESGL

pith:2026:4JXHESGLU6L556TCJYDVOGL24T

not attested not anchored not stored refs resolved

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning

Leilani H. Gilpin, Olivia Peiyu Wang

AI legal tools can avoid unsupported conclusions by pairing language models with formal logic checks.

arxiv:2605.14049 v1 · 2026-05-13 · cs.AI · cs.CL · cs.CY

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{4JXHESGLU6L556TCJYDVOGL24T}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest 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.

C2weakest 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.

C3one line summary

A neuro-symbolic system is proposed that uses formal logic to constrain LLM outputs so legal inferences stay faithful to source text.

References

25 extracted · 25 resolved · 4 Pith anchors

[1] Findings of the Association for Computational Linguistics: EMNLP 2021 , pages= 2021

[2] Journal of Legal Analysis , volume= 2024

[3] A Treatise of Legal Philosophy and General Jurisprudence , volume= 2005

[4] Proceedings of the 15th international conference on artificial intelligence and law , pages=

[5] University of Toronto Law Journal , volume= 2018

Receipt and verification

First computed	2026-05-17T23:39:12.662501Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

e26e7248cba797defa624e0757197ae4c6278ad652758ea1e581f9d7548cebf6

Aliases

arxiv: 2605.14049 · arxiv_version: 2605.14049v1 · doi: 10.48550/arxiv.2605.14049 · pith_short_12: 4JXHESGLU6L5 · pith_short_16: 4JXHESGLU6L556TC · pith_short_8: 4JXHESGL

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/4JXHESGLU6L556TCJYDVOGL24T \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: e26e7248cba797defa624e0757197ae4c6278ad652758ea1e581f9d7548cebf6

Canonical record JSON

{
  "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
  }
}