Certifying Trust Horizons for Equivariant World Models

Researchers have developed a novel approach to certify the reliability of latent world models, specifically focusing on those that incorporate known group symmetries. The core idea is to establish "trust horizons," which define the duration over which a model's rollout error remains controlled. This is achieved by taking a one-step latent residual and a finite-time expansion estimate, then calibrating these with a split-conformal multiplicative factor. A key finding is that exact equivariance allows a calibrated trust-horizon curve to be transported across the group orbit. This means that if the environment dynamics, encoder, predictor, action transform, and latent metric satisfy specific equivariance/invariance conditions, then rollout errors and trust horizons remain constant across the orbit. Empirically, the implemented models show minimal orbit-transport residuals, and the certificate is both conservative and non-vacuous. This method provides a robust, distributional audit of model reliability, particularly beneficial for complex systems with inherent symmetries.