Identification without discrimination in generatively trained natural-language autoencoders

Establish whether an objective that only reconstructs an activation from its natural-language explanation can yield perfect identification of the activation while remaining uninformative for discriminating true accounts of that activation from fluent false accounts that differ by only a small claim, including the proposed existence, Lipschitz-bound, information-theoretic, and genericity formulations.

Background

Natural Language Autoencoder training is formalized as a generative referential game: the Activation Verbaliser produces an explanation of an activation and the Activation Reconstructor attempts to reconstruct that activation. The training objective compares the reconstruction with the target activation but never requires the explanation to exclude competing accounts of the same activation.

The paper distinguishes provenance identification—recognizing which activation an explanation came from—from truth discrimination—ranking a true account above a fluent rival that falsifies one or more claims. Experiments on one released checkpoint found perfect identification but only barely-above-chance discrimination, motivating a conjecture that generative reconstruction objectives systematically reward activation-specific information rather than truth-relevant distinctions. The authors explicitly state several increasingly strong unresolved formulations, ranging from an existence construction to a genericity claim about minimizers of the generative objective.

References

Using this framework, we conjecture that, because the generative training objective never asks an explanation to rule out any distractor account, an NLA's explanations will identify which activation they describe without discriminating the true accounts of that activation from closely matched false ones.

— On the Monitorability of Natural Language Autoencoders: Identification vs Discrimination  (2610.18727 - Denamganaï, 13 Oct 2026) in Section 5, Section 5.1, Conjecture 1 (Identification without discrimination), especially the precise forms (a)–(d)