A Novel Underactuated Universal Gripper with Swing Rods and an Elastic Membrane for Underwater Grasp. - Bochen Xu; Wenzeng Zhang (ROBIO, 2019)

Towards a Model Checking Framework for a New Collector Framework. - Bochen Xu; Eliot Moss; Stephen M. Blackburn (MPLR, 2022)

A Coupling Algorithm for Task and Path Planning of Multi-UGVs under Environmental Inspiration. - Bochen Xu; Hao Fang 001; Yuchen Mao; Yujie Wei; Qingkai Yang; Lei Zhou; Zhi Gao (ICCA, 2024)

NL2STL: Transformation from Logic Natural Language to Signal Temporal Logics using Llama2. - Yuchen Mao; Tianci Zhang; Xu Cao; Zhongyao Chen; Xinkai Liang; Bochen Xu; Hao Fang 001 (CIS-RAM, 2024)

Evaluation of OpenAI o1: Opportunities and Challenges of AGI. - Tianyang Zhong; Zhengliang Liu; Yi Pan 001; Yutong Zhang; Yifan Zhou; Shizhe Liang; Zihao Wu 001; Yanjun Lyu; Peng Shu; Xiaowei Yu; Chao Cao; Hanqi Jiang; et al. (CoRR, 2024)

Bridging Technology and Humanities: Evaluating the Impact of Large Language Models on Social Sciences Research with DeepSeek-R1. - Peiran Gu; Fuhao Duan; Wenhao Li; Bochen Xu; Ying Cai; Teng Yao; Chenxun Zhuo; Tianming Liu 001; Bao Ge (CoRR, 2025)