Generative Flow on Symbolic Abstractions for Embodiment Capability Discovery
Organizations: Indiana University Bloomington
Abstract
Achieving complex, long-horizon robot behavior remains challenging because successful execution depends on skills grounded in a robot's physical affordances. Existing training-task distributions are often handcrafted or sampled from large language models (LLMs), relying on semantic plausibility rather than embodiment-specific feasibility. This mismatch can produce curricula that are too difficult, redundant, or blind to non-obvious but learnable behaviors. We propose Generative Flow on Symbolic Abstractions (FOSA), a framework for discovering embodiment-specific capabilities by learning a grounded task generator. FOSA parameterizes an abstract policy as a Generative Flow Network that constructs symbolic task skeletons. Each skeleton is compiled into a simulation environment, where low-level policy-learning performance provides the reward signal for the abstract policy. Across heterogeneous robot platforms, FOSA discovers diverse and executable tasks near the robot's empirical capability frontier. After distilling the discovered task policies into a single language-conditioned policy, FOSA improves performance on unseen complex and long-horizon tasks. The code and demonstration videos are available at https://www.youwei-yu.com/fosa.
Figures & tables
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
| Field | Meaning | Examples |
| Typed entities in the task. | robot, target, object, payload, ramp, obstacle, terrain patch, door, tool | |
| Initial symbolic state induced by the reset distribution. | initial robot pose, object pose, terrain condition, contact relation, visibility condition | |
| Goal literals or success conditions. | reach target, track velocity, lift object, maintain balance, rotate object, avoid obstacle | |
| Operator or task-family schemas referenced by the skeleton. | navigate, climb, push, grasp, lift, rotate, balance, transport | |
| Continuous or discrete arguments needed to instantiate the task. | slope angle, friction, object mass, target distance, velocity command, tolerance, duration | |
| Feasibility, safety, and simulator constraints. | valid pose ranges, contact constraints, termination thresholds, admissible friction ranges, collision constraints |
| Hyperparameter | Value |
| FOSA Abstract Policy (GFlowNet) | |
| Maximum construction depth | |
| State encoder | Qwen2.5-0.5B |
| , architecture | MLP |
| Optimizer | Adam; lr ( , ), ( ) |
| Replay buffer | |
Long-Horizon Robotic Manipulation
Long-horizon robotic manipulation studies how robots plan, remember, and recover across extended sequences of physical tasks.
See all 431 papers