STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models

arXiv:2607.18580v1 Announce Type: new Abstract: Vision-language-action (VLA) models have shown impressive generalization, but often lack interpretability and can struggle to follow precise natural language instructions that encode spatial, temporal, and logical requirements. We propose a hierarchic