机构
*
University of Chinese Academy of Sciences(中国科学院大学)
;
State Key Lab of AI Safety, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China(中国科学院人工智能安全国家重点实验室,计算技术研究所,北京,中国)
;
Harbin Institute of Technology (Weihai)(哈尔滨工业大学(威海))
VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
VeryTrace: 通过可编译形式化与结构化验证验证推理轨迹
Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale, Sriram Vishwanath
机构
*
School of Electrical and Computer Engineering, Georgia Institute of Technology, USA(佐治亚理工学院电子与计算机工程学院)
;
Department of Electrical and Computer Engineering, Bogazici University, Turkey(博亚奇大学电子与计算机工程系)
Comments10 pages, 4 figures. Accepted at the ICML 2026 Workshop on AI Forecasting (Forecasting as a New Frontier of Intelligence). Non-archival. OpenReview: https://openreview.net/forum?id=mi8QiWomm3
Collapsed Effective Operators for Higher-order Structures
高阶结构的塌缩有效算子
Maximilian Krahn, Lennart Bastian, Vikas Garg, Björn Schuller, Tolga Birdal
机构
*
Department of Computing, Imperial College London(帝国理工学院计算系)
;
Aalto University(阿尔托大学)
;
Chair of Health Informatics, Technical University of Munich(慕尼黑工业大学健康信息学教席)
;
Munich Center for Machine Learning(慕尼黑机器学习中心)
;
YaiYai Ltd(YaiYai有限公司)
机构
*
School of Computer Science and Engineering, Nanjing University of Science and Technology(南京理工大学计算机科学与工程学院)
;
School of Computing and Information Systems, Singapore Management University(新加坡管理大学计算与信息系统学院)
;
Faculty of Data Science, City University of Macau(澳门城市大学数据科学学院)
;
Centre for Frontier AI Research (CFAR), Agency for Science, Technology and Research (A*STAR)(新加坡科技研究局前沿人工智能研究中心)
;
Institute of High Performance Computing (IHPC), Agency for Science, Technology and Research (A*STAR)(新加坡科技研究局高性能计算研究所)
;
College of Computing and Data Science, Nanyang Technological University(南洋理工大学计算与数据科学学院)
Factored Gossip DiLoCo: Reducing Blocking Communication in DiLoCo
因式化Gossip DiLoCo:减少DiLoCo中的阻塞通信
Chamin Hewa Koneputugodage, Thalaiyasingam Ajanthan, Sameera Ramasinghe, Hadi Mohaghegh Dolatabadi, Shamane Siriwardhana, Gil Avraham, Violetta Shevchenko, Karol Pajak, James Snewin, Alexander Long
Adaptive Recurrent Message Passing for Test Time Computing on Graphs
自适应递归消息传递用于图上的测试时计算
Junshu Sun, Wanxing Chang, Qingming Huang, Shuhui Wang
机构
*
State Key Laboratory of AI Safety, Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所人工智能安全国家重点实验室)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
DAMO Academy, Alibaba Group(阿里巴巴集团达摩院)
Enhancing LLMs for Graph Tasks via Graph-aware LoRA Generation
通过图感知的LoRA生成增强LLMs的图任务能力
Junshu Sun, Wanxing Chang, Qingming Huang, Shuhui Wang
机构
*
State Key Lab. of AI Safety, Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所人工智能安全国家重点实验室)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
DAMO Academy, Alibaba Group(阿里巴巴集团达摩院)
机构
*
Swiss Institute of Allergy and Asthma Research, Davos, Switzerland(瑞士过敏与哮喘研究所,达沃斯,瑞士)
;
ETH Zurich, Zurich, Switzerland(苏黎世联邦理工学院,苏黎世,瑞士)
;
Swiss Institute of Bioinformatics, Lausanne, Switzerland(瑞士生物信息学研究所,洛桑,瑞士)
CommentsAccepted at the 2nd ICML 2026 Workshop on Foundation Models for Structured Data (FMSD). 4 pages (main text), 2 figures, plus references and appendix
Is Our Benchmark Enough? An Analysis of Continual Learning for MLLMs
我们的基准测试足够吗?多模态大语言模型持续学习分析
Van-Tuan Tran, Shruthi Gowda, Merim Dzaferagic, Marco Ruffini
机构
*
School of Computer Science and Statistics, Trinity College Dublin(都柏林圣三一学院计算机科学与统计学院)
;
Department of Mathematics and Computer Science, Eindhoven University of Technology(埃因霍温理工大学数学与计算机科学系)
FOCA: Future-Oriented Conditioning for Data-Efficient Vision-Language-Action Adaptation
FOCA: 面向未来的条件化用于数据高效的视觉-语言-动作适应
Duc Minh Nguyen, Nghiem Tuong Diep, Binh Gia Nguyen, Trong-Bao Ho, Doanh Le, Tan Q. Nguyen, Thien-Loc Ha, Nhiem Tran, Bao Thach, Nhat X. Tran, Tuan A. Tran, Artur Habuda, Philip Lund Møller, Tran Nguyen Le, Daniel Sonntag, Matthias Niepert, Khoa D. Doan, Vu Duong, Hung Ngo, Minh N. Vu, Duy M. H. Nguyen, An Thai Le, Ngo Anh Vien
机构
*
Center for AI Research, VinUniversity, Vietnam
;
University of Utah, USA
;
German Research Center for Artificial Intelligence (DFKI)
;
Technical University of Denmark, Denmark
;
University of Oldenburg, Germany
;
University of Stuttgart, Germany
;
Max Planck Research School for Intelligent Systems (IMPRS-IS), Germany