Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation
嵌套序列为直觉多模逻辑:切消和Lyndon插值
专题命中 其他多模态 :multi-modal(title,abstract)
AI总结 本文提出了一种单结论嵌套序列表演算,用于直觉多模逻辑,并证明了切消性和Lyndon插值性质。
Comments in review
AI 大模型
跨文本、图像、视频、音频等模态的大模型与学习方法。
嵌套序列为直觉多模逻辑:切消和Lyndon插值
专题命中 其他多模态 :multi-modal(title,abstract)
AI总结 本文提出了一种单结论嵌套序列表演算,用于直觉多模逻辑,并证明了切消性和Lyndon插值性质。
Comments in review
迈向多模态图大规模语言模型
机构 * Department of Computer Science and Technology(计算机科学与技术系) ; Beijing National Research Center for Information Science and Technology(北京信息科学与技术国家研究中心)
专题命中 其他多模态 :multimodal(title);multi-modal(abstract)
AI总结 本文提出多模态图大规模语言模型(MG-LLM),旨在统一和泛化多模态图数据和任务,通过统一空间、多任务处理、上下文学习等五个核心特性,推动多模态图学习的发展。
Comments 4 figures, 2 tables
Journal ref Science China Information Sciences (2025)
具有脆弱性的鲁棒多模态对抗训练
专题命中 其他多模态 :multimodal(title,abstract)
AI总结 本文提出VARMAT方法,通过识别各模态的脆弱性提升多模态对抗鲁棒性,实现在多个数据集上显著提升鲁棒性性能。
Comments Accepted by AAAI26
多模态生成流用于LHC喷注
机构 * NHETC, Rutgers University(罗格斯大学) ; TU Berlin(柏林技术大学) ; University of Potsdam(波茨坦大学)
专题命中 其他多模态 :multimodal(title,abstract)
AI总结 本文提出一种基于变换器的多模态生成流,用于联合建模LHC喷注的连续动力学特征和离散量子数,实现了高保真的喷注生成。
Comments Accepted at NeurIPS 2025 ML4PS workshop
机构 * Computer Vision Group(计算机视觉组) ; Friedrich Schiller University(弗里德里希·席勒大学)
专题命中 其他多模态 :multimodal(title,abstract)
Comments Accepted at EurIPS 2025 Workshop: Unifying Perspectives on Learning Biases (UPLB)
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multimodal(title,abstract)
Comments 11 pages, 2 figures, 1 table
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multimodal(title,abstract)
Comments 8 pages, 3 figures
专题命中 其他多模态 :multimodal(title,abstract)
Comments 10 pages, 2 figures
专题命中 其他多模态 :multimodal(title,abstract)
Comments International Conference on Human-Engaged Computing (ICHEC 2025), Singapore
专题命中 其他多模态 :multimodal(title,abstract)
机构 * Division of Decision and Control Systems(决策与控制系统系) ; KTH Royal Institute of Technology(皇家理工学院) ; Laboratoire des signaux et systèmes(信号与系统实验室) ; Université Paris-Saclay, CNRS, CentraleSupélec(巴黎萨克雷大学、国家科学研究中心、中央理工-巴黎高等理工学院)
专题命中 其他多模态 :multimodal(title,abstract)
Comments 31 pages; NeurIPS 2025
专题命中 其他多模态 :multimodal(title,abstract)
Comments 22 pages, 7 figures
机构 * Department of Materials Science and Engineering, University of California, Irvine, Irvine, California 92697(材料科学与工程系,加州大学伊尔弗斯分校) ; National Security Directorate, Pacific Northwest National Laboratory, Richland, Washington 99352(国家安全 Directorate,太平洋西北国家实验室) ; Environment Directorate, Pacific Northwest National Laboratory, Richland, Washington 99352(环境 Directorate,太平洋西北国家实验室) ; Computational Sciences Directorate, Pacific Northwest National Laboratory, Richland, Washington 99352(计算科学 Directorate,太平洋西北国家实验室) ; Department of Physics, Auburn University, Auburn, Alabama 36849(物理系,阿伯茨海德大学) ; Department of Nuclear Engineering, University of New Mexico, Albuquerque, New Mexico 87131(核工程系,新墨西哥大学) ; Department of Nuclear Engineering, University of Tennessee, Knoxville, Tennessee 37996(核工程系,田纳西大学, Knoxville分校) ; Engineering, University of Delaware, Newark, Delaware 19716(工程系,德雷塞尔大学,新阿罗约分校) ; National Renewable Energy Laboratory, Golden, Colorado 80401(国家可再生能源实验室) ; Sustainable Energy Institute, University of Colorado Boulder, Boulder, CO, 80309(可持续能源学院,科罗拉多大学波德分校)
专题命中 其他多模态 :multi-modal(title,abstract)
Comments 30 pages, 5 figures, 2 tables
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multi-modal(title,abstract)
机构 * BNRIST, Tsinghua University(北京理工大学,清华大学)
专题命中 其他多模态 :multimodal(title,abstract)
机构 * Department of Health Sciences and Technology (DHEST), ETH Zurich(健康科学与技术系,苏黎世联邦理工学院) ; Department of Signal Theory and Communications, Universidad Carlos III de Madrid(信号理论与通信系,卡洛斯三世大学) ; UCL Hawkes Institute, Department of Computer Science, University College London(UCL Hawkes研究所,伦敦大学学院计算机科学系) ; Instituto de Investigación Sanitaria Gregorio Marañón (IiSGM), Madrid(Gregorio Marañón卫生研究所(IiSGM),马德里)
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multi-modal(title,abstract)
专题命中 其他多模态 :multi-modal(title,abstract)
机构 * Department of Electrical and Computer Engineering(电气与计算机工程系) ; Florida Institute for National Security (FINS)(佛罗里达国家安全研究所) ; Applied Artificial Intelligence Group(应用人工智能小组) ; University of Florida(佛罗里达大学)
专题命中 其他多模态 :multimodal(title,abstract)
机构 * Carnegie Mellon University(卡内基梅隆大学)
专题命中 其他多模态 :multi-modal(title,abstract)
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multi-modal(title,abstract)
Comments This paper is submitted to 2026 American Control Conference (ACC)
机构 * Statistical Physics of Computation Laboratory(计算物理实验室)
专题命中 其他多模态 :multi-modal(title,abstract)
Journal ref J. Stat. Mech. (2025) 093302
专题命中 其他多模态 :multimodal(title,abstract)
专题命中 其他多模态 :multi-modal(title,abstract)
Comments 27 pages, 3 Tables, 11 Figures
专题命中 其他多模态 :multimodal(title,abstract)