Track manipulation, locomotion and embodied systems.
Search papers, labs, and topics across Lattice.
To resolve ambiguity in natural language robot instructions without relying on error-prone multi-turn generative dialogue, this work frames intent disambiguation as Bayesian active learning over grounded Signal Temporal Logic (STL) specifications. The architecture restricts the LLM to hypothesis generation and query verbalization, using Bayesian optimization to track intent uncertainty and select queries that maximize mutual information before synthesizing verified trajectories. Across four simulated and real-world domains, the framework achieves higher task satisfaction in fewer clarification rounds than standard LLM baselines while closing the performance gap between compact models and frontier reasoning models.
Letting Bayesian active learning over formal temporal logic drive clarification queries—rather than open-ended LLM dialogue—slashes clarification turns and allows lightweight models to match frontier reasoning baselines.
Interactive robot planning requires robots to infer and execute human intentions from natural language instructions that are often ambiguous, incomplete, or underspecified. Although large language models (LLMs) provide a powerful interface for clarification, relying on the generative model to drive an multi-turn conversation can introduce systematic failures. We propose a Bayesian framework that treats clarification as an active learning problem over grounded Signal Temporal Logic (STL) task specifications. Our method uses LLMs to initialize candidate formal specifications and translate informative contrasts into natural-language clarification questions, while Bayesian optimization maintains uncertainty estimation over user intent and selects queries that maximize information gain. After convergence, the inferred STL specification is passed to a formal planner to synthesize a verifiable robot trajectory. Across four simulated and real-world task domains, our approach generally achieves higher task satisfaction and requires fewer clarification rounds than LLM baselines, while helping smaller models close the performance gap against larger reasoning models.