Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization
A model generalizes outside its training distribution only when it computes a representation structurally equivalent to the generating mechanism, not an approximation fitted to it. Such equivalence is necessary for exactness in and out of distribution, and extrapolation is governed by this exactness at inference, whatever its realization. Tensor Logic shows this: a zero-temperature contraction is…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.