Advancing Mathematics Research with AI-Driven Formal Proof Search
用AI驱动的形式证明搜索推进数学研究
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferraiuolo, Henryk Michalewski, Edward Lockhart, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri
机构
*
Google DeepMind(谷歌DeepMind)
;
Aarhus University(奥胡斯大学)
机构
*
Nanjing University of Science and Technology, China(南京理工大学)
;
Shenzhen University, China(深圳大学)
;
Beihang University, China(北京航空航天大学)
;
University of Sheffield, UK(谢菲尔德大学)
;
The 58th Research Institute of China Electronics Technology Group Corporation, China(中国电子科技集团第五十八研究所)
机构
*
SKLP, Institute of Computing Technology, Chinese Academy of Sciences(SKLP,计算技术研究所,中国科学院)
;
University of the Chinese Academy of Sciences(中国科学院大学)
;
School of Advanced Interdisciplinary Sciences(先进交叉学科学院)
机构
*
M-A-P
;
Carnegie Mellon University(卡内基梅隆大学)
;
Brown University(布朗大学)
;
Waseda University(早稻田大学)
;
The University of Tokyo(东京大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
University of Arizona(亚利桑那大学)
;
Northwestern University(西北大学)
;
Duke-NUS Medical School(杜克-新加坡国立大学医学院)
Advanced AI Service Provisioning in O-RAN through LLM Engine Integration
通过LLM引擎集成在O-RAN中的高级AI服务提供
Seyed Bagher Hashemi Natanzi, Pranshav Gajjar, Bo Tang, Vijay K. Shah
机构
*
Department of Electrical and Computer Engineering, Worcester Polytechnic Institute(电气与计算机工程系,沃斯特理工学院)
;
Department of Electrical and Computer Engineering, North Carolina State University(电气与计算机工程系,北卡罗来纳州立大学)
Beyond Ideal Instruction: A Comprehensive Framework for Evaluating LLMs in Realistic Interactions
超越理想指令:现实交互中评估大语言模型的综合框架
Xuan Yang, Hao Xu, Tingfeng Hui, Hongsheng Xin, Kaike Zhang, Chunxiao Liu, Ning Miao
机构
*
Department of Data Science, City University of Hong Kong(香港城市大学数据科学系)
;
Hong Kong Institute of AI for Science, City University of Hong Kong(香港城市大学人工智能科学研究院)
;
Li Auto Inc.(Li汽车公司)
;
Beijing University of Posts and Telecommunications(北京邮电大学)
;
Independent Researcher(独立研究员)
ToolGate: Token-Efficient Pre-Call Control for Tool-Augmented Vision-Language Agents
ToolGate: 面向工具增强视觉语言智能体的令牌高效预调用控制
Anjie Liu, Yan Song, Zhixun Chen, Ziqin Gong, Zhongwei Yu, Jun Wang
机构
*
The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州))
;
University College London(伦敦大学学院)
;
AI Lab, The Yangtze River Delta(长江三角洲人工智能实验室)
CRISP -- Clustering-Based Redundancy-Reduced Instance Sampling for Pathology Case Representation and Retrieval
CRISP -- 基于聚类的冗余减少实例采样用于病理病例表示与检索
Zahra Rahimi Afzal, Wataru Uegami, Saghir Alfasly, Wenchao Han, Saba Yasir, Judy C. Boughey, Matthew P. Goetz, Krishna R. Kalari, H. R. Tizhoosh
机构
*
Kimia Lab, Department of Artificial Intelligence & Informatics, Mayo Clinic, Rochester, MN, USA(Kimia实验室,人工智能与信息学系,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
DICE Lab, Department of Electrical and Computer Engineering, University of Illinois Chicago, IL, USA(DICE实验室,电气与计算机工程系,伊利诺伊大学芝加哥分校,伊利诺伊州,美国)
;
MD Kimia Lab, Department of Artificial Intelligence & Informatics, Mayo Clinic, Rochester, MN, USA(MD Kimia实验室,人工智能与信息学系,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
PhD Kimia Lab, Department of Artificial Intelligence & Informatics, Mayo Clinic, Rochester, MN, USA(PhD Kimia实验室,人工智能与信息学系,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
Division of Computational Pathology and Informatics, Mayo Clinic, Rochester, MN, USA(计算病理学与信息学部,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
Department of Laboratory Medicine and Pathology, Mayo Clinic, Rochester, MN, USA(实验室医学与病理学系,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
Department of Breast and Melanoma Surgical Oncology, Comprehensive Cancer Center, Mayo Clinic, Rochester, MN, USA(乳腺和黑色素瘤外科肿瘤学系,综合癌症中心,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
Department of Oncology, Comprehensive Cancer Center, Mayo Clinic, Rochester, MN, USA(肿瘤学系,综合癌症中心,梅奥诊所,罗切斯特,明尼苏达州,美国)
;
PhD H.R. Tizhoosh