arXiv:2606. 03755v1 Announce Type: new Abstract: Autonomous science is moving from demonstration to infrastructure.
By Linwu Zhu, Liqiang Gao, Yan Chen, Dan Zhu, Jian Huang
The paper examines a trace‑completeness assumption in language‑enabled robot systems that combine semantic‑graph planning with temporal‑logic safety monitors. By auditing RoboGuard, the authors compare the monitor’s verdict on a surface plan with its verdict on a graph‑refined trace under the same LTL specification. Their evaluation of 28 controlled cases and 14 end‑to‑end scenarios shows that all targeted abstraction cases exhibit the predicted surface‑versus‑refined discrepancy, while controls behave as expected, suggesting that graph‑based trace refinement can serve as a lightweight mitigation and diagnostic tool for physical‑AI safety monitors.
By Stabak Das, Priyesh Ranjan, Xiangfang Li, Lijun Qian
arXiv:2606. 13578v1 Announce Type: cross Abstract: Scientific laboratories increasingly rely on AI systems to reason about experiments, but the physical act of doing science remains largely outside their reach.
By Baochang Ren, Xinjie Liu, Xi Chen, Yanshuo Liu, Chenxi Li, Daqi Gao, Zeqin Su, Jintao Xing, Zirui Xue, Rui Li, Xiangyu Zhao, Shuofei Qiao, Minting Pan, Wangmeng Zuo, Lei Bai, Dongzhan Zhou, Ningyu Zhang, Huajun Chen
arXiv:2605.13119v2 Announce Type: replace-cross
Abstract: Vision-language-action (VLA) models are effective robot action executors, but they remain limited on long-horizon tasks due to the dual burde...
By Zixing Lei, Changxing Liu, Yichen Xiong, Minhao Xiong, Yuanzhuo Ding, Zhipeng Zhang, Weixin Li, Siheng Chen
arXiv:2608. 07154v1 Announce Type: cross Abstract: Open-source robotics and foundation models have lowered the barrier to embodied AI, yet language-guided laboratory automation still requires reliable alignment from instructions and observations to safe actions.
By Yang Shen, Chonghao Cheng, Ziyi Zhao, Jialuo Zhu, Zhenyi Yi, Qi Zhao, Jian Yang, Yuhui Shi, Chin-Teng Lin
EmbodiedSkills is a unified framework that treats each skill decision as an execution proposal, checking prerequisites and verifying outcomes during long‑horizon vision‑language‑action tasks. It connects high‑level skill selection, bounded low‑level VLA execution, and post‑action verification through a fixed executable‑skill interface, enabling easy replacement of low‑level policies and recording of structured trajectories for supervision and adaptation. Instantiated with Qwen3‑VL and OpenPI/pi0.5 on RoboTwin 2.0 and LIBERO, the framework achieves high success rates (86.20% and 97.40% respectively) and demonstrates effective memory‑dependent task performance.
By Wei Wang, Wenqiao Zhang, Yutong Lin, Yuqian Yuan, Tianwei Lin, Jinhao Mao, Zhenxuan Fan, Mingjian Gao, Yang Dai, Wentong Li, Zheqi Lv, Zheng Dong, Yingjie Niu, Jiaqi Zhu, Jun Xiao, Chao Li, Yueting Zhuang