此外，GeLaTo 在概率上是可靠的，因为通过 TPM 计算的条件分布 p(next-token | prefix, constraints) 与相同的联合分布是一致的。