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(北航自动化科学与电气工程学院)
机构
*
University of Electronic Science and Technology of China(电子科学与技术大学)
;
Peking University(北京大学)
;
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
Zhongguancun Academy(中关村学院)
SPHERE: Mitigating the Loss of Spectral Plasticity in Mixture-of-Experts for Deep Reinforcement Learning
SPHERE: 缓解混合专家在深度强化学习中的频谱可塑性损失
Lirui Luo, Guoxi Zhang, Hongming Xu, Cong Fang, Qing Li
机构
*
State Key Lab of General AI, School of Intelligence Science and Technology, Peking University(人工智能国家重点实验室,智能科学与技术学院,北京大学)
;
State Key Laboratory of General Artificial Intelligence, BIGAI(通用人工智能国家重点实验室,BIGAI)
;
Institute for Artificial Intelligence, Peking University(人工智能研究院,北京大学)
机构
*
Tsinghua University(清华大学)
;
Meituan Inc(美团公司)
;
Central South University(中南大学)
;
Peking University(北京大学)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
Nanyang Technological University(南洋理工大学)
Cloud-top infrared observations reveal the four-dimensional precipitation structure
积云红外观测揭示四维降水结构
Tianchi Xu, Ziqiang Ma, Andrea Marinoni, Yuanpeng He, Xiaoqing Li, Chuanfeng Zhao, Kang He, Jintao Xu, Bohan Zhou, Wenbo Zhao, Haoshuang Chen, Tun Wang, Dongdong Wang, Yang Hong
机构
*
Institute of Remote Sensing and Geographical Information Systems, School of Earth and Space Sciences, Peking University(遥感与地理信息系统研究所,地球与空间科学学院,北京大学)
;
Department of Computer Science and Technology, University of Cambridge(计算机科学与技术系,剑桥大学)
;
Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education(高可信软件技术重点实验室(北京大学),教育部;计算机科学学院,北京大学)
;
School of Computer Science, Peking University(风云气象卫星创新中心,国家气象中心,中国气象局)
;
Innovation Center for Fengyun Meteorological Satellite, National Meteorological Centre, China Meteorological Administration(大气与海洋科学系,物理学院,北京大学)
;
Department of Atmospheric and Oceanic Sciences, School of Physics, Peking University(山地灾害环境研究所,中国科学院)
;
Institute of Mountain Hazards and Environment, Chinese Academy of Sciences(土木工程与环境科学学院,俄克拉荷马大学)
;
School of Civil Engineering and Environmental Science, University of Oklahoma
机构
*
Peking University(北京大学)
;
New York University(纽约大学)
;
Huzhou University(湖州大学)
;
Institute of Science Tokyo(东京科学研究院)
;
Guangdong Institute of Intelligence Science and Technology(广东省智能科学与技术研究院)
机构
*
National Engineering Laboratory for Video Technology, School of Computer Science, Peking University(国家视频技术工程实验室,计算机科学学院,北京大学)
;
School of Computer Science, Jilin University(吉林大学计算机科学学院)
;
Institute for AI Industry Research (AIR), Tsinghua University(人工智能产业研究院(AIR),清华大学)
FlashMol: High-Quality Molecule Generation in as Few as Four Steps
FlashMol:在四步内生成高质量分子构象
Xinyuan Wei, Zian Li, Shaoheng Yan, Cai Zhou, Muhan Zhang
机构
*
Institute for Artificial Intelligence, Peking University(北京大学人工智能研究院)
;
Yuanpei College, Peking University(北京大学元培学院)
;
School of Intelligence Science and Technology, Peking University(北京大学智能科学与技术学院)
;
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology(麻省理工学院电气工程与计算机科学系)
;
State Key Laboratory of General Artificial Intelligence, Peking University(北京大学通用人工智能国家重点实验室)
Saliency-Aware Regularized Quantization Calibration for Large Language Models
具有显著性感知的正则化量化校准用于大语言模型
Yanlong Zhao, Xiaoyuan Cheng, Huihang Liu, Baihua He, Xinyu Zhang, Harrison Bo Hua Zhu, Wenlong Chen, Li Zeng, Zhuo Sun
机构
*
University of Science and Technology of China(中国科学技术大学)
;
University College London(伦敦大学学院)
;
Shanghai University of Finance and Economics(上海财经大学)
;
Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
;
University of Copenhagen(哥本哈根大学)
;
Imperial College London(伦敦帝国学院)
;
Technical University of Denmark(丹麦技术大学)
;
Peking University(北京大学)
机构
*
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(中关村学院)
Verifier-Backed Hard Problem Generation for Mathematical Reasoning
基于验证器的数学推理硬问题生成
Yuhang Lai, Jiazhan Feng, Yee Whye Teh, Ning Miao
机构
*
Department of Data Science, City University of Hong Kong(香港城市大学数据科学系)
;
Hong Kong Institute of AI for Science, City University of Hong Kong(香港城市大学人工智能科学研究所)
;
School of Intelligence Science and Technology, Peking University(北京大学智能科学与技术学院)
;
Department of Statistics, University of Oxford(牛津大学统计系)
机构
*
Zhejiang University(浙江大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
Peking University(北京大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Tsinghua University(清华大学)
;
University of Science and Technology of China(中国科学技术大学)
;
Shanghai Jiao Tong University(上海交通大学)
Dynamic Pondering Sparsity-aware Mixture-of-Experts Transformer for Event Stream based Visual Object Tracking
动态考虑稀疏性的事件混合专家变换器用于基于事件流的视觉目标跟踪
Shiao Wang, Xiao Wang, Duoqing Yang, Wenhao Zhang, Bo Jiang, Lin Zhu, Yonghong Tian, Bin Luo
机构
*
School of Computer Science and Technology, Anhui University(安徽大学计算机科学与技术学院)
;
Beijing Institute of Technology(北京理工大学)
;
Peng Cheng Laboratory(鹏城实验室)
;
National Key Laboratory for Multimedia Information Processing, School of Computer Science, Peking University(北京大学多媒体信息处理国家重点实验室)
;
School of Electronic and Computer Engineering, Shenzhen Graduate School, Peking University(北京大学深圳研究生院电子与计算机工程学院)