atlas

Research map / Large language models / Language, safety and interpretability

Theoretically Grounded Framework for LLM Watermarking: A Distribution-Adaptive Approach

NeurIPS 2025 · Large language models › Language, safety and interpretability · approach: Text watermarking · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes a unified theoretical framework that jointly optimizes LLM watermark scheme and detector under worst-case FPR and distortion constraints, and a distortion-free, distribution-adaptive algorithm (DAWA) using a surrogate model and Gumbel-Max sampling.

Problem

Existing LLM watermarks lack formal optimality guarantees and design the scheme and detector separately, struggling to keep TPR high at ultra-low false positive rates while remaining distortion-free and model-agnostic.

Approach

Derives the universally minimum Type-II error under worst-case Type-I and distortion constraints, showing the optimal watermark sampling distribution should adapt to the LLM's next-token distribution; implements this at token level with a surrogate LM at detection and Gumbel-Max sampling of the auxiliary sequence.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection · C4 cleanROC-AUC: 0.996 -> 0.999Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection · ELI5 cleanROC-AUC: 0.999 -> 0.998Hurt
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection under token replacement · C4ROC-AUC: 0.973 -> 0.989Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection under token replacement · ELI5ROC-AUC: 0.973 -> 0.995Helped
Use DAWA instead of the strongest listed baselineMistral-8×7B watermark detection · C4 cleanROC-AUC: 0.998 -> 0.999Helped
Use DAWA instead of the strongest listed baselineMistral-8×7B watermark detection · ELI5 cleanROC-AUC: 0.999 -> 0.999No clear effect
Use DAWA instead of the strongest listed baselineMistral-8×7B watermark detection under token replacement · C4ROC-AUC: 0.980 -> 0.990Helped
Use DAWA instead of the strongest listed baselineMistral-8×7B watermark detection under token replacement · ELI5ROC-AUC: 0.983 -> 0.993Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection at 1% FP · C4 cleanTP@1% FP: 0.993 -> 0.998Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection at 1% FP · ELI5 cleanTP@1% FP: 0.991 -> 0.997Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection at 1% FP under token replacement · C4TP@1% FP: 0.858 -> 0.860Helped
Use DAWA instead of the strongest listed baselineLlama2-13B watermark detection at 1% FP under token replacement · ELI5TP@1% FP: 0.892 -> 0.969Helped

Surprising findings

Limitations

Experimental setup

Datasets: C4 realnewslike ELI5 Wikipedia WMT19

Benchmarks: C4 realnewslike ELI5 Wikipedia WMT19

Metrics: ROC-AUC TPR at 1% FPR TPR at 10% FPR TPR at low FPR (1e-5 to 1e-1) perplexity BLEU

Baselines: KGW+23 EXP-edit Gumbel-Max HCW+23

Builds on: Gumbel-Max watermark green-red list watermark (KGW) inverse transform watermark

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy