Formal structure boosts LLM accuracy on legal entailment but does not produce faithful reasoning, with scope laundering and other failures persisting across models on ContractNLI.
arXiv preprint arXiv:2510.09970 , year=
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning
Formal structure boosts LLM accuracy on legal entailment but does not produce faithful reasoning, with scope laundering and other failures persisting across models on ContractNLI.