Hierarchical Wireless Foundation Model for Multi-Task Optimization
用于多任务优化的分层无线基础模型
Yangjing Wang, Ouya Wang, Shenglong Zhou, Geoffrey Ye Li
机构
*
Department of Electrical and Electronic Engineering, Faculty of Engineering, Imperial College London(电气与电子工程系,工程学院,伦敦帝国理工学院)
;
School of Mathematics and Statistics, Beijing Jiaotong University(数学与统计学学院,北京交通大学)
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
AoA:基于重新设计语言抽象语法树的定理证明智能体
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
机构
*
Nanyang Technological University Singapore(南洋理工大学新加坡分校)
;
Imperial College London London, UK(伦敦帝国理工学院伦敦分校)
;
University of Edinburgh Edinburgh, UK(爱丁堡大学爱丁堡分校)
机构
*
Institute of Information Engineering, Chinese Academy of Sciences(中国科学院信息工程研究所)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
College of Computing and Data Science, Nanyang Technological University(南洋理工大学计算与数据科学学院)
;
Department of Computer Science, Hong Kong Baptist University(香港 Baptist 大学计算机科学系)
;
Communication University of China(中国传媒大学)
;
Imperial College London(伦敦帝国学院)
;
School of Cyber Science and Technology, Shenzhen Campus of Sun Yat-sen University(中山大学深圳校区网络科学与技术学院)