# 大语言模型水印检测

大模型水印要在固定密钥下保留输出多样性，又要在投机解码中不降低草稿接受率，这两点此前难以兼得。TextSeal2把两个密钥的高斯值合并成一个虚拟密钥，再用高斯 copula 与新鲜噪声耦合，使检测器对每个词元都能读到完整信号；在投机解码下，它用草稿竞速的剩余量再做一次指数竞速来决定每轮最后一个词元。在三个模型上、相同多样性下，它比 TextSeal 多检出8到22个百分点的100词元答案，投机解码下比 TextSeal 和 textGrain 分别多检出18和22个百分点的200词元答案，接受率不变。

大模型水印要在固定密钥下保留输出多样性，又要在投机解码中不降低草稿接受率，这两点此前难以兼得。TextSeal2把两个密钥的高斯值合并成一个虚拟密钥，再用高斯 copula 与新鲜噪声耦合，使检测器对每个词元都能读到完整信号；在投机解码下，它用草稿竞速的剩余量再做一次指数竞速来决定每轮最后一个词元。在三个模型上、相同多样性下，它比 TextSeal 多检出8到22个百分点的100词元答案，投机解码下比 TextSeal 和 textGrain 分别多检出18和22个百分点的200词元答案，接受率不变。

作者提出基于e值与检验上鞅的序贯重置程序，在每次拒绝后把资本重置为1并继续检验，从而报告多个含违反零假设的区间；进一步提出精化规则，只报告每个拒绝块内资本达到块内最小值之后的观测。在零假设e值相互独立时FDR上界为α，在允许零与非零数据相依时上界为α乘以对数因子且具有任意时刻有效性，并在LLM水印检测与ES回测中验证。

作者提出基于e值与检验上鞅的序贯重置程序，在每次拒绝后把资本重置为1并继续检验，从而报告多个含违反零假设的区间；进一步提出精化规则，只报告每个拒绝块内资本达到块内最小值之后的观测。在零假设e值相互独立时FDR上界为α，在允许零与非零数据相依时上界为α乘以对数因子且具有任意时刻有效性，并在LLM水印检测与ES回测中验证。