paper-with-me

Papers

Better Call CLAUSE: A Discrepancy Benchmark for Auditing LLMs Legal Reasoning Capabilities

2025-11-01 · Manan Roy Choudhury, Adithya Chandramouli, Mannan Anand, Vivek Gupta arxiv

The rapid integration of large language models (LLMs) into high-stakes legal work has exposed a critical gap: no benchmark exists to systematically stress-test their reliability against the nuanced, adversarial, and often subtle flaws present in real-world contracts. To address this, we introduce CLAUSE, a first-of-its-kind benchmark designed to evaluate the fragility of an LLM's legal reasoning. We study the capabilities of LLMs to detect and reason about fine-grained discrepancies by producing over 7500 real-world perturbed contracts from foundational datasets like CUAD and ContractNLI. Our novel, persona-driven pipeline generates 10 distinct anomaly categories, which are then validated against official statutes using a Retrieval-Augmented Generation (RAG) system to ensure legal fidelity. We use CLAUSE to evaluate leading LLMs' ability to detect embedded legal flaws and explain their significance. Our analysis shows a key weakness: these models often miss subtle errors and struggle even more to justify them legally. Our work outlines a path to identify and correct such reasoning failures in legal AI.

📄 PDF Abstract BibTeX arXiv:2511.00340

Code (0)

등록된 구현이 없습니다.

Tasks

Legal Reasoning

Similar Papers 제목 키워드 기반

Revisiting Data Auditing in Large Vision-Language Models

2025-04-25 · Hongyu Zhu, Sichu Liang, Wenwen Wang, Boheng Li 외

With the surge of large language models (LLMs), Large Vision-Language Models (VLMs)--which integrate vision encoders with LLMs for accurate visual grounding--have shown great potential in tasks like generalist agents and…

Visual Grounding

Characterization of Glue Variables in CDCL SAT Solving

2019-04-25 · Md Solimul Chowdhury, Martin Müller, Jia-Huai You

A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels in a given learned clause. The lower the …

AGB-DE: A Corpus for the Automated Legal Assessment of Clauses in German Consumer Contracts

2024-06-10 · Annual Meeting of the Association for Computational Linguistics 2024 8 · Daniel Braun, Florian Matthes

Legal tasks and datasets are often used as benchmarks for the capabilities of language models. However, openly available annotated datasets are rare. In this paper, we introduce AGB-DE, a corpus of 3,764 clauses from Ger…

Detection of potentially void clauses

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

2024-01-19 · Jiongzhi Zheng, Zhuo Chen, Chu-min Li, Kun He

MaxSAT is an optimization version of the famous NP-complete Satisfiability problem (SAT). Algorithms for MaxSAT mainly include complete solvers and local search incomplete solvers. In many complete solvers, once a better…

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting

2025-12-05 · Menghua Jiang, Haokai Gao, Shuhao Chen, Yin Chen arxiv

Partial Maximum Satisfiability (PMS) and Weighted Partial Maximum Satisfiability (WPMS) generalize Maximum Satisfiability (MaxSAT), with broad real-world applications. Recent advances in Stochastic Local Search (SLS) alg…