Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios
将大语言模型与时序逻辑融合以实现复杂场景中可靠的人-群智协作
Junfeng Chen, Yuxiao Zhu, An Zhuo, Xintong Zhang, Shuo Zhang, Guanghui Wen, Xiwang Dong, Meng Guo, Zhongkui Li
机构
*
School of Advanced Manufacturing and Robotics, Peking University（北京大学先进制造与机器人学院）
；
Division of Natural and Applied Sciences, Duke Kunshan University（杜克昆山大学自然与应用科学学院）
；
School of Automaton, Southeast University（东南大学自动化学院）
；
School of Automation Science and Electrical Engineering, Beihang University（北航自动化科学与电气工程学院）
Channel-Level Relation to Attentive Aggregation with Neighborhood-Homogeneity Constraint for Point Cloud Analysis
通道级关系与具有邻域同质性约束的注意聚合在点云分析中的应用
Jiaqi Shi, Jin Xiao, Xiaoguang Hu, Wenxuan Ji, Zichong Jia, Zifan Long, Tianyou Chen, Baochang Zhang
机构
*
1School of Automation Science
；
Electrical Engineering, Beihang University, Beijing, China 2Wuhan Leaddo Measuring \& Control Technology, Wuhan, China 3School of Artificial Intelligence, Beihang University, Beijing, China Emails
CommentsAccepted by CVPR 2026 (Conference on Computer Vision and Pattern Recognition). 11 pages, 5 figures. Code available at: https://github.com/JiangYubo4399/PND
机构
*
SKLCCSE, School of Computer Science and Engineering, Beihang University（软件学院，北京航空航天大学）
；
Beihang University（北京航空航天大学）
；
School of Computer Science, Peking University（北京大学计算机学院）
；
the State Key Laboratory of Multimodal Artificial Intelligence Systems, Institute of Automation, Chinese Academy of Sciences（多模态人工智能系统国家重点实验室，中国科学院自动化研究所）
；
School of Information Science and Technology, University of Science and Technology of China（信息科学与技术学院，中国科学技术大学）
；
BNRist, Tsinghua University（北京理工大学，清华大学）
；
Zhongguancun Academy（中关村学院）
Yuqi Pan, Yupeng Feng, Jinghao Zhuang, Siyu Ding, Han Xu, Zehao Liu, Bohan Sun, Yuhong Chou, Xuerui Qiu, Anlin Deng, Anjie Hu, Shurong Wang, Peng Zhou, Man Yao, Jibin Wu, Jian Yang, Guoliang Sun, Bo Xu, Guoqi Li
机构
*
Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
；
Beijing Key Laboratory of Brain-Inspired General Intelligence Large Model（北京脑启发通用智能大模型重点实验室）
；
Key Laboratory of Brain Cognition and Brain-inspired Intelligence Technology（脑认知与脑启发智能技术重点实验室）
；
Beijing Academy of Artificial Intelligence（北京人工智能研究院）
；
The Hong Kong Polytechnic University（香港理工大学）
；
Zhongguancun Academy（中关村学院）
；
Beihang University（北航）
；
Zhejiang University（浙江大学）
；
LuxiTech
；
MetaX Integrated Circuit Co., Ltd（MetaX集成电路有限公司）
Benchmark of Segmentation Techniques for Pelvic Fracture in CT and X-ray: Summary of the PENGWIN 2024 Challenge
CT和X射线中骨盆骨折分割技术的基准测试：PENGWIN 2024挑战总结
Yudi Sang, Yanzhen Liu, Sutuke Yibulayimu, Yunning Wang, Benjamin D. Killeen, Mingxu Liu, Ping-Cheng Ku, Ole Johannsen, Karol Gotkowski, Maximilian Zenk, Klaus Maier-Hein, Fabian Isensee, Peiyan Yue, Yi Wang, Haidong Yu, Zhaohong Pan, Yutong He, Xiaokun Liang, Daiqi Liu, Fuxin Fan, Artur Jurgas, Andrzej Skalski, Yuxi Ma, Jing Yang, Szymon Płotka, Rafał Litka, Gang Zhu, Yingchun Song, Mathias Unberath, Mehran Armand, Dan Ruan, S. Kevin Zhou, Qiyong Cao, Chunpeng Zhao, Xinbao Wu, Yu Wang
机构
*
Beijing Rossum Robot Technology Co., Ltd.（北京罗素机器人科技有限公司）
；
Key Laboratory of Biomechanics and Mechanobiology, Ministry of Education, Beijing Advanced Innovation Center for Biomedical Engineering, School of Biological Science and Medical Engineering, Beihang University（生物力学与机械生物学重点实验室，教育部，北京生物医学创新中心，生物科学与医学工程学院，北航）
；
Department of Computer Science, Johns Hopkins University（计算机科学系，约翰霍普金斯大学）
；
Division of Medical Image Computing, German Cancer Research Center (DKFZ)（医学影像计算部，德国癌症研究中心（DKFZ））
；
Helmholtz Imaging, Heidelberg（海德堡大学医院影像中心）
；
Smart Medical Imaging, Learning and Engineering (SMILE) Lab, Medical UltraSound Image Computing（智能医学影像、学习与工程（SMILE）实验室，医学超声影像计算）
