← Back to article

Equation 1 · How Robotics and Embodied AI Actually Work

What does this equation mean?

s^t+1=fθ(st,at),o^t+1∼pθ(o∣s^t+1)\hat{s}_{t+1} = f_\theta(s_t, a_t), \qquad \hat{o}_{t+1} \sim p_\theta(o \mid \hat{s}_{t+1})

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsf_θ(s_t, a_t), qquad hato_t+1 sim p_θ(o mid hats_t+1)
Result or conditionhats_t+1
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

s^t+1\hat{s}_{t+1}

Symbol hats_t+1

hatsts_t+1 is part of the quantity the equation computes from the expression on the right.

Understand this part →

fθf_\theta

Symbol f_θ

learned from a finite amount of real interaction and is wrong in ways that compound over an imagined rollout’s horizon — which is precisely the boundary the next section is about.

Understand this part →

sts_t

Symbol s_t

sts_t is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

ata_t

Symbol a_t

ata_t is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

o^t+1\hat{o}_{t+1}

Symbol hato_t+1

hatoto_t+1 is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

pθp_\theta

Symbol p_θ

p_θ is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

oo

Symbol o

o is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Dreamer-style world models learn a compact latent-dynamics model — a recurrent state-space model that predicts both a stochastic and a deterministic component of future latent state — and then train a policy by backpropagating through imagined rollouts inside that latent space, rather than through real or simulated environment steps directly [ 8 ] . DayDreamer took that specific mechanism, previously demonstrated mostly in video-game and simulated benchmarks, and applied it to physical robots learning online, without a simulator and without human demonstrations, reporting that four different physical robots (a quadruped and several manipulator arms) learned locomotion and manipulation skills…
Read the full surrounding passage
Dreamer-style world models learn a compact latent-dynamics model — a recurrent state-space model that predicts both a stochastic and a deterministic component of future latent state — and then train a policy by backpropagating through imagined rollouts inside that latent space, rather than through real or simulated environment steps directly [ 8 ] . DayDreamer took that specific mechanism, previously demonstrated mostly in video-game and simulated benchmarks, and applied it to physical robots learning online, without a simulator and without human demonstrations, reporting that four different physical robots (a quadruped and several manipulator arms) learned locomotion and manipulation skills directly from real-world interaction using the same world-model architecture across all of them [ 8 ] . The significant claim here is narrower than “world models let robots learn in the real world” in general — it is that this specific latent-imagination training loop, previously validated in simulation, transferred to real hardware without a simulator in the authors’ own experiments, on the specific tasks and robots they report. The equation names the actual asymmetry a world model buys: the policy is optimized against s^t+1\hat{s}_{t+1} , a predicted latent state, thousands of times per second of imagined rollout, while the real robot only needs to execute the resulting action once per real control cycle. The exposure is that fθf_\theta is learned from a finite amount of real interaction and is wrong in ways that compound over an imagined rollout’s horizon — which is precisely the boundary the next section is about.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to How Robotics and Embodied AI Actually Work

See this formula across 1 published context →

Browse the mathematical compendium →