Alenna Spiro
← Home

Research Mission

Seeking the core rules of interaction with the world

Robots that learn from few demonstrations need to understand which actions a scene allows and what those actions will do. I study two forms of this knowledge, affordances and equivariances, and combine analytical models with learning to identify them from small amounts of data.

Full statement

Affordances describe which actions a scene supports, such as pulling a drawer by its handle or stepping onto a curb. Equivariances describe how the result of an action changes when the scene is transformed, for example rotated or mirrored, so that one experience covers many. Large networks can pick up both, but only implicitly and from large datasets. Hand-built physics models state them explicitly, but only for systems simple enough to model by hand. Combining the two keeps what is learned in a form that can be checked and reused on new tasks.

Part of the inspiration is Conway's Game of Life and especially Particle Life, where a small table of attraction rules between particle types produces complex, organized behavior. Efficient behavior in robots can also rest on a small set of rules.

Research Map

Hover or tap a topic or an arrow to see why it connects.
Research map. An arrow from one topic to another means the first helps with the second. Select a topic or arrow to read why.Many infant priors concern what can be done with objects, so they act as priors over affordances.Infant priors suggest what a model should represent and what its loss should reward.Foundation models are trained on far more data than one robot can collect. Distilling them can recover important rules that were previously out of reach.Entropy measures how important each feature is, so distillation can build rules from the features that matter most.An output shaped like the affordance, such as SPARTA's traversability over heading, lets the model represent it directly.Equivariant layers enforce a symmetry by construction, which reduces the data needed.Distilling a network that has learned which actions succeed gives an explicit affordance model.Distillation can turn symmetries a network picked up into explicit equivariances.In a space where the dynamics are linear, the effect of an action is easier to predict, so affordances may be easier to identify there.Symmetries of the dynamics show up as properties of the linear Koopman operator and can be read off in closed form.Knowing what a scene affords rules out actions that will fail, as in SACRED.A policy that respects a task's equivariances transfers to rotated or mirrored versions without new data.Known equivariances can form the analytical part of a hybrid model.Trial and error in reinforcement learning produces the experience from which affordances can be learned.A hybrid model predicts the effect of an action accurately from little data, so a learner needs fewer demonstrations.Perceptual priorsfrom infant developmentFoundation modelslarge pretrained modelsInformation theoryentropy, KL divergenceArchitecturenetwork designSymbolic distillationnetwork to equationKoopman theorylinear in the right spaceAffordancesactions a scene supportsEquivarianceshow outcomes transformReinforcement learningwhere the rules are testedHybrid modelsanalytical + learned

An arrow from one topic to another means the first helps with the second. Pick a topic to see its connections, or pick an arrow to see the reason for it.

Sources of structureMethodsCore: rules of interactionEfficient learningHas related past work

Research Topics

Core · rules of interaction

Affordances

Gibson introduced affordances as the action possibilities an environment offers an agent. A handle can be pulled, a ledge can be stepped on, and a gap can be passed through. Because they are defined by what the agent can do, affordances describe directly how the world responds to action.

They help in two ways. They are compact enough to learn once and reuse across tasks, and once known they rule out actions that will fail, so a learner spends fewer trials on them. Traversability, whether a robot can cross a patch of ground at a given heading, is one example.

Related past work
Foundational reading
Core · rules of interaction

Equivariances

Many tasks are symmetric. Grasping a mug works the same way after the mug is rotated, and terrain that is easy to cross heading north is usually easy heading south. An equivariant model changes its output in a known way when its input is transformed, so what it learns in one configuration carries over to the transformed ones.

Most equivariant methods build a chosen symmetry into the network ahead of time. I am interested in finding which equivariances a task actually has from data, and representing them explicitly so they can be checked, combined with affordances, and reused.

Related past work
  • SPARTAA periodic (Fourier) basis builds the wrap-around in heading into the model
Foundational reading
Method · finding linear structure

Koopman theory

Koopman operator theory states that nonlinear dynamics can be represented linearly, given the right space of observables and the operator that acts on it. Finding that space and operator turns nonlinear behavior into linear behavior that can be analyzed in closed form.

This makes Koopman theory a way to look for structure. Affordances and equivariances may be easier to find in a space where the dynamics are linear than in the original one.

In our hybrid Koopman work, the operator is found by semidefinite programming and neural networks learn only the maps into and out of the lifted space. With the structure in the analytical part, the networks have less to learn and need less data.

Related past work
Foundational reading
Method · network first

Symbolic distillation

This runs in the opposite order. A small network with a suitable structure is trained first, and the function it learns is then distilled into a symbolic expression. Tools for this include sparse regression over a library of candidate terms (SINDy), symbolic regression (AI Feynman), and pruning a KAN down to a formula.

Either order can work. What I care about is the result, an affordance or equivariance written in a form that can be inspected and reused, found from less data than a network or a hand-built model would need on its own.

Foundational reading
Method

Architecture

The architecture decides what structure a network can represent. Equivariant layers enforce a symmetry by construction. An output layer shaped like the target also helps. SPARTA predicts a Fourier series over heading instead of a single number, which makes the learned affordance easier to read and needs less data to fit.

Related past work
Foundational reading
Source of structure

Perceptual priors

Infants learn quickly partly because they start with expectations about objects, contact, and motion. Many of these expectations concern what can be done with things, so they work as priors over affordances.

Building such priors into a model's architecture and loss, instead of waiting for it to rediscover them from data, should make training more data efficient. Our ICDL 2022 paper used an infant-style curriculum in this way and reached up to 10× better sample efficiency.

Related past work
Foundational reading
Source of structure

Foundation models

Large pretrained models encode a lot about how objects behave, including many affordances and symmetries, but only implicitly. Distilling them can recover important rules that no single robot dataset is large enough to reveal. They can also supply training signal for smaller models, and they give a check on whether rules found by other methods agree with what these models learned.

Foundational reading
Source of structure

Information theory

Information theory measures how much each feature tells a model about the outcome. Entropy and KL divergence rank features by importance, so rule discovery can focus on the features that matter and keep the resulting rules short.

Related past work
Foundational reading
Efficient learning · building the model

Hybrid models

A hybrid model combines an analytical component with a learned one. The analytical part does two things. It derives important properties of the problem in advance, such as the dimension of the state or the equivariances and affordances it has. It also makes established tools usable, such as semidefinite programming or model-based planning, which apply to analytical models but not to networks. A network models the residual that is hard to write down. With these properties fixed in advance, the data needed grows more slowly with the size of the state.

Hybrid models are a means to efficient learning, and the rules discovered elsewhere on this page are what they are built from.

Related past work
Foundational reading
Efficient learning · testbed

Reinforcement learning

The aim is to find constraints that make any learning method more efficient, not reinforcement learning in particular. My background is in reinforcement and imitation learning, so that is where these rules have been tested so far. RL is also a basis for training, since trial and error produces the experience from which rules such as affordances can be learned.

Affordances narrow the set of actions worth trying, and equivariances let one experience count for its rotated or mirrored versions. Both reduce the data a learner needs. SACRED showed this for affordances, and the infant-style curriculum gave up to 10× better sample efficiency.

Related past work
Foundational reading
Lumpy, a small round purple fish
This is Lumpy, the mascot of this site.

The Fish Hunt

Seven little fish are hiding around this site. Each one you find points to the next.