VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

Yunhao Yang, Neel P. Bhatt, Kevin Wang +3

Reusable robot skills are becoming the basic units through which embodied agents turn open-ended instructions into long-horizon physical behavior. We argue that, while foundation m…