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

ArXiv CS.AI2026-06-06NEWSen作者: Yunhao Yang, Neel P. Bhatt, Kevin Wang, Samuel Tetteh, Zhangyang Wang, Ufuk Topcu