Papers for

legal compliance teams

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Authenticated data updates secure database queries and evidence use

Revision-Bound Evidence Cuts: Authenticated Queries and Contextual Witness Capacity

Abstract: Authentic records can support unauthorized narratives when their qualifications, query scope, or counterevidence are silently dropped. We present revision-bound evidence cuts, a framework for authenticating both supporting and opposing inference obligations across changing source versions. Signed complete-update frontiers permit transport of unaffected certificates, alternative-cut recovery, and an exact certified-reuse radius given by a frontier-hypergraph transversal number. Their source obligations induce an integral model of context-bound authorization. To secure database-derived claims, we introduce an authenticated relational query contract that binds original source records, complete selected bags, counting units, parameters, and aggregates independently of execution strategy. A full-source verifier checks 16,824 Chogha Mish records across SQLite scans, indexes, and materialized views; three valid strategies agree and eight contract/view mutations are rejected. A separate 340-row NISP cohort shows that changing the admitted weighting rule can reverse a comparison while preserving every source record. A frozen English text-to-frame compiler produces qualified evidence receipts, with linguistic accuracy evaluated separately from cryptographic integrity. We also separate logical-source from transport commitments so lossless re-encoding need not invalidate unchanged scientific evidence. The SCENE prototype evaluates signed revisions, authenticated queries, scoped disclosures, and adversarial mutations at scales reaching one million source records. These guarantees rely on declared policies and independently pinned trust roots; they authenticate specified computations and obligations, not historical truth, complete counterevidence, or institutional endorsement.

Tue 27 OctCryptography and SecurityDatabases
The gist
Sometimes records used to support claims can be misrepresented by ignoring important details or opposing information. The authors present a way to verify both supporting and opposing evidence as data changes over time, ensuring authenticity. Their method includes certifying queries and updates, checking that evidence matches original sources even if processing methods change. They tested their system on large datasets with different query strategies, confirming consistent and secure results.
Open → 2610.37982v1

Graph-based method improves document compliance checking accuracy

UCVE: Graph Structured Retrieval for Compliance Validation

Abstract: Structured compliance validation requires determining whether every obligation in a predefined requirement space is satisfied, violated, or unaddressed by a given document. This can be described as a coverage problem that existing retrieval and classification systems, by treating requirements as independent, are not designed to solve. We introduce \textbf{\ac{UCVE}}, a domain-agnostic framework that represents compliance requirement spaces as a \ac{CRG} and performs retrieval via spectral reranking over its reinforcement learning-weighted Laplacian. Edges between requirement nodes are learned via reinforcement learning with a traversal reward grounded in violation detection, reshaping the graph's community structure such that low-pass spectral filtering distinguishes relevant from irrelevant obligation clusters. Evaluating across three compliance domains, \ac{UCVE} averages 4.3\% matched-$K$ recall lift over flat cosine retrieval and consistently outperforms strong retrieval and graph-based baselines.

Tue 27 OctComputation and Language
The gist
Checking if a document meets all specific rules can be tricky when rules depend on each other. The authors introduce a new way called UCVE that sees these rules as connected points in a graph. By learning how these connections matter, their method better finds which rules a document meets or breaks. Tested in different areas, this approach consistently improved accuracy over older methods that look at rules one by one.
Open → 2610.37323v1

Agreement based measure captures ambiguity in rules and policies

A Contextual Measure of Ambiguity in Prescriptive Text

Abstract: Ambiguity in prescriptive text such as laws, contracts, rules, policies, or recommendations can be both desirable (e.g., if it enables a law to adapt to changing context, such as new technologies) and undesirable (e.g., if it leads to arbitrary discretion or conflict over the law's interpretation). To help navigate these trade-offs, it would be valuable to have methods for quantifying ambiguity that are predictive of such outcomes, but existing measures capture how text is perceived in isolation rather than how it is interpreted in context. In this paper, we propose quantifying ambiguity as the degree of disagreement among a set of stakeholders ("raters") on how alternative prescriptive texts ("policies") apply in each of a set of relevant scenarios ("cases"). Using two policy domains, we present preliminary analysis suggesting that, even when using simulated raters, this approach (i) correlates with real human disagreement, and (ii) is robust to spurious text features. We then apply the measure to existing deliberation datasets to describe the association between policy ambiguity and support for those policies.

Mon 26 OctComputation and Language
The gist
Figuring out when rules or laws are unclear is tricky because the same words can be understood differently depending on the situation. The authors suggest measuring ambiguity by seeing how much different people disagree about how rules apply to various examples. They tested this idea using two different policy areas and found the measure matches real human disagreements and ignores unimportant text details. This method can also show how unclear a rule is linked to how much people support it.
Open → 2610.35461v1

Enterprise agents struggle with evolving multimodal workplace records

MMEnterprise-Bench: Evaluating Enterprise Agents over Evolving Multimodal Records

Abstract: Enterprise agents answer questions over workplace records that evolve through team collaboration. As information is shared, corrected, and revised across documents, chats, and figures, multiple versions of the same information accumulate in the workspace. Reliable question answering therefore requires agents to reason over sufficient evidence, resolve cross-source and temporal conflicts, and recognize when the available evidence is insufficient to establish an answer. To systematically evaluate these capabilities, we introduce MMEnterprise-Bench, a benchmark comprising 1,613 questions grounded in evolving multimodal records from simulated collaboration projects, covering three categories: Evidence Reasoning, Conflict Resolution, and Unanswerability. We evaluate 10 proprietary and open-source multimodal LLMs and find that even the strongest models struggle when evidence contains cross-source or temporal conflicts or spans multiple images. Moreover, increasing the retrieval budget or employing a larger retriever improves evidence recall but does not consistently translate into higher answer accuracy. These findings highlight the persistent challenges of reasoning over evolving workplace records and establish MMEnterprise-Bench as a testbed for developing more reliable enterprise agents. Code and data are available at https://mlvlab.github.io/MMEnterprise-Bench/.

Tue 20 OctArtificial Intelligence
The gist
Workplace information often changes and is shared through documents, chats, and images, making it hard for AI agents to answer questions reliably. The authors created a test called MMEnterprise-Bench with over 1,600 questions to see how well AI handles changing and conflicting information from multiple sources. They found current models have trouble when information conflicts or comes from multiple images, and simply retrieving more data doesn’t always help. This benchmark helps measure progress in building better AI agents for complex workplace environments.
Open → 2610.27911v1

ComplianceAgent uses AI to check legal texts fast and accurately

An LLM-Based Agent for Legal Compliance Assessment: Architecture, Memory, and Evaluation in a Canadian and Quebec Context

Abstract: Checking whether a text complies with a body of law is slow when done by hand and fragile when done with keyword rules. This paper presents ComplianceAgent, the legal compliance sub-agent of COMPASS, a multi-agent framework that evaluates texts along four axes: digital sovereignty, carbon impact, compliance, and ethics. The agent relies on a large language model that scores a text on a fixed rubric, grounds its judgment in a reference legal corpus, and, when the score falls at or below a critical threshold, runs a corrective chain made of self-healing rewrites, a compliance label, an explainability report, and escalation to a human reviewer. We describe what the language model does at each step, how the memory of the agent is organized, and how the same implementation can be pointed at different reference corpora. We evaluate the agent in a Canadian and Quebec context, on a corpus of thirteen legal instruments that brings together federal and provincial texts, international treaties, and municipal documents of the City of Trois-Rivières. The evaluation relies on a hand-annotated gold standard of fifteen texts and combines classification metrics, a repeated-query stability test, retrieval precision, and a composite score. On this gold standard the agent separates every conforming text from every non-conforming one, its scores remain stable under repeated queries, and the index returns relevant passages.

Mon 19 OctArtificial Intelligence
The gist
Checking if a text follows laws is slow and tricky with just keywords. The authors made ComplianceAgent, an AI tool that scores texts based on legal rules and explains its decisions. It can rewrite texts that don't meet standards and ask a human to review if needed. They tested it with various Canadian laws and found it consistently correct and reliable.
Open → 2610.27347v1

Attack alters embedded watermarks in language model text outputs

Pin It on Anyone: Certified Targeted Displacement of Multi-Bit LLM Watermarks Without the Key

Abstract: Multi-bit watermarking embeds a message, typically an account identifier, into LLM output so that harmful text can be traced to its origin. We show an attack technique that allows to alter the watermarking message. This allows to, for example, exchange the embedded account ID to an arbitrary different one. The attacker mainly needs access to a few accounts for generating LLM output and model logits, but crucially not the secret key used to watermark. The attacker then rewrites the text, keeping its meaning, so that the watermarking message decoder recovers the watermarking message embedded by the attacker. We are, to our knowledge, the first to propose such an attack, which we call a targeted displacement. Theoretically, we present upper and lower bounds on the probability of our attack succeeding. This bound depends on the number of accounts the attacker has access to, the length of the message and some characteristics of the given text. Our attack can succeed whenever we can bound the ambiguity of the generated text well enough. Empirically, we test our attack technique against five watermarking methods and four LLMs. Attack success tracks our predicted bounds, allowing us to alter watermarking messages in almost all cases with high accuracy, given enough accounts. Our code can be found at https://github.com/Batorskq/PinIt.

Tue 13 OctCryptography and SecurityComputation and Language
The gist
Some language models add hidden marks called watermarks to their text outputs to track harmful messages back to their sources. This paper shows a new way to change those hidden marks without knowing the secret key used to create them. The attackers rewrite the text so the hidden mark now points to a different account. The researchers tested their method on multiple watermark techniques and models, finding it works very well when attackers have access to outputs from several accounts.
Open → 2610.18359v1

Engine finds changing views in political debates over time

TL;QR: Querying Temporal Discursive Patterns in Textual Corpora

Abstract: Many questions about large textual corpora concern patterns that unfold over time, such as a political group whose stance on a topic drifts from support to criticism over several years of debates. We present TL;QR (Too Long; Query with logical temporal Reasoning), a declarative query language and open-source engine for finding such temporal discursive patterns. In TL;QR, a single query combines natural-language predicates, whose truth is judged by a Large Language Model (LLM), with regular expressions and the operators of a temporal logic. The LLM answers only local questions about individual text passages; a symbolic engine then aggregates these judgments over time and links every match to the recorded passages and predicate decisions behind it. With this division of labor, the temporal and relational reasoning stays exact and auditable even over long time horizons. In addition, when a query includes a regular-expression pre-filter, only a small fraction of the corpus ever reaches the LLM. On a suite of controlled synthetic benchmarks with temporally and semantically complex patterns, TL;QR is substantially more accurate than LLM-only baselines. In a case study on ten years of European Parliament debates (442,593 multilingual speeches), TL;QR identifies candidate shifts in the political groups' stances on the GDPR privacy regulation.

Sun 11 OctComputation and LanguageComputers and SocietyDatabases
The gist
Large collections of texts often contain stories or opinions that change gradually over years, like politicians shifting their stance on an important topic. The authors created TL;QR, which is a special tool that can search for these changes by combining clever computer logic with the help of AI that understands language. Their system reads small pieces of text to judge their meaning, then carefully puts those pieces together to find long-term patterns without losing accuracy. They tested it on fake data and a big set of European Parliament speeches, successfully spotting shifts in political opinions about privacy laws.
Open → 2610.15712v1

Insurance claim adjudication reliability drops along decision steps

InsClaimBench: Benchmarking Insurance Claim Adjudication Across the Decision Chain

Abstract: Recent advances in reasoning-oriented large language models (LLMs) have motivated increasing evaluation of their ability to perform professional decision tasks. Insurance claim adjudication is one such task, requiring models to connect case evidence, insurance rules, intermediate judgments, and payout calculations across a structured decision process. We introduce InsClaimBench, an end-to-end benchmark for evaluating insurance claim adjudication across the decision chain. Grounded in real claim materials and structured insurance rules, InsClaimBench contains 3,780 cases in 375 case families across auto, property, and health insurance, comprising 86,656 atomic rule judgments. It evaluates each claim from atomic rules through adjudication modules to payout decisions and amounts, with controlled factual variants testing whether required changes are correctly propagated across levels. Evaluation of six LLMs reveals a progressive loss of reliability along the decision chain. Payout-decision accuracy ranges from 74.23--80.19%, while joint decision--amount accuracy drops to 47.54--73.15%. Strong local performance also fails to ensure case-level correctness: atomic-rule accuracy reaches 95.48%, whereas rule-vector exact match peaks at only 36.90%, and the most frequent module errors are not necessarily those most associated with final-decision failure. Under factual changes, these inconsistencies further become propagation failures: module updates are less reliable than rule updates, correct local judgments can still yield incorrect payouts, and correct payouts can conceal intermediate errors. These results show that reliable claim adjudication requires consistent composition and propagation across the decision chain.

Wed 7 OctComputation and Language
The gist
Insurance claim decisions involve many steps, like checking facts, applying rules, and calculating payouts. The authors created a test called InsClaimBench to see how well large language models can handle these steps using real insurance cases. They found that while some steps are done well, the overall decisions often become less reliable as errors build up along the way. This means that just getting individual parts right doesn’t guarantee the whole decision will be correct.
Open → 2610.09671v1

Privdev links personal data types to privacy vocabularies and gdpr rules

PrivDev: Mapping Static-Analysis Data Types to DPV

Abstract: Static-analysis scanners can identify personal-data types in source code, but they lack mechanisms to connect these findings to standardized privacy vocabularies. PrivDev maps 122 Bearer CLI data types to Data Privacy Vocabulary Personal Data (DPV-PD) categories and links them to potentially relevant GDPR provisions. Our approach combines deterministic mapping for 43 exact-label matches with a retrieval-grounded Large Language Model (LLM) to resolve the remaining 79 non-trivial mappings. The resulting RDF knowledge graph contains 118 ODRL policy resources that were structurally validated using SHACL. The artifact passed five complementary validation gates that cover structural correctness, query consistency, retrieval quality, LLM-based assessment, and human evaluation. In human evaluation, nine annotators produced 711 judgments, yielding a raw agreement of 0.72, Gwet's AC1 of 0.68, and Gwet's AC2 of 0.88. Our results indicate that the proposed mappings are plausible and reproducible, while also revealing ambiguities in scanner-defined data-type labels and coverage gaps in DPV-PD.

Fri 2 OctCryptography and SecuritySoftware Engineering
The gist
It can be hard to understand how personal data found in computer code relates to official privacy rules. The authors created PrivDev to connect 122 personal-data types identified by a scanner to a standard privacy vocabulary called DPV and to relevant GDPR laws. They matched some types exactly and used a smart language model for the harder cases, checking carefully to make sure these links make sense. By doing this, their work helps clarify privacy information in code and shows where the scanner or vocabularies need improvement.
Open → 2610.03518v1

CreateScore cuts AI costs and boosts resume screening accuracy

CreateScore: Domain-Theory-Informed Bayesian Routing for LLM-Based CV Screening

Abstract: Large language models (LLMs) can support rubric-based screening of CVs, but applying a high-capability model to every candidate and criterion is costly. We present CreateScore, a domain-theory-informed Bayesian network for criterion-level LLM routing. A hand-specified directed acyclic graph with Dirichlet-multinomial conditional probability tables converts CV evidence into posterior uncertainty; low-uncertainty decisions are resolved by a local 8B model and uncertain ones are escalated to a 120B reference model. The graph is causally motivated, but the system performs standard Bayesian conditioning, not causal inference. The escalation threshold is calibrated on a training fold (target: 70% resolved locally) and then frozen. On 200 synthetic Data Science CVs (139 training and 61 test candidates, five criteria), 77.7% of criterion decisions were resolved locally (237 of 305). Relative to a reference condition in which the 120B model adjudicated every criterion, routed escalation reduced token use by 65.2% and raised exact score agreement from 32.8% (8B alone) to 42.6% (95% CI 31.0-55.1%); at n = 61 the gain was not statistically distinguishable. The uncertainty signal did not, however, identify the decisions on which the 8B model erred: disagreement with the reference was 16.2% among escalated and 19.4% among locally resolved decisions (AUROC 0.47, 95% CI 0.39-0.56), no better than random selection. We also document how an earlier evaluation was invalidated when truncated reasoning-model outputs were silently replaced by local labels, and we recommend safeguards for cascade evaluation. CreateScore is supported as an auditable cost-reduction mechanism, not yet as a targeted error detector, and is not an autonomous hiring system.

Fri 2 OctArtificial Intelligence
The gist
Screening many resumes with powerful language AI models can be expensive. The authors created CreateScore, a system that uses a smaller AI model for simple decisions and only calls a bigger AI when unsure. This method saved a lot of computing resources and improved decision accuracy compared to using only the smaller model. However, the system couldn’t perfectly identify which decisions needed the bigger AI and is meant as a tool to reduce costs, not to replace human hiring teams.
Open → 2610.02972v1

Large language models evaluated for trustworthy financial transcript analysis

A Citation-Grounded Benchmark for Trustworthy Earnings Call Transcript Analysis with Large Language Models

Abstract: Large language models (LLMs) have been increasingly used for financial document analysis, including earnings call transcripts (ECTs). Beyond generating standalone claims, users increasingly prefer grounded analyses that pair claims with verifiable citations from source documents to enable independent validation. However, evaluating such analytical claims typically requires extensive expert annotation, which is costly and difficult to scale, and real-world financial analysis commonly involves long context-question-answer triplets, further increasing task complexity. To address these challenges and benchmark the current landscape of grounded analysis by LLMs, we propose a numeric evidence evaluation method that enables groundedness assessment without reliance on expert annotation. We also introduce an automated dataset construction pipeline and construct ECTs-100 from the top 100 constituents of the S&P 500 to support benchmark of both groundedness and correctness. In addition, we examine conscious incompetence, a practical failure mode in financial analysis in which LLMs must detect when available evidence is insufficient and refrain from producing unsupported hallucinations. Empirical results show that LLMs perform well in groundedness but face notable limitations in correctness, with informational insufficiency presenting an additional challenge.

Thu 1 OctComputation and LanguageArtificial Intelligence
The gist
Financial earnings call transcripts are long and complex, making it hard to check if computer-generated summaries are accurate and can be trusted. The authors created a new way to measure how well these language models base their answers directly on the actual transcript, without needing expensive expert reviews. They also built a dataset of 100 real company transcripts to test these models. The study found that while models usually cite evidence correctly, they often struggle to give fully accurate answers and sometimes can’t tell when they don’t have enough information to respond.
Open → 2610.00969v1

Multi-agent system improves compliance during language model training

MASCRDM: Multi-Agent System for Compliance Risk Detection and Mitigation in Training Process of Large Language Models

Abstract: Large Language Models (LLMs) have been applied in various fields. However, ensuring compliance and safety of LLMs, such as avoiding discrimination and bias, still remains a challenge. Current efforts mainly focus on detecting and filtering inputs and outputs of the trained models, rather than studying the intrinsic architecture of the models in real-time. To tackle this challenge, we analyze the LLMs training process and discover two critical issues: 1) Most of the existing methods are predominantly static in their approach to detection and filtering, achieving only localized optimizations without systematically enhancing the compliance of LLMs. 2) Another issue with existing approaches is the lack of real-time risk detection and mitigation across the full training process, which leads to limited flexibility. Motivated by these, we propose MASCRDM (Multi-Agent System for Compliance Risk Detection and Mitigation) during the LLM training process. Firstly, we develop a set of compliance rules based on existing Artificial Intelligence (AI) laws and a compliance-specific LLM with the instruction of compliance law experts. Then, we deconstruct LLMs into several components and identify key nodes based on the compliance knowledge graph. During LLMs training, we implement our multiple agents in the whole process, giving compliance risk alerts and suggestions for LLM developers. Experiments on discrimination and bias benchmark demonstrate that our multi-agent system can effectively improve the compliance while maintaining reasonable semantic performance. The results indicate that our method provides an executable path for mitigating compliance risk from within the LLMs systematically.

Wed 30 SeptArtificial Intelligence
The gist
Large language models sometimes show biased or unsafe behavior. The authors found existing methods mainly look at inputs or outputs after training, missing problems during training itself. They designed a system with multiple agents that watch the training process in real-time, alerting developers about compliance risks like discrimination and suggesting fixes. Tests showed this system helps make the model fairer while keeping its ability to understand language.
Open → 2609.39107v1

Multilingual system tags personal data faster and more accurately than before

Strong Multilingual Privacy Tagging at Encoder Speed

Abstract: Privacy redaction must remove personal information while preserving relationships expressed in text. We develop a multilingual named-entity tagger with fine-grained distinctions supporting varied redaction policies and methods for cheaply learning additional distinctions. We fine-tune a multilingual encoder with an affine span-tagging head on frontier-model annotations in 35 languages, replay mapped human gold with coverage-aware masking so unannotated types are not treated as negatives, and repair subword boundaries with a learned +/-1-character adjustment. On 1,283 human-gold test segments in seven languages, best measured redaction F1 is 88.8, against 69.1 for published GLiNER2 with 11 unrepresentable types excluded from its task (68.8 without that exemption), 67.8 for GLiNER2 adapted to the new training data, 57.3 for Microsoft Presidio and 35.8 for the best published OpenAI Privacy Filter fine-tune. Adding about 50,000 annotated training sentences and increasing human-gold replay improves exact typed-span F1 from 74.5 to 76.3 on Ont3, our 31-type frontier-annotated NER evaluation of 1,201 development segments. Mapped-gold replay alone raises human-gold F1 by ten points without loss on frontier-annotated text; boundary adjustment adds 1.7 exact typed-span F1 points on Ont3. Local LLMs fitting on a single 96-GB GPU underperformed as prompted annotators and frozen encoders, with encoding 30-95 times slower than XLM-R inference and prompted annotation roughly 180-1,100 times slower in the evaluated configurations. The encoder architecture delivers 4.9 times GLiNER2's CPU throughput. We release code, prompts and training recipes, with data-acquisition scripts and source links.

Tue 29 SeptComputation and Language
The gist
Finding and hiding personal information in text is important to protect privacy, but it can be tricky to do well across many languages. The authors created a new tagging system that quickly and precisely identifies different types of personal data in 35 languages, doing a better job than previous tools. Their method uses advanced language models fine-tuned with human-reviewed data and clever tricks to avoid errors. It runs much faster than competitors and can be extended cheaply to recognize new kinds of personal info.
Open → 2609.38630v1

System detects and explains forgery in multilingual document images

Team MSU GenText-Forensics Challenge 2026 Technical Report

Abstract: Document text forgery has evolved beyond simple pixel-level manipulation: modern attacks alter not only the appearance of a document but also its meaning, and increasingly target the OCR & LLM pipelines that consume such documents. The ACM MM 2026 GenText-Forensics challenge therefore requires systems that not only decide whether a multilingual text image is forged, but also localize the point of manipulation, identify the attack type, and produce a human-readable forensic report with supporting evidence. We present our solution, a decomposed chain-of-thought (CoT) pipeline that combines a document tampering detector (DTD) with two Qwen3-VL-32B vision-language models, each LoRA-adapted to a distinct sub-task. DTD produces tampering probability maps that are converted into numbered candidate regions; a first model (the Filterer) validates these regions and assigns a preliminary forgery type, while a second model (the Semantic Detective) merges and re-grounds the surviving regions, searches for purely semantic anomalies that are invisible to pixel-level detectors, and writes the final report. Both models are trained by distilling chain-of-thought traces from a privileged Qwen3-VL-235B teacher that has access to ground-truth masks and reports. Our approach secured third place in the ACM MM 2026 GenText-Forensics challenge. We describe the data preparation, test-time augmentation, region rendering, distillation protocol, and training configuration in detail, and report ablations over detector thresholds, prompt designs, and pipeline decompositions.

Tue 29 SeptComputer Vision and Pattern Recognition
The gist
Documents can be manipulated not just by changing pixels but by altering their meaning, which tricks systems that read text automatically. The authors present a system that finds whether a document’s text image is fake, points out exactly where it was changed, figures out the kind of forgery, and writes a clear explanation. Their system uses several models working together: one finds suspicious areas, a second checks these areas and guesses the attack type, and a third looks for changes in meaning that are hard to spot visually. Their method ranked third in a challenge testing such forgery detection.
Open → 2609.38391v1

Framework supports legal decisions with explainable rule-based reasoning

A decision-support system applied to Law: Reasoning and explainability of the decision

Abstract: The emergence of the digital transition brought an increasing need to control the processing of digital information, including in Law Enforcement Agencies (LEAs). At the EU level, in recent years, many regulations have emerged to control data processing and exchange. Texts other than the GDPR, such as the ''Law Enforcement Directive (LED)'', appeared to regulate specifically how Law Enforcement Agencies (LEAs) could process data. A formal representation of these regulations can be part of decision systems that support LEAs in processing data in compliance with the regulations. Although many new formalisms have emerged to represent legal norms and rules, few are provided with a reasoning mechanism. Furthermore, systems used in decision-making processes in critical contexts such as medical diagnoses or legal decisions cannot be fully automated, and the explainability of their results is essential to ensure user confidence in decisions. This explainability aspect, while crucial, is lacking in most modern approaches that rely on machine learning. This paper describes a framework to operate formal rules from regulations, by focusing on explainability of the decision. After describing the general architecture of the proposed decision support framework, the paper showcases how symbolic AI and the SPARQL query language can support legal reasoning. It then describes an algorithm to generate a justification for the reasoning results, and outlines the procedure to be followed when the reasoning does not lead to a satisfactory conclusion. We notably focus on a method based on decision trees to determine what additional information to request from the user.

Mon 28 SeptArtificial Intelligence
The gist
As laws increasingly regulate how police handle digital data, making sure these rules are followed is important but complex. The authors designed a system that turns legal rules into clear computer instructions, so police agencies can follow them correctly. This system uses symbolic AI and queries to reason about the rules and explains how it reached each decision, building trust. If information is missing, the system can suggest what else to ask for to reach a good conclusion.
Open → 2609.35370v1

Practitioner views reveal new challenges in AI data quality management

Rethinking Data Quality for AI-Driven Systems: Evidence from Practitioner Interviews

Abstract: Data quality research has usually treated data as an input that is stored, processed, and validated. In AI-driven software-intensive systems, data also shapes model behavior, evaluation, and lawful use. Empirical evidence remains limited on how practitioners define, assess, and manage quality under these conditions. We interviewed 16 practitioners from nine organizations and analyzed the transcripts using reflexive thematic analysis and developed six themes from participants' accounts. In AI systems, traceability shifted from modular debugging to attributing model behavior, while using models as quality assessors introduced circularity. Agent context and memory became data objects, and synthetic and pseudo-labeled data made authenticity a quality concern. In foundation-model development, lawfulness became a gate for training data, while representativeness was judged through coverage of situations in which the system must behave safely. Prior ML research examines many of these problems separately. Our study provides a practitioner-grounded account of how they are encountered together as an engineering and organizational concern. We also interpret five recurring conditions as helping explain how the themes relate to reduced trust in data and AI outcomes. We synthesize these findings through lifecycle assurance: a conceptual framing focused on producing evidence that data can support a specific AI claim when its influence may be embedded in model behavior, model-based judgments, or agent actions.

Fri 25 SeptSoftware EngineeringArtificial Intelligence
The gist
Data quality in AI systems is more than just checking data accuracy; it also affects how AI models behave and make decisions. The authors talked to people who build these systems to find out how they think about and manage data quality. They discovered that issues like understanding the source of decisions, judging synthetic data authenticity, and ensuring legal use of data are part of everyday challenges. These challenges are connected to how much people trust the AI and its data throughout its whole development and use.
Open → 2609.31191v1

Claim-gated auditing ensures search answer sources match their claims

Claim-Gated Source-Risk Auditing for Generative Search

Abstract: A generative search answer can cite a supported passage yet omit a source relationship that changes its interpretation. We specify a claim-gated audit of the query-source-answer tuple. An omission is resolved only when relationship evidence, answer adoption, materiality, and disclosure are all observed; incomplete evidence remains unresolved rather than being treated as independence. The specification separates this endpoint from citation support and review priority, and binds decisions to versioned evidence spans. A reference checker makes the record contract executable. On an exhaustive synthetic suite, it reproduces all 81 three-state predicate combinations and rejects 192 deliberately malformed records. Common-guard baselines and predicate ablations isolate endpoint logic from missing-evidence handling, while controlled transitions check support separation and evidence removal. These are finite contract-conformance results, not detector accuracy or evidence of improved user outcomes. We define the independent annotation, held-out evaluation, and paired utility tests still required to establish semantic validity and deployment benefit.

Thu 24 SeptArtificial IntelligenceComputational ComplexityComputational Engineering, Finance, and Science
The gist
Sometimes, search engine answers show a passage from a source but miss a key detail about how that source relates to the answer, which can change its meaning. The authors present a strict way to check if the answer, its source, and the original query all line up correctly by looking for specific types of evidence. Their method either confirms the relationship fully or leaves it unresolved if the proof is incomplete, rather than assuming everything is fine. They tested their approach on synthetic data to verify it correctly handles many tricky cases and rejects bad records. They also stress that more testing is needed to prove it helps users in real-world situations.
Open → 2609.29145v1

Large language models face hidden compliance risks in AI laws

EADC: Evaluation of Advanced and Deep-level Compliance in Large Language Models

Abstract: Large Language Models (LLMs) have been used in various industries. However, ensuring their compliance with complex laws and regulatory frameworks remains a great challenge. Existing evaluation paradigms mainly rely on static benchmarks that suffer from three severe limitations: First, the compliance rules being used do not comply with the requirements of Artificial Intelligence (AI) laws and regulations; Second, they only handle apparent, explicit compliance risks, leaving implicit and covert compliance risks undetected; Third, they fail to track the systematic propagation of risks along logical dependency chains or evaluate compliance within nuanced, context-based real-world scenarios. To bridge this critical gap, we introduce EADC, a novel advanced evaluation benchmark of LLMs based on an AI compliance knowledge graph and AI compliance legal experts. By mapping abstract legal rules into structured logical multi-relational graphs, our framework enables automated, evolving agents to distill and synthesize highly sophisticated adversarial scenarios. This compliance benchmark is reviewed and corrected by human AI legal experts throughout the whole process. The resulting dataset (4,435+ QA pairs) provides an extensive, multi-dimensional taxonomy covering critical regulatory frontiers, including bias and discrimination, fairness, personal privacy protection, and values. Crucially, our compliance dataset moves beyond shallow string-matching by incorporating contextual long-horizon interactions and logic-driven hazard chains, capturing deeply embedded compliance anomalies that bypass traditional filters. Experiment evaluations demonstrate that our framework exposes critical regulatory blind spots in state-of-the-art LLMs, offering a rigorous, AI laws and regulations-aligned benchmark to safeguard high-level and deep compliance in the application of LLMs.

Tue 22 SeptArtificial Intelligence
The gist
Large language models are used in many areas, but it's hard to make sure they follow complex AI laws and rules. The authors created a new way to test these models using detailed legal knowledge and expert review to find tricky compliance problems that other tests miss. Their test covers important issues like fairness, bias, and privacy, and uses real-world scenarios where problems can happen over several steps. They found that current top language models still have important gaps in following regulations.
Open → 2609.26175v1

Human verifiers check AI claims under effort and error limits

Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency

Abstract: When an LLM supplies an argument that a user could not readily construct, how can the user decide whether to accept its claim? Inspired by interactive proofs, we model human-LLM deliberation as an interaction between a prover with unrestricted internal search and a resource-bounded human verifier. The verifier requests and checks supporting details without access to the LLM's internal state. Passed checks accumulate evidence toward an acceptance threshold. We prove anytime-valid soundness against adaptive provers: the probability of ever accepting a false claim is at most a chosen error level, provided the task supplies bounds on false passes and human checking errors that remain valid after every relevant history. A finite-horizon completeness bound additionally requires bounds on the adequacy of honest responses and sufficient diagnostic progress. Further checks can strengthen the evidence for acceptance, but each requires another adequate response and reliable human effort. Whether this tradeoff permits certification depends on the verifier's effort budget, cognitive load, expertise, and fatigue. We identify conditions under which the supplied bounds certify a specified sequence of local checks but not a specified global check under the same resource budgets.

Mon 21 SeptComputation and Language
The gist
When an AI language model makes a claim too complicated for a person to check directly, it's hard to know if it's true. The authors study how a human and AI can work together like a question-and-answer game where the human asks for proof details and checks them. They prove that if the human’s checking and the AI’s responses meet certain error limits, the human can trust the claim without seeing everything inside the AI’s ‘mind.’ But the human’s effort, expertise, and fatigue affect how much checking can be done. Their findings help understand how humans might verify AI statements without needing full transparency.
Open → 2609.24895v1

DeBERTa ensembles verify citation truthfulness in scientific reports

NLPCC 2026 Task 10: Citation-Level Faithfulness Verification with DeBERTa Ensembles and Class-Wise Calibration

Abstract: This paper presents our system for Track 2 of the NLPCC 2026 Shared Task 10 on citation-level faithfulness in AI-assisted scientific reporting. Given an atomic scientific claim and the structured full text of its cited paper, the task requires both a four-way relation label and up to three evidence paragraph identifiers. The label head ensembles a paragraph-aware cross-encoder with a document-level DeBERTa-large classifier, followed by class-wise decision calibration. Probability-level fusion is motivated by an out-of-fold tendency to over-predict Topical Match. The evidence head combines paragraph scores from top-20 and top-30 joint models with BM25 scores. The system runs fully offline without external retrieval or LLM prompting. On the final leaderboard, our system achieved 82.9898 overall (89.5491 Macro-F1 and 76.4305 Joint@3), ranking second in Track 2. Ablations and error analysis show that model complementarity and calibration drive the label gains. Gold-evidence inference changes label Macro-F1 negligibly, whereas evidence ranking remains important for Joint@3.

Sat 19 SeptComputation and Language
The gist
Scientific reports often use AI to help write claims that refer to other research papers. This paper presents a system that checks if a specific scientific claim is true according to the cited paper and also points out exactly which paragraphs support it. The system combines multiple AI models and techniques to improve accuracy without needing external searches or large language model prompts. It performed well in a public competition, ranking second with strong overall results.
Open → 2609.22774v1

Document version linking detects duplicates and conflicts accurately

GVD: Governed Versioning and Deduplication for Document Repositories

Abstract: Document repositories evolve continuously. Guidelines and policies are revised, superseded, and re-uploaded, so the same content recurs in different wording and newer versions refine or contradict earlier ones. These inconsistencies belong to the growing collection rather than to any single document, yet existing work treats versioning, duplicate detection, and contradiction detection as isolated pairwise tasks and stops once a pair is labeled. We present GVD (Governed Versioning and Deduplication), a framework that unifies cross-document version linking with rule-level conflict resolution under an auditable update policy. Incoming documents are assigned to version families through bidirectional rule alignment, and their rules are compared against the family memory to identify duplicates, contradictions, asymmetric refinements, and new knowledge, with Counterfactual Span Probing (CSP) resolving related pairs that inference misclassifies as neutral. Relation-specific policies suppress duplicates and escalate only consequential changes for review, retaining version lineage as an audit trail. The pipeline runs fully locally, with no large language model. On 120 enterprise documents processed as 140 ingestions across 59 version families, GVD reaches an F1 of 0.97 for version-family construction and 0.94 for rule-level consistency, with CSP raising rule consistency from 0.90 to 0.94.

Tue 15 SeptArtificial Intelligence
The gist
Document collections change over time, with many versions that sometimes have repeated or contradictory information. Existing methods look only at pairs of documents and don’t handle the whole collection well. The authors present GVD, a system that groups related document versions, finds duplicate and conflicting rules, and checks for version conflicts with a new technique they call counterfactual span probing. Their method keeps a clear record of versions and runs locally without big AI models, achieving high accuracy on enterprise documents.
Open → 2609.17696v1

New method ensures exact quote matching in large language model answers

Guaranteeing Faithful Evidence Extraction in Speculative Retrieval-Augmented Generation

Abstract: Large Language Models (LLMs) are increasingly used as interfaces for information retrieval, but they remain prone to hallucinations and faithfulness errors, in which the generated answers diverge from the retrieved evidence. While Retrieval-Augmented Generation (RAG) and recent hybrid or semi-extractive approaches mitigate this issue, they do not guarantee that quoted or extracted spans are verbatim from the retrieved context. This limitation can have severe consequences in safety-critical domains, where answers must exactly match certified documentation. We introduce Constrained Hybrid Decoding (CHyD), a novel faithfulness-first paradigm for speculative RAG. While traditional speculative decoding is optimized for inference speed, CHyD repurposes this architecture to ensure faithful verbatim evidence extraction when the extraction mode is correctly triggered. Our approach enforces hard decoding constraints that restrict generation to continuous spans present in the retrieved documents. This design provides a robust but straightforward guarantee: any explicitly quoted span in the output appears verbatim in the provided context. We evaluate our method across state-of-the-art LLMs on diverse abstractive, extractive, and semi-extractive QA benchmarks, including technical datasets motivated by aircraft maintenance. Results show that existing hybrid methods frequently hallucinate quoted spans, with exact extraction accuracy dropping below 40% in technical domains. In contrast, our approach achieves near-perfect extraction faithfulness regardless of the model used. Although enforcing hard constraints introduces a trade-off with fluency-oriented metrics, our method improves exact answer correctness and remains competitive overall, highlighting its suitability for safety-critical information retrieval applications.

Wed 9 SeptInformation Retrieval
The gist
Large language models often make up information instead of sticking exactly to the facts they retrieve. The authors created a new way to make these models only quote text that exactly appears in their source documents. This method ensures that any quoted information is perfectly faithful to the original, which is very important in fields like aircraft maintenance. Although this approach slightly reduces the smoothness of the text, it greatly improves accuracy and safety.
Open → 2609.10046v1

Which medical questions benefit most from detailed answer explanations

Which Medical Questions Deserve Rationales? Perturbation-Sensitive Selection for Robust QA

Abstract: Medical question-answering datasets often contain answer labels, whereas high-quality rationales remain scarce, noisy, or costly to validate. This changes the acquisition question: rather than asking which questions should be labeled, we ask which already-labeled questions should receive rationale supervision under a fixed token budget. We study an offline version of this problem in which candidate rationales are visible to the selector but withheld from downstream training unless selected. We propose root-mean-square Robustness-based Sample Prioritization (RMS-RSP), which perturbs hidden states only at rationale tokens and measures the resulting shift in the gold-versus-best-distractor margin. Across five medical QA datasets, MedGemma-4B-IT, three training seeds, ten budgeted non-RSP selectors, and an unbudgeted full-supervision reference, RMS-RSP provides a deliberately qualified result. Its locked-budget accuracy is 60.61% on average versus 60.08% for Random, with a statistically resolved gain only on AfriMed-QA (+1.44 points). Its full-budget accuracy area is not better than Random. However, after three answer-option reorderings, RMS-RSP improves robust accuracy and semantic consistency by 1.91 and 2.85 points on average, respectively, with the same direction on all five datasets. Training on every pool rationale raises macro accuracy to 63.74%, but consumes 29--254 times more rationale tokens and does not uniformly improve robustness. These findings do not establish universal accuracy gains; they instead suggest that rationale-local boundary sensitivity can identify supervision that improves invariance to semantically equivalent formatting changes.

Wed 9 SeptComputation and LanguageArtificial Intelligence
The gist
Medical question-answering systems often label correct answers, but detailed explanations (rationales) are rare and costly to produce. The authors studied how to pick which questions should get these explanations when there's a limited budget. They propose a method that identifies questions where explanations help improve answer consistency, especially when formatting changes. Their results show modest accuracy improvements overall but better robustness to changes in how questions are presented.
Open → 2609.09684v1

Search agents struggle to provide accurate civic information across governments

CIVI: A Framework for Diagnosing Search Agent Failures in Civic Information

Abstract: Large Language Models are increasingly deployed in public-sector settings, where incorrect guidance can cause irreversible harm. We introduce CIVI, the first framework for diagnosing search agent failures in civic information. Its benchmark instantiation jointly spans cross-national, interjurisdictional government contexts (federal, state, and local) and functional categories from an internationally adopted United Nations standard. We evaluate ten frontier search agents and find that none matches an attentive human baseline. Alongside accuracy, CIVI measures search invocation rate, selective no-search accuracy, and how often agents cite authoritative government sources. To perform this diagnosis, we introduce ARISE, which decomposes agentic search failures into four mutually exclusive modes, isolated via source-injection ablation. ARISE attributes 72.1% of all observed failures to retrieval-bound causes rather than to gaps in the models' parametric knowledge.

Tue 8 SeptArtificial Intelligence
The gist
Many computer programs called search agents help people find government information, but mistakes can cause real problems. The authors created a way to check why these programs fail, looking at different countries and government levels. They found that most errors happen because the search part misses important information, not due to the program’s own knowledge. This helps show where improvements are needed to make these tools more reliable.
Open → 2609.08094v1