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(奥胡斯大学)
2-Step Agent: A Framework for the Interaction of a Decision Maker with AI Decision Support
2-Step Agent: 一个用于决策者与AI决策支持交互的框架
Otto Nyberg, Fausto Carcassi, Davide Tugnoli, Giovanni Cinà
机构
*
Department of Medical Informatics, Amsterdam UMC University of Amsterdam(医学信息学系,阿姆斯特丹大学医学中心,阿姆斯特丹大学)
;
Institute for Logic, Language and Computation, University of Amsterdam(逻辑、语言和计算研究所,阿姆斯特丹大学)
;
Department of Mathematics and Earth Sciences, University of Trieste(数学与地球科学系,特里埃斯特大学)
Payoff scaling shapes cooperation in LLM agents across languages
收益规模塑造跨语言LLM代理的合作行为
Trung-Kiet Huynh, Dao-Sy Duy-Minh, Thanh-Bang Cao, Phong-Hao Le, Hong-Dan Nguyen, Phu-Quy Nguyen-Lam, Minh-Luan Nguyen-Vo, Hong-Phat Pham, Phu-Hoa Pham, Thien-Kim Than, Chi-Nguyen Tran, Huy Tran, Gia-Thoai Tran-Le, Alessio Buscemi, Le Hong Trang, The Anh Han
机构
*
Faculty of Information Technology, University of Science (HCMUS), Ho Chi Minh City, Vietnam(信息技术学院,科学大学(HCMUS),胡志明市,越南)
;
Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), Ho Chi Minh City, Vietnam(计算机科学与工程学院,胡志明市技术大学(HCMUT),胡志明市,越南)
;
Vietnam National University – Ho Chi Minh City (VNU-HCM), Ho Chi Minh City, Vietnam(越南国家大学——胡志明市(VNU-HCM),胡志明市,越南)
;
Luxembourg Institute of Science and Technology (LIST), Luxembourg(卢森堡科学与技术研究所(LIST),卢森堡)
;
School of Computing, Engineering and Digital Technologies, Teesside University, Middlesbrough, United Kingdom(计算、工程与数字技术学院,泰赛德大学,米德尔斯布罗,英国)
机构
*
TUM School of Computation, Information and Technology, Technical University of Munich, Munich, Germany.(慕尼黑技术大学计算、信息与技术学院)
;
Munich Institute of Robotics(慕尼黑机器人与智能机构研究所)
;
Munich Data Science Institute (MDSI)(慕尼黑数据科学研究所)
;
National University of Singapore(新加坡国立大学)
;
National Taiwan University (NTU)(国立台湾大学)
;
NTU Artificial Intelligence Center of Research Excellence (NTU AI-CoRE)(国立台湾大学人工智能研究中心)
;
University of Utah(犹他大学)
;
Beijing Institute of Technology(北京理工大学)
;
McGill University(麦吉尔大学)
机构
*
Pengcheng Laboratory(鹏城实验室)
;
School of Computer Science and Cyber Engineering(计算机科学与网络工程学院)
;
Guangzhou University(广州大学)
;
Southern University of Science and Technology(南方科技大学)
Optimality of Symmetric Independent Policies under Decentralized Mean-Field Information Sharing for Stochastic Teams and Equivalence with McKean-Vlasov Control of a Representative Agent
RetroReasoner: A Reasoning LLM for Strategic Retrosynthesis Prediction
RetroReasoner:一种用于战略 retrosynthesis 预测的推理 LLM
Hanbum Ko, Chanhui Lee, Ye Rin Kim, Rodrigo Hormazabal, Sehui Han, Sungbin Lim, Sungwoong Kim
机构
*
Department of Artificial Intelligence, Korea University(韩国大学人工智能系)
;
Department of Statistics, Korea University(韩国大学统计系)
;
Materials Intelligence Lab, LG AI Research(LG人工智能研究实验室)
One if by Land, Two if by Sea, Three if by Four Seas, and More to Come -- Values of Perception, Prediction, Communication, and Common Sense in Decision Making
An Infectious Disease Spread Simulation Based on Large Language Model Decision Making
基于大语言模型决策的传染病传播模拟
Yonchanok Khaokaew, Ruochen Kong, Andreas Zufle, Hao Xue, Taylor Anderson, Chandini Raina MacIntyre, Matthew Scotch, Flora D. Salim, David J Heslop
机构
*
Computer Science and Engineering Faculty of Engineering(计算机科学与工程系)
;
The University of New South Wales(新南威尔士大学)
;
Department of Computer Science(计算机科学系)
;
Emory University(埃默里大学)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州))
;
George Mason University(乔治·马歇尔大学)
;
The Kirby Institute Faculty of Medicine & Health(Kirby研究所医学院与健康学院)
;
Arizona State University(亚利桑那州立大学)
RECON: Reasoning with Condensation for Efficient Retrieval-Augmented Generation
RECON:基于压缩的推理用于高效检索增强生成
Zhichao Xu, Minheng Wang, Yawei Wang, Wenqian Ye, Yuntao Du, Yunpu Ma, Yijun Tian
机构
*
University of Utah(犹他大学)
;
University of Washington(华盛顿大学)
;
George Washington University(乔治·华盛顿大学)
;
University of Virginia(弗吉尼亚大学)
;
Shandong University(山东大学)
;
Ludwig Maximilian University of Munich(慕尼黑路德维希-马克西米利安大学)
;
University of Notre Dame(诺特丹大学)
CommentsICRA 2026 Best Conference Paper Award; ICRA 2026 Best Paper Award on Planning and Control; CoRL 2025 Best Paper Award on Learning Effective Abstractions for Planning (LEAP) Workshop (https://symskill.github.io/)
机构
*
Zhejiang University(浙江大学)
;
Beijing Zhongguancun Academy(北京中关村学院)
;
University of Science and Technology of China(中国科学技术大学)
;
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
Shanghai Jiao Tong University(上海交通大学)
;
Beihang University(北京航空航天大学)