Redes Neurais Artificiais e Deep Learning · Insper

Modelos de Mundo Discriminativos Temporais

Uma perda em vez de duas

Leia isto primeiro

Trabalho preliminar. O TDWM (Peng & Molin, Stanford, junho de 2026) é uma página de projeto: sem preprint, sem código, um ambiente (OGBench Scene). σ, comprimento do clipe, arquitetura e número de sementes não foram divulgados.

TD ≠ diferença temporal. Em RL, "TD" quase sempre é temporal-difference learning (TD-MPC, TD-MPC2: valores estimados a partir do estado seguinte). Aqui TD = temporal discriminative (discriminativo temporal): sem valor, sem recompensa, sem bootstrapping.

Comece por uma pergunta

= quadro no instante · = ação · = encoder · = preditor (lê os 3 últimos embeddings)

As duas redes são treinadas juntas só com esta perda. Qual é o jeito mais barato de chegar a ?

  • Levar todo quadro ao mesmo vetor : então é exato. Perda zero, informação zero — colapso.

O que impede o colapso?

modelo o que impede o colapso custo do planejamento
DINO-WM um encoder pré-treinado congelado (DINOv2) distância às features do objetivo
V-JEPA 2-AC um encoder de vídeo congelado; só o preditor treina (L1 + perda de rollout) L1 até o objetivo, CEM
PLDM uma perda de sete termos no estilo do VICReg distância latente
LeWM SIGReg: , L2 ao quadrado, CEM
TDWM a própria perda de previsão — sem regularizador custo latente até o objetivo, CEM

LeWM: ~15M de parâmetros, uma GPU, planejamento até 48× mais rápido que modelos de mundo sobre modelos de fundação (Maes et al., 2026).

O SIGReg num slide

  1. Projete o lote de embeddings em direções unitárias aleatórias ( no LeWM).
  2. Em cada projeção 1-D, meça a distância até : a estatística de Epps–Pulley, uma diferença ponderada entre funções características.
  3. Tire a média sobre as direções.
  • Cramér–Wold: se toda projeção 1-D é , a distribuição inteira é .
  • Uma constante não parece → sem colapso.
  • Um hiperparâmetro, . Vem do LeJEPA (Balestriero & LeCun, 2025).

O SIGReg restringe a forma da nuvem de embeddings. Ele diz alguma coisa sobre o que o encoder guarda?

O que o regularizador não compra

Sonda sobre um encoder do LeWM treinado no OGBench Scene: fora da amostra dos embeddings para a posição verdadeira de cada objeto.

gaveta janela botões cubo braço (7 GL)
sonda ridge 0,95 0,96 0,97 0,27 0,39
sonda MLP 1,00 1,00 0,99 0,26 0,40
  • As partes lentas sobrevivem; as rápidas e controláveis — o que o planejador precisa — não, nem para uma MLP.
  • A leitura do TDWM: a MSE do próximo embedding é minimizada tornando o futuro previsível — o jeito mais seguro é parar de representar o que é difícil de antecipar.
  • Uma nuvem gaussiana pode ser montada só com a gaveta e a janela. O anticolapso é necessário, mas não suficiente.

O objetivo

  1. Restrição de norma: — só a direção fica livre.
  2. Histórico e horizonte: .
  3. A perda, sobre todo par de um clipe:

= o quadro que uma previsão mira · = qualquer quadro do clipe · = distância em quadros · = decaimento, em quadros (não divulgado)

Um passo de treino

clipe de quadroso₀o₁o₂o₃o₄encoder fθcada quadrozj / ‖zj‖vetores unitáriosaçõesat, …, at+k−1, kpreditor gφhistórico de 3 quadroszt−2:tẑicossenos cij = ẑi · zjtodo parmédia de (c − alvo)²alvo e−|i−j|/20,611,000,610,370,220,370,611,000,610,370,220,370,611,000,610,140,220,370,611,00i = j: previsão na esferai ≠ j: anticolapso

  • → alvo 1. Em vetores unitários : previsão do próximo embedding na esfera.
  • → alvo abaixo de 1, caindo com a distância: vizinhos em parte parecidos, quadros distantes quase ortogonais. Esta metade é o termo anticolapso.

Exercício · um clipe colapsado

Um clipe de 5 quadros; o preditor estima os quadros 1–4, então a matriz é (20 células). .

  1. Os alvos para as distâncias 0, 1, 2, 3, 4?
  2. Quantas das 20 células têm cada distância?
  3. Todo quadro e toda previsão são o mesmo vetor. Perda do TDWM? MSE?
  • alvo
  • linha (1…4), coluna (0…4), dist
  • colapsado: em toda célula

Um clipe colapsado · resposta

dist alvo células subtotal
0 1,000 4 0 0
1 0,607 7 0,155 1,084
2 0,368 5 0,400 1,998
3 0,223 3 0,604 1,811
4 0,135 1 0,748 0,748
20 5,640
  • TDWM: 0,2820. MSE: 0 — o clipe colapsado é uma resposta perfeita para ela.

A perda, com números

0 1 2 3 4
0,781 0,994 0,625 0,442 0
alvo 0,607 1 0,607 0,368 0,223
erro² 0,0304 0,0000 0,0003 0,0055 0,0498
  • As 20 células:
  • MSE:
  • × 0,1: MSE 0,000175, TDWM 0,0285

Simulador · a perda do TDWM, linha a linha

Z_raw · quadros codificados 0…4
P_raw · previsões dos quadros 1…4

Dá para atender a todos os alvos ao mesmo tempo?

  • O alvo de uma distância longa é o produto dos alvos das curtas (a página do projeto para aqui).
  • Com a matriz de alvos tem entradas : a matriz de correlação de um processo AR(1).
  • → definida positiva → existem vetores unitários com exatamente esses cossenos em dimensões.

A perda pede algo possível. Ela não diz nada sobre pares de clipes diferentes — eles nunca são comparados.

Por que a geometria importa: o planejador lê distâncias

CEM (parâmetros do LeWM): amostre 300 sequências de ações de comprimento , desenrole o preditor, pontue , guarde as 30 melhores, reajuste a gaussiana, repita 10×; execute, replaneje.

A tarefa da gaveta. O braço já está onde o objetivo o quer; só a gaveta precisa abrir.

  • Distância no embedding: início ≈ objetivo. Sair para alcançar o puxador deixa a imagem menos parecida com o objetivo → o custo sobe primeiro.
  • Um planejador de 5 passos não acha nada mais barato e fica parado.
  • Distância temporal: cada passo em direção ao puxador é um passo mais perto no tempo → o custo cai o caminho inteiro.

Simulador · o custo até o objetivo ao longo da demonstração

Exercício · até onde σ alcança?

O custo idealizado do TDWM é . O objetivo está a 30 passos, o planejador olha 5 passos à frente e o erro do modelo é .

Quanto o custo cai nos 5 primeiros passos com ? E com ? O planejador se move em cada caso?

Até onde σ alcança · resposta

σ custo com 30 passos restantes custo com 25 passos restantes queda em 5 passos vs ε = 0,003
3 empaca — um platô
12 anda

Os alvos não dizem nada além de alguns σ: um custo do TDWM só tem inclinação dentro desse alcance. σ define o alcance do planejador — e a página não o divulga.

O que a página do projeto relata

Os mesmos dados para os dois (especialista + reexecuções com ruído nas ações), 0,8 exaFLOPs cada, checkpoint com o melhor O25, planejamento autorregressivo de 1 passo.

TDWM LeWM
da sonda cubo · braço 0,56 · 0,69 0,27 · 0,39
da sonda gaveta · janela · botões 0,93 · 0,91 · 0,96 0,95 · 0,96 · 0,97
perda SIGReg (o TDWM não a otimiza) 2,4 (de ~30) 0,6
posto efetivo (24 GL na cena) ~40 ~150
sucesso do CEM O25 · O50 · O75 63% · 38% · 15% 50% · 28% · 4%

O25 = objetivo 25 passos adiante numa trajetória do conjunto de dados. Barras de erro: erro padrão entre sementes; número de sementes não informado.

Os resultados ao lado da manchete

  • Só com dados de especialista o resultado se inverte: o LeWM planeja melhor (números não informados). A fidelidade do preditor do TDWM cai para ≈ 0,70 sob uma perturbação de ação de 1,8 desvio padrão (LeWM ≈ 0,94).
  • As ações de especialista preveem o estado com → o TDWM pode aprender intenção, não física. Com as reexecuções ruidosas: .
  • Limites superiores em O25: encoder do TDWM treinado com especialista + simulador verdadeiro 66%; estado verdadeiro + simulador verdadeiro 77%. TDWM treinado com ruído: 63%.
  • Engenharia: previsão em vários horizontes (97% dos FLOPs no encoder), Muon–AdamW fundido.

Um ambiente · sementes não divulgadas · checkpoint escolhido pela métrica relatada · σ, k, comprimento do clipe, arquitetura não divulgados · sem código. O75: 15% vs 4% são poucos episódios.

Onde o TDWM se encaixa

método sinal tirado do tempo papel
Time-Contrastive Networks (2018) vizinhos no tempo afastados, vistas simultâneas aproximadas representação para imitação
CPC (2018) prever latentes futuros de forma contrastiva (InfoNCE) representação
RL contrastivo, QRL, HILP, TMD (2022–25) uma distância temporal, muitas vezes quasimétrica (assimétrica) valor / alcançar objetivos
Temporal-Distance JEPA (jul. 2026) LeWM + SIGReg mais uma cabeça de custo dirigida sobre contagens de passos o custo do planejamento ou um sinal de treino
TDWM (jun. 2026) alvos de cosseno substituindo perda e regularizador a representação

TD-JEPA e TDWM: apostas complementares

Temporal-Distance JEPA (Bai & Xiong)

  • mantém o encoder, o preditor e o SIGReg do LeWM
  • aprende um custo dirigido :
  • protocolo travado, 10 sementes, planejando com : Two-Room 100,0 (LeWM 97,4) · Reacher 97,0 (96,0)
  • planejando com a L2 simples sobre o latente que ele moldou: Push-T 86,0 (83,6) · OGB-Cube 82,2 (68,0)

TDWM

  • muda a própria representação
  • mantém o custo latente simples
  • alvo simétrico e saturado

O próprio artigo do LeWM relata 96% no Push-T sob o seu protocolo nativo; o protocolo travado do TD-JEPA dá 83,6%. O mesmo método, 12 pontos de diferença só pelo protocolo de avaliação.

Laboratório · o que medimos

Um mundo 16×16: agente (o braço), disco que ele empurra (o cubo), marco que nunca se move (a gaveta). As mesmas redes, 2.000 passos de AdamW cada; só a perda muda.

mse mse+sigreg tdwm σ = 4 diag (só i = j)
espalhamento (0 = colapso) 0,0015 0,1746 0,1700 0,0033
posto efetivo (de 32) 26,0 19,7 29,3 25,1
sonda MLP agente · disco — 0,969 · 0,958 0,937 · 0,925 —
sucesso do CEM O10 · O20 · O30 0 · 0 · 0% 63 · 47 · 43% 20 · 13 · 23% —
  • Reproduzido: sem colapso e sem regularizador — e diag mostra que isso vem das células .
  • Não reproduzido: sondas melhores, planejamento melhor. Armadilha: um modelo colapsado tem posto efetivo alto.

Laboratório · por quê, medido

Rollout do preditor (cosseno com a verdade, passos 1 · 3 · 5)

  • mse+sigreg: 0,99 · 0,95 · 0,89
  • tdwm σ = 4: 0,74 · 0,00 · −0,19

A fatia do preditor: num clipe de 16 quadros, são 13 de células — 6,25% da perda.

variante do TDWM rollout passo 5 O10 · O20 · O30
σ = 4 −0,19 20 · 13 · 23%
σ = 12 −0,01 13 · 23 · 30%
σ = 12, balanceada (nossa) 0,57 50 · 37 · 47%

Balanceada = as células i = j pesam o mesmo que todas as outras juntas. Perto de MSE + SIGReg, dentro do ruído de 30 tarefas — não à frente.

Um brinquedo só testa o conserto se reproduz a falha: aqui MSE + SIGReg guarda o disco (MLP 0,958).

Laboratório · o objetivo, medido

Notebook no Colab, ~2 h, só CPU (menos de 10 minutos de computação). Cada seção termina num checkpoint.

  1. um mundo com um agente, um disco e um marco
  2. um encoder, um preditor
  3. três objetivos a partir das fórmulas
  4. quatro modelos, um orçamento: colapso
  5. sondas: o que os embeddings sabem
  1. a geometria que o planejador usa
  2. planejando com CEM, O10 / O20 / O30
  3. o botão não divulgado: σ
  4. para onde vai o gradiente
  5. tarefa aberta: faça o TDWM vencer ou explique por que não consegue

abrir no Colab →

Para levar

  1. Todo modelo de mundo JEPA precisa responder "o que impede o colapso?" — encoders congelados, termos no estilo do VICReg, SIGReg ou a perda do TDWM.
  2. O diagnóstico do TDWM: o anticolapso é necessário, mas não suficiente; a MSE premia descartar o que é difícil de prever.
  3. A perda regride cada sobre : é previsão na esfera, é anticolapso. Colapso: 0,2820 vs MSE 0.
  4. Alvos consistentes (definidos positivos), mas simétricos e saturados: σ define até onde o custo alcança.
  5. TD = discriminativo temporal, não diferença temporal.
  6. Relatado: cubo 0,56 vs 0,27, CEM 63/38/15% vs 50/28/4% — um ambiente, invertido com dados só de especialista.
  7. O nosso brinquedo: o anticolapso se reproduziu; sondas e planejamento não. Uma fatia maior da perda para o preditor fecha a maior parte da diferença no planejamento, sem invertê-la.

Roteiro: (1) a receita dos modelos de mundo JEPA e o que impede o colapso; (2) o diagnóstico do TDWM; (3) a perda, linha a linha, com números; (4) por que a geometria do latente importa para planejar; (5) o que a página do projeto relata e quanto isso aguenta; (6) onde ele se encaixa; (7) o que o nosso laboratório mediu. Fecha com o laboratório no Colab.

Dizer as duas coisas antes de qualquer fórmula. Quem conhece o TD-MPC vai ler a aula inteira pela palavra errada.

Deixar responderem antes de revelar. É o colapso do capítulo de JEPA e todo modelo de mundo desta aula é uma resposta a ele.

Uma sonda, um ambiente: uma hipótese, não um teorema.

A célula j = 1 é onde a MSE olha e ela é quase perfeita; os erros estão em outro lugar.

Caso padrão = o exemplo resolvido. Percorrer as oito linhas. Depois: caso "colapso" (MSE 0, TDWM 0,2820); caso "encolhido" (MSE ÷ 100, TDWM igual). Mexer em σ e ver a nota do colapso mudar.

Padrão: o custo no embedding empaca no passo 0 (a lombada); o custo temporal chega ao objetivo. Subir H para 12: o planejador do embedding enxerga além da lombada. Depois baixar σ para 3: o planejador temporal empaca num platô.

Oráculo: 100% em todo deslocamento. 30 tarefas por deslocamento: uma tarefa = 3,3 pontos, erro padrão de uma taxa de 50% ≈ 9 pontos.