Comments21 pages. Lean 4 formalisation: https://github.com/pitmonticone/Kourovka. v2: Expands the appendix with an account on problem selection and adds the MathOverflow provenance of Problem 18.50
Comments20 pages, 6 Figures, 6 Tables. Data is available on Zenodo: https://zenodo.org/records/19550073 (Version update on July 27, 2026: we clarified that the weather data are forecasts of one to three hours)
VL-LN Bench: Towards Long-horizon Goal-oriented Navigation with Active Dialogs
VL-LN基准:通过主动对话实现长视界目标导向导航
Wensi Huang, Shaohao Zhu, Meng Wei, Siqi Zhang, Jinming Xu, Xihui Liu, Hanqing Wang, Tai Wang, Feng Zhao, Jiangmiao Pang
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
Zhejiang University(浙江大学)
;
The University of Hong Kong(香港大学)
机构
*
Beijing Institute of Technology(北京理工大学)
;
East China Normal University(华东师范大学)
;
University of Science and Technology of China(中国科学技术大学)
;
Tsinghua University(清华大学)
;
University of Chinese Academy of Sciences(中国科学院大学)
Bridging MARL to SARL: An Order-Independent Multi-Agent Transformer via Latent Consensus
将MARL连接到SARL:一种通过潜在共识的顺序无关多智能体Transformer
Zijian Zhao, Jing Gao, Sen Li
机构
*
The Hong Kong University of Science and Technology(香港科学与技术大学)
;
The Hong Kong Polytechnic University(香港理工大学)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州))
Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions
基于树的人机交互中多智能体互补性形式化
Andrea Ferrario
机构
*
Institute of Biomedical Ethics and History of Medicine, University of Zurich(伦理与医学史研究所,苏黎世大学)
;
SUPSI, Dalle Molle Institute for Artificial Intelligence (IDSIA)(SUPSI,达勒莫利人工智能研究所)
;
ETH Zurich(苏黎世联邦理工学院)