Modal Logic for Distributed Trust
分布式信任的模态逻辑
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出一种用于多智能体系统信任推理的方法,通过定义描述通信协议的语言及信任假设,利用模态逻辑建模网络中智能体的信念与通信,探讨信息共享与跨网络信任泛化机制。
Comments 32 pages
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
分布式信任的模态逻辑
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出一种用于多智能体系统信任推理的方法,通过定义描述通信协议的语言及信任假设,利用模态逻辑建模网络中智能体的信念与通信,探讨信息共享与跨网络信任泛化机制。
Comments 32 pages
PPGL-Swarm:集成多模态风险分层与遗传综合征检测的pheochromocytoma和paraganglioma诊断系统
机构 * Shanghai Jiao Tong University(上海交通大学) ; The Chinese University of Hong Kong(香港中文大学) ; Ruijin Hospital(瑞金医院) ; ShanghaiTech University(上海科技大学)
专题命中 多智能体 :agent(abstract);agentic(abstract)
AI总结 本文提出PPGL-Swarm系统,通过多模态证据整合实现全面诊断报告,包括自动化GAPP评分、基因风险警报及可追溯的推理路径,解决传统诊断方法的局限性。
有效秩分析与柔性天线增强无线系统优化:可移动天线或挤压天线?
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出GAIQN和MAGAQN算法,通过优化天线位置提升MA和PA系统的有效秩,同时设计新型top-k动作选择方法确保多天线碰撞避免,验证了算法在提升有效秩和空间自由度稳定性方面的有效性。
Comments 13 pages, 5 figures and 3 tables
多模态感知与通信一体化的统一云-边-终端框架
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出统一云-边-终端框架,通过多模态感知与通信融合,解决异构融合、通信开销和系统扩展性等挑战,提升任务导向的多模态感知能力。
流体天线网络超越波束成形:面向6G的AI原生控制范式
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出一种AI原生的流体天线网络控制范式,通过闭环控制架构将天线适应与传统无线资源管理结合,提升网络性能并减少小区间干扰。
使用自适应控制的自主多智能体安全稳定编队控制(扩展版)
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出结合自适应控制、控制屏障函数和连接图的方法,解决多智能体系统在动态不确定性和通信限制下的稳定与安全编队控制问题,通过自适应控制确保稳定性,安全过滤器生成安全指令,参考模型实现无不确定情况下的编队控制。
Comments Accepted to Modeling, Estimation and Control Conference (MECC) 2025
利用大语言模型检测人类-人工智能团队中的对抗意图
机构 * Department of Mechanical Engineering, University of California at Santa Barbara(加州大学圣巴巴拉分校机械工程系) ; Department of Computer Science, University of California at Santa Barbara(加州大学圣巴巴拉分校计算机科学系)
专题命中 多智能体 :agent(abstract);分类 cs.AI、cs.LG
AI总结 本文研究了大语言模型在人类-人工智能团队中作为防御监督者的潜力,通过分析交互痕迹检测恶意行为,发现LLM能实时识别恶意行为,且无需任务特定信息,表明了任务无关防御的可能性。
基于大语言模型的智能体是否表现出参与机制?信息负荷、描述性规范和流行度线索的受控测试
机构 * Department of Communication, Michigan State University(密歇根州立大学通讯系) ; College of Computer Science and Technology, Zhejiang University(浙江大学计算机科学与技术学院) ; School of Software Technology, Zhejiang University(浙江大学软件技术学院)
专题命中 多智能体 :agent(abstract);分类 cs.AI
AI总结 本文通过社交媒体信息负荷和描述性规范的受控实验,探讨基于大语言模型的智能体参与机制,发现参与度受信息负荷和规范影响,流行度线索的敏感性因情境而异,强调方法论对模拟通信研究的影响。
yProv4DV:即开即用的可重复数据可视化脚本
专题命中 多智能体 :workflow(abstract);分类 cs.SE
AI总结 本文提出yProv4DV库,通过溯源信息实现可重复的数据可视化脚本,无需修改代码即可追踪输入输出,提升科研成果的可重复性。
Comments SoftwareX, 17 pages, 4 figures
具有差分隐私的压缩分布式随机非凸优化
专题命中 多智能体 :agent(abstract)
AI总结 本文研究了具有压缩通信和差分隐私的分布式随机非凸优化问题,提出了一种压缩分布式随机梯度下降算法,在一般压缩算子下实现线性加速收敛率。
协同联邦学习的机制:Shapley值的弊端
专题命中 多智能体 :agent(abstract)
AI总结 本文研究了机制设计对联邦学习协同学习系统的影响,提出多行动协同联邦学习框架,揭示了机制如何影响联邦学习的收敛速度和效率,指出Shapley值机制存在数据分裂的弊端。
DS2SC-Agent: 一种多智能体自动化流水线用于快速芯片片建模
专题命中 工作流自动化 :agent(title,abstract);multi-agent(title,abstract);workflow(abstract)
AI总结 本文提出DS2SC-Agent,一种多智能体自动化流水线,用于从原始数据表直接生成SystemC芯片片模型,解决传统手动建模耗时且易出错的问题,通过高效协作框架实现自动化流程。
Comments 9 pages,5figures
Agentproof: 静态验证代理工作流图
专题命中 工作流自动化 :agent(title,abstract);workflow(title,abstract)
AI总结 Agentproof通过提取四个主流代理框架的统一抽象图模型,应用六种结构检查并生成见证轨迹,评估时间安全策略,实现无需手动建模的静态验证,发现工作流中的结构缺陷和政策违规。
kRAIG:一种基于自然语言的自动化数据Ops流水线生成代理
机构 * Cisco(思科公司)
专题命中 工作流自动化 :agent(title,abstract);AI agent(abstract);agentic(abstract);分类 cs.AI、cs.CL、cs.SE
AI总结 kRAIG通过ReQuesAct框架明确用户意图,利用检索增强的工具合成过程生成KFP流水线,提升数据提取和加载的成功率及转换准确性。
Comments 9 pages, 7 figures
OpenEarth-Agent:从工具调用到工具创建用于开放环境地球观测
机构 * Nanjing University(南京大学) ; Shanghai Artificial Intelligence Laboratory(上海人工智能实验室) ; Shanghai Jiao Tong University(上海交通大学) ; The University of Tokyo(东京大学)
专题命中 工作流自动化 :agent(title,abstract);planning(abstract);workflow(abstract)
AI总结 本文提出OpenEarth-Agent框架,通过自适应工作流规划与工具创建,解决开放环境地球观测中多源数据和异构任务的挑战,并通过OpenEarth-Bench评估其适应性和工具创建能力。
Comments 15 pages, 4 figures
时间之针:通过自监督学习学习过程性工作流
机构 * Department of Informatics, King’s College London, UK(伦敦国王学院信息学系)
专题命中 工作流自动化 :workflow(title,abstract);分类 cs.AI
AI总结 本文提出PL-Stitch框架,通过自监督学习提升视频过程性表示,有效解决传统方法对序列结构的忽视问题,在手术和烹饪任务中取得显著提升。
Comments Accepted at CVPR2026 main conference
软件工程师如何与AI互动:一种务实的工作流程
专题命中 工作流自动化 :workflow(title,abstract);分类 cs.SE
AI总结 本文提出一种务实的工作流程和四象限决策模型,帮助软件工程师在使用AI工具时决定何时信任、完善或丢弃生成的成果,通过实证研究和观察提供结构化指导。
基于人格的学生代理建模在数学教育中的应用:学生代理与人类学习者有多契合?
专题命中 工作流自动化 :agent(title,abstract)
AI总结 本文通过构建基于Big Five人格的学生代理模型,评估其与人类学习者行为的一致性,发现71.4%的行为符合人类学习者。
Comments Short Paper
跨学科指令文本:对表示、下游任务和有能力AI代理的综述
机构 * KUIS AI Lab, Koç University, Istanbul, Türkiye(KUIS AI实验室,科克大学,伊斯坦布尔,土耳其) ; Koç University, Istanbul, Türkiye(科克大学,伊斯坦布尔,土耳其) ; Johns Hopkins University, Baltimore, USA(约翰霍普金斯大学,巴尔的摩,美国) ; Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany(埃尔兰根-纽伦堡弗里德里希-亚历山大大学,德国)
专题命中 工作流自动化 :AI agent(title);分类 cs.CL
AI总结 本文综述了指令文本的表示方法、下游任务及挑战,旨在为AI代理提供统一视角,填补不同研究方向间的空白。
Comments Pre-CoLI print. Accepted for publication in Computational Linguistics (MIT Press). Advance online publication. March 2026
元认知强化学习与自我怀疑与恢复
机构 * China Mobile Research Institute(中国移动研究院) ; China Mobile GBA (Greater Bay Area) Innovation Institute(中国移动粤港澳大湾区创新研究院)
专题命中 工作流自动化 :agent(abstract);分类 cs.AI、cs.LG
AI总结 本文提出一种元认知强化学习框架,使智能体能根据内部可靠性信号评估、调节和恢复学习行为,通过引入由价值预测误差稳定性驱动的元信任变量,提升鲁棒性与学习稳定性。
通过知识图谱捕捉和预见用户意图在数据分析中的应用
机构 * UPC(巴塞罗那技术大学)
专题命中 工作流自动化 :workflow(abstract);分类 cs.AI、cs.LG
AI总结 本文研究利用知识图谱捕捉用户意图,提升数据分析工具的用户体验,通过查询模板和链接预测方法实现灵活的推荐系统。
Comments Pre-print submitted to Knowledge-Based Systems
Journal ref Knowledge-Based Systems, 2026
迈向安全的检索增强生成:对威胁、防御和基准的全面综述
机构 * State Key Laboratory of Mathematical Engineering and Advanced Computing(数学工程与先进计算国家重点实验室) ; Information Engineering University(信息工程大学) ; Henan Key Laboratory of Information Security(河南省信息安全重点实验室) ; University of Chinese Academy of Sciences(中国科学院大学)
专题命中 工作流自动化 :workflow(abstract);分类 cs.AI
AI总结 本文综述了检索增强生成系统中的安全威胁、防御方法及评估基准,系统分析了数据污染、对抗攻击等核心威胁,并提出双视角的防御技术分类,为未来研究提供统一基准。
SciLaD:一个大规模、透明、可重复的自然科学语言处理数据集
机构 * Deutsches Forschungszentrum für Künstliche Intelligen GmbH (DFKI), Germany(德国人工智能研究中心(DFKI)) ; Humboldt-Universität zu Berlin, Germany(柏林洪堡大学) ; ScienciaLAB, Portugal(ScienciaLAB) ; Common Crawl Foundation, USA(Common Crawl基金会) ; University of Mannheim, Germany(曼海姆大学)
专题命中 工作流自动化 :workflow(abstract);分类 cs.CL
AI总结 本文提出SciLaD数据集,包含1000万篇科学文献和3.5亿篇多语言文献,通过开源工具构建并预训练RoBERTa模型,验证了数据集的质量和实用性。
Comments 13 pages, 3 figures, 3 tables
当便利成为风险:主机作用代理中的语义视角下的不足规范
机构 * School of Computer Science and Technology, Xidian University(西安电子科技大学计算机科学与技术学院)
专题命中 工作流自动化 :agent(abstract);分类 cs.AI
AI总结 本文探讨主机作用代理中因目标规范不足导致的安全问题,提出语义威胁模型和风险完成模式分类,并通过案例研究分析如何通过明确执行边界来防御风险。
在临床对齐的多任务甲状腺超声评估中采用表示层面对抗正则化
机构 * University of British Columbia, Vancouver, Canada(不列颠哥伦比亚大学,温哥华,加拿大) ; University of Calgary, Calgary, Canada(卡尔加里大学,卡尔加里,加拿大)
专题命中 工作流自动化 :workflow(abstract);分类 cs.AI
AI总结 本文提出一种临床引导的多任务框架,通过单模型联合预测甲状腺结节掩码和TI-RADS类别,引入RLAR对抗梯度正则化以解决任务梯度竞争问题,提升风险分层和分割质量。
无监督机器学习流程用于数据驱动的缺陷检测与表征:应用于位移级联
机构 * Univ. Lille, CNRS, INRAE, Centrale Lille, UMR 8207 - UMET - Unité Matériaux et Transformations(里尔大学,国家科学研究中心,法国国家农业研究科学与技术研究院,里尔中央理工大学,UMET单位) ; EM2VM, Joint laboratory Study and Modelling of the Microstructure for Ageing of Materials(EM2VM联合实验室,微结构老化材料研究与建模联合实验室) ; Univ. Lille, CNRS, UMR 8523 – PhLAM – Physique des Lasers Atomes et Molécules(里尔大学,国家科学研究中心,PhLAM单位)
专题命中 工作流自动化 :workflow(abstract);分类 cs.LG
AI总结 本文提出一种无监督机器学习方法,通过分子动力学数据直接检测和分类位移级联中的缺陷。利用SOAP向量编码局部环境,结合自编码器和UMAP进行异常原子识别与聚类,实现高精度的缺陷表征。
Comments 22 pages, 1 graphical abstract, 7 figures, 4 tables
利用Koopmans光谱功能预测水分裂催化剂的适用性:二氧化钛多形体的情况
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文提出利用Koopmans光谱功能高效预测TiO₂多形体的带结构和能级匹配,为评估新型光催化剂提供新方法。
Comments 11 pages and additional 2 pages of supplementary information
基于解剖先验的自主机器人心脏超声标准视图采集框架
机构 * State Key Laboratory of Intelligent Manufacturing Equipment and Technology, Huazhong University of Science and Technology(华中科技大学智能制造装备与技术国家重点实验室) ; School of Biomedical Engineering, Harbin Institute of Technology (Shenzhen)(哈尔滨工业大学(深圳)生物医学工程学院) ; Information Intelligence Lab, Department of Electrical Engineering, National Chung Hsing University(中原大学电子工程系信息智能实验室) ; Institute of Medical Equipment Science and Engineering, Huazhong University of Science and Technology(华中科技大学医学装备科学与工程研究院) ; Department of Ultrasound Medicine, Union Hospital, Tongji Medical College, Huazhong University of Science and Technology(华中科技大学同济医学院附属同济医院超声医学科) ; Institute of Systems Science (ISS), National University of Singapore (NUS)(新加坡国立大学系统科学研究所)
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出结合心脏结构分割与自主探头调整的框架,通过解剖先验引导提升超声标准视图采集的自动化水平,实验表明其在分割精度和探头调整成功率上均有显著提升。
Comments Accepted for publication at the IEEE ICRA 2026. 8 pages, 5 figures, 3 tables
Adviser:一种直观的多云平台,用于科学和机器学习工作流
专题命中 工作流自动化 :workflow(abstract)
AI总结 Adviser通过工作流抽象简化多云环境中的科学和机器学习工作流管理,帮助用户无需专业知识即可高效利用计算资源。
Comments 13 pages, 6 figures, 2 tables
以目标区域驱动的视网膜注视用于视觉-语言-动作系统中的统一自体表示
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文提出了一种以目标区域驱动的数据表示方法,通过单个外部相机投影末端执行器姿态,实现手眼协调的区域划分,提升跨机器人系统的数据重用性和跨体征对齐能力。