论文将验证器扩展到规则治理的生成式世界建模，在该设定下生成模型被用于世界模拟和推理，且必须遵守显式规则。