arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2505.03725

Meta-Optimization and Program Search using Language Models for Task and Motion Planning

Denis Shcherba·Eckart Cobo-Briesewitz·Cornelius V. Braun·Marc Toussaint
View original source ↗Read source document ↗Export metadata ↓

Abstract

Intelligent interaction with the real world requires robotic agents to jointly reason over high-level plans and low-level controls. Task and motion planning (TAMP) addresses this by combining symbolic planning and continuous trajectory generation. Recently, foundation model approaches to TAMP have presented impressive results, including fast planning times and the execution of natural language instructions. Yet, the optimal interface between high-level planning and low-level motion generation remains an open question: prior approaches are limited by either too much abstraction (e.g., chaining simplified skill primitives) or a lack thereof (e.g., direct joint angle prediction). Our method introduces a novel technique employing a form of meta-optimization to address these issues by: (i) using program search over trajectory optimization problems as an interface between a foundation model and robot control, and (ii) leveraging a zero-order method to optimize numerical parameters in the foundation model output. Results on challenging object manipulation and drawing tasks confirm that our proposed method improves over prior TAMP approaches.

Explore related subjects

cs.RO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Denis Shcherba, Eckart Cobo-Briesewitz, Cornelius V. Braun, Marc Toussaint. 2025-09-17. Meta-Optimization and Program Search using Language Models for Task and Motion Planning. https://arxiv.org/abs/2505.03725

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

ROVER: Robust Loop Closure Verification with Trajectory Prior in Repetitive Environments

Loop closure detection is important for simultaneous localization and mapping (SLAM), which associates current observations with historical keyframes, achieving drift correction and global relocalization. However, a falsely detected loop can be fatal, and this is especially difficult in repetitive environments where appearance-based features fail due to the high similarity. Therefore, verifying a loop closure is a critical step to avoid false-positive detections. Existing works in loop closure verification predominantly focus on learning invariant appearance features, neglecting the prior knowledge of the robot's spatial-temporal motion cue, i.e., trajectory. In this article, we propose ROVER, a loop closure verification method that leverages the historical trajectory as a prior constraint to reject false loops in challenging repetitive environments. For each loop candidate, it is first used to estimate the robot trajectory with pose-graph optimization. This trajectory is then submitted to a scoring scheme that assesses its compliance with the trajectory without the loop, which we refer to as the trajectory prior constraint (TPC), to determine if the loop candidate should be accepted. Benchmark comparisons and real-world experiments demonstrate the effectiveness of the proposed method. Furthermore, we integrate ROVER into state-of-the-art SLAM systems to verify its robustness and efficiency. Our source code and self-collected dataset will be made available online at https://rover-lcv.github.io/ upon publication of this article.

cs.RO↗
arXiv2026

Multi-Domain Motion Embedding: Expressive Real-Time Mimicry for Legged Robots

Effective motion representation is crucial for enabling robots to imitate expressive behaviors in real time, yet existing motion controllers often ignore inherent patterns in motion. Previous efforts in representation learning do not attempt to jointly capture human and animal movements through structured periodic patterns and variational aperiodic descriptions. To address this, we present Multi-Domain Motion Embedding (MDME), a motion representation that unifies the complementary embedding of structured and unstructured features using a wavelet-based encoder and a probabilistic embedding in parallel. This produces a rich representation of reference motions from a minimal input set that generalizes across diverse motion styles. We evaluate MDME on retargeting-free motion imitation at deployment by conditioning robot control policies on the learned embeddings to reconstruct ideal retargeted states on the robot, demonstrating accurate reproduction of long-horizon trajectories on both humanoid and quadruped platforms. Our comparative studies confirm that MDME outperforms prior approaches in motion reproduction and generalization to unseen motions. Furthermore, we demonstrate real-time zero-shot deployment on unseen motions, removing per-motion tuning and online retargeting. These results show that MDME provides a generalizable and structure-aware foundation for scalable real-time robot imitation.

cs.RO↗
arXiv2026

SEA-Nav: Efficient Policy Learning for Safe and Agile Quadruped Navigation in Cluttered Environments

Efficiently learning safe and agile quadruped navigation in densely cluttered environments remains difficult: existing methods often lack safety and agility, or become conservative in complex scenes and require long training schedules. We propose SEA-Nav (Safe, Efficient, and Agile Navigation), a safe reinforcement learning framework for quadruped navigation in cluttered environments. A differentiable control barrier function (CBF) shield constrains the policy to produce safe velocity commands. An adaptive collision-state initialization mechanism increases the probability of learning from safety-critical near-collision experience. An action regularization term further suppresses infeasible commands for physical deployment. The policy converges after about one hour of training on a single RTX 4090 and transfers zero-shot to real-world cluttered scenes.

cs.RO↗