Procedural reasoning
Explicit task graphs and multimodal memory maintain the active step, completed actions, dependencies, branch conditions, and task-relevant evidence across long procedures.
We study how robots can act reliably when success depends not only on learning a manipulation skill, but also on understanding what should happen next and what matters visually right now.
Long-horizon robot behavior breaks when the system loses procedural state or visually grounds the wrong target. Our work addresses both layers of the problem.
Explicit task graphs and multimodal memory maintain the active step, completed actions, dependencies, branch conditions, and task-relevant evidence across long procedures.
The relevant object or destination changes with the manipulation phase and observed task state. We diagnose distractor failures and improve target selection without discarding spatial control information.
A neuro-symbolic framework that combines learned VLA control with explicit task graphs and multimodal procedural memory. The structured state guides object selection, destination grounding, subgoal dispatch, and verification across long-horizon manipulation.
A study of conditional visual grounding in visuomotor imitation policies: the visual target required for successful control changes with manipulation phase and task state, making visually similar distractors a source of systematic failure.
If this work is useful in your research, please cite the corresponding paper.
@misc{chavan2026neurosymbolic,
title = {Towards Neuro-Symbolic Procedural Reasoning for Long-Horizon Vision-Language-Action Manipulation},
author = {Chavan, Vivek and Shi, Yahuan and Heimann, Oliver and Haninger, Kevin and Krüger, Jörg},
year = {2026},
eprint = {2609.05369},
archivePrefix = {arXiv},
primaryClass = {cs.RO},
url = {https://arxiv.org/abs/2609.05369}
}
@misc{chavan2026whatmatters,
title = {What Matters, When? Diagnosing and Improving Conditional Visual Grounding in Visuomotor Imitation Policies},
author = {Chavan, Vivek and Xie, Pengtao and Shi, Yahuan and Heimann, Oliver and Haninger, Kevin and Krüger, Jörg},
year = {2026},
eprint = {2609.05376},
archivePrefix = {arXiv},
primaryClass = {cs.RO},
url = {https://arxiv.org/abs/2609.05376}
}