AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
Memisis：协调和评估表格健康数据的合成数据
机构 * University of California Irvine（加州大学尔湾分校）
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.LG
AI总结 本文提出Memisis工具，通过结合现有合成数据工具、大语言模型和先进评估指标，协调和评估合成数据，以提高下游预测任务和临床决策的质量。
关于用于进化优化的大语言模型的系统综述：从建模到求解
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI
AI总结 该综述聚焦进化优化，通过工作流框架系统回顾相关进展，将文献分为优化建模与求解两阶段，求解阶段再分三类范式，分析方法、局限性及与传统方法关系，还给出基准、比较及应用，并指出研究方向。
Comments Accepted by IEEE CIM
从失败轨迹到可靠的LLM代理：诊断与修复框架缺陷
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.SE
AI总结 提出HarnessFix框架，通过轨迹引导诊断代理失败并修复执行框架，在多个基准上提升15.2%-50.0%性能。
从实验到专长：面向AI驱动计算物理的科学知识巩固
专题命中 工作流自动化 ：AI agent(abstract)；workflow(abstract)；分类 cs.AI
AI总结 提出QMatSuite平台，通过记录、检索和反思机制巩固计算材料科学中的知识，减少推理开销并提高模拟准确性。
Comments v2: camera-ready version, accepted at the ICML 2026 Workshop on AI for Physics (AI4Physics@ICML 2026). 20 pages, 6 figures
医疗AI的全局日志
机构 * Harvard Medical School（哈佛医学院） ； University of Oxford（牛津大学） ； Institute for Ethics in AI（人工智能伦理研究所） ； Cosmos Institute（宇宙研究所） ； Harvard Medical School and Clalit Research Institute（哈佛医学院和Clalit研究机构） ； University of California, San Diego（加州大学圣地亚哥分校） ； Joan and Irwin Jacobs Center for Health Innovation（乔安和伊万·雅各布健康创新中心） ； Oxford University Clinical Research Unit（牛津大学临床研究中心） ； Icahn School of Medicine at Mount Sinai（辛格纳医学中心） ； The Hasso Plattner Institute for Digital Health at Mount Sinai（辛格纳医学中心数字健康研究所） ； ETH Zurich（苏黎世联邦理工学院） ； University Hospital, University of Bern（伯恩大学医院） ； Beth Israel Deaconess Medical Center（贝斯以色列医疗中心） ； Google DeepMind（谷歌DeepMind） ； The Mount Sinai AI Assurance Lab（辛格纳医学中心人工智能保证实验室） ； University of Birmingham（伯明翰大学） ； PATH（PATH组织） ； Seattle Children’s Hospital（西雅图儿童医院） ； Department of Pediatrics, University of California, San Diego（加州大学圣地亚哥分校儿科部） ； Kaiser Foundation Health and Hospitals（凯撒基金会健康与医院） ； e-Patient Dave, LLC（e-Patient Dave公司） ； Regional Office for Europe, World Health Organization（世界卫生组织欧洲地区办公室） ； University of Malta（马耳他大学） ； Centre for Tropical Medicine and Global Health, University of Oxford（牛津大学热带医学与全球健康中心） ； Healthcare Information and Management Systems Society（医疗信息与管理系统协会） ； Clalit Research Institute, Innovation Division, Clalit Health Services（Clalit研究机构创新部门，Clalit健康服务） ； Microsoft Research（微软研究院） ； Gates Foundation（比尔及梅琳达·盖茨基金会） ； Computational Health Informatics Program, Boston Children’s Hospital（波士顿儿童医院计算健康信息学项目）
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI
AI总结 提出MedLog协议，为医疗AI系统提供事件级日志记录，包含九个核心字段，并在多个部署中验证其监测模型行为、工作流交互及下游结果的能力。
Comments MedLog website: https://medlogprotocol.ai
Anything2Skill: 将外部知识编译为智能体的可复用技能
机构 * East China Normal University（华东师范大学） ； Shanghai AI Laboratory（上海人工智能实验室）
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.AI
AI总结 提出Anything2Skill框架，将异构外部知识编译为可复用、可检索、可执行的技能，结合RAG显著提升智能体任务成功率。
开放数学问题的悲观验证
机构 * Qiuzhen College, Tsinghua University, Beijing, China ； Institute for AI Industry Research (AIR), Tsinghua University, Beijing, China ； Dept. of Comp. Sci \& Tech., Institute for AI, Tsinghua University, Beijing, China
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI
AI总结 提出悲观验证范式，通过多个并行验证器拒绝有缺陷的解决方案，并引入渐进式悲观验证以增强精度和效率，在竞赛级数学问题上显著提升性能。
Science Earth: 迈向面向AI原生科学发现的行星级操作系统
机构 * Department of Pathology, Department of Genetics, Stanford University School of Medicine（病理学系、遗传学系，斯坦福大学医学院） ； Princeton AI Lab, Department of Electrical & Computer Engineering, Princeton University（普林斯顿人工智能实验室、电气与计算机工程系，普林斯顿大学） ； Scripps Research, La Jolla, CA, USA（斯克里普斯研究机构，洛杉矶，加利福尼亚州，美国） ； Division of Biostatistics, Department of Population Health, New York University Grossman School of Medicine（生物统计学部、人口健康系，纽约大学格罗斯曼医学院） ； College of Computing and Data Science, Nanyang Technological University（计算与数据科学学院，南洋理工大学） ； Department of Computer Science, Yale University（计算机科学系，耶鲁大学） ； Department of Physics, Princeton University（物理系，普林斯顿大学）
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.AI
AI总结 提出Science Earth行星级科学运行时，通过EACN协议实现AI能力动态连接与自组织协作，在跨太平洋Kuramoto同步研究和单细胞分析中验证了分布式自校正科学推理。
Comments Withdrawn by the authors. (1) The author list and authorship roles had not been finalized and agreed upon by all listed authors prior to submission. (2) The specific contribution of the system in the K3 synchronization example (Section on Kuramoto/nonlinear physics) requires further validation before it can be reported. The authors are addressing both points and may resubmit a corrected version.
Poincaré多项式的实根性：一个AI辅助的证明
机构 * Department of Mathematics, Aarhus University（阿arhus大学数学系） ； School of Mathematics, Korea Institute for Advanced Study（韩国高级研究院数学系）
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI
AI总结 通过引入双变量变形揭示隐藏的交错结构，证明了稳定有理曲线模空间Poincaré多项式的实根性，并进一步推广到Fulton-MacPherson空间。
Comments 16 pages
参与过程：重新思考动作与观察的时间接口
机构 * University of Science and Technology of China（中国科学技术大学）
专题命中 工作流自动化 ：agent(abstract,abstract_cn)；分类 cs.AI
AI总结 本文提出参与过程（EP）模型，通过显式时间接口处理动作与观察的不同时间尺度交互，支持多速率协调和子系统组合，揭示隐藏的时间行为并使策略适应显式时间成本。
AIMS：一种用于量子物质的不确定性感知人工智能实验者
专题命中 工作流自动化 ：agent(abstract)；AI agent(abstract)
AI总结 研究量子材料实验中的不确定性问题，提出AIMS这一不确定性感知人工智能实验者，通过连接三个嵌套循环实现感知恢复、测量选择和能量尺度分辨机制归因，展示了对量子物质的不确定性感知实验能动性。
从感受至指标：理解并形式化用户如何通过 vibes 测试 LLMs
机构 * Technion – Israel Institute of Technology（技术离子-以色列理工学院） ； The Hebrew University of Jerusalem（耶路撒冷希伯来大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 研究用户通过非正式经验评估LLM的方式，并形式化该过程以支持系统分析，通过个性化测试和用户感知标准改进模型评估。
Comments Published at COLM 2026. 50 pages, 20 figures. Code and data at https://technion-cs-nlp.github.io/vibe-testing-llms
Ripple：一个用于化学反应网络计算的开放的、人工智能形式化的Lean 4框架
专题命中 工作流自动化 ：AI agent(abstract)；workflow(abstract)
AI总结 介绍用于CRN计算实数数学的Ripple框架，它形式化多种模型阶梯，开发可靠，暴露并修复证明漏洞，还证明新结果，且形式化主要由人工智能代理利用公开模型完成，工作流程可重现。
Comments 26 pages. v2 removes the incorrect claim that the formalization found a gap in the Angluin-Aspnes-Eisenstat (2008) approximate-majority proof: the flawed inequality was internal to our formalization, not their argument. It also corrects the attribution of zeta(3)'s CRN-computability to the Fermi-Dirac integral route. Abstract revised
ORCHID：面向关键任务空地一体化网络的公平性感知编排
专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)
AI总结 ORCHID提出一种两阶段学习框架，通过拓扑分区和重置微调机制提升多UAV编排稳定性，实现服务公平性与能效的协同优化。
Comments 18 pages, 8 figures, 1 Table. Full research paper proposing a resilient two-stage orchestration framework for collaborative UAV-GBS deployment in mission-critical Air-Ground Integrated Networks (AGINs). This revised version introduces a game-theoretic approach (Egalitarian Bargaining Game) and an aerodynamic energy model to enhance system robustness. Under review at an IEEE journal
Ai2-Kit: 为复杂化学系统简化AI加速从头算工作流
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)
AI总结 提出ai2-kit工具包，通过命令行和Python API整合第一性原理计算、机器学习势训练、分子动力学、增强采样和HPC编排，实现复杂化学系统的AI加速从头算工作流自动化与可扩展。
Comments 24 pages, 11 figures. Submitted to Chemical Science
4/δ 界：设计具有形式方法保证的可预测 LLM-验证器系统
专题命中 工作流自动化 ：planning(abstract)；分类 cs.AI、cs.LG、cs.SE
AI总结 提出 LLM-验证器收敛定理，将多阶段验证建模为顺序吸收马尔可夫链，证明成功概率 δ>0 时系统几乎必然验证，并导出精确延迟上界 4/δ，经 90000+ 试验验证。
Comments 36 pages, 9 figures
FALCON：通过自我反思将网络威胁情报转化为可部署的入侵检测系统规则
机构 * Meharry Medical College（梅哈里医学院） ； The University of Texas at El Paso（德克萨斯理工大学） ； The University of Alabama（阿拉巴马大学） ； National Security Agency（国家安全局）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 提出FALCON框架，通过新颖的CTI-规则语义评分器实现规则检索、生成和验证，解决签名型入侵检测系统中规则创建的手动瓶颈和验证难题，在Snort和YARA平台上达到0.72平均相关性。
Comments 17 pages, 10 figures, 8 tables
中国司法判决中法律论证结构的标注与可视化指南
机构 * Law School, Nanjing University（南京大学法学院）
专题命中 工作流自动化 ：workflow(abstract,comments)；分类 cs.AI、cs.CL
AI总结 提出一个系统化、可操作的标注框架，用于表示司法判决中的法律论证结构，支持大规模司法推理分析和法律论证挖掘。
Comments This Guideline has been developed through revision and refinement based on the first edition. The element label system has been adjusted, and the annotation granularity and annotation workflow have been further optimized
能源盲点：NVIDIA 旗舰边缘 AI 硬件无法支持进程级能源归因
机构 * Independent Researcher（独立研究者） ； Texas A&M University（德克萨斯农工大学）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.AI、cs.LG
AI总结 本文审计了 ASUS Ascent GX10 (GB10 SoC) 平台的能源可观测性，发现其缺乏 CPU 能源计数器等关键接口，导致无法像 x86 的 RAPL 那样进行进程级能源归因，并提出通过外部直流计量和 GPU 减法进行校准的临时方案，呼吁将能源可观测性作为硬件的一等要求。
Comments 5 pages, 0 figures. Accepted at the 2nd International Workshop on Low Carbon Computing (LOCO 2026), Lancaster University, United Kingdom, 10-11 September 2026. Part of the LOCO 2026 proceedings, arXiv:2608.02072
RepBench：将基准编译为大语言模型的能力表征
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL
AI总结 RepBench构建多基准支撑的大语言模型能力表征探测数据层，揭示读出方式与聚合准则对评估的重要性，相关资源以闭环工作流形式发布。
Comments 22 pages, 8 figures, with appendices. Yanshi Li and Xueru Bai contributed equally
基于量子优化的神经网络精确且渐进完备的鲁棒验证
机构 * Beijing QBoson Quantum Technology Co., Ltd.（北京QBoson量子技术有限公司） ； School of Artificial Intelligence, Beijing Normal University（北京师范大学人工智能学院）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出两种基于量子优化的模型，用于精确且渐进完备地验证神经网络的鲁棒性，通过分段线性界限和量子Benders分解提高认证效率。
QARIMA：一种用于经典时间序列分析的量子方法
机构 * Università degli Studi di Cagliari（卡利亚里大学） ； SAS Middle East Fz-Llc.（SAS中东有限责任公司）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出一种结合量子辅助滞后发现与固定配置变分量子电路的量子启发ARIMA方法，通过量子自相关和量子偏自相关识别差分和候选滞后，提升时间序列参数估计与滞后细化效率。
Comments 17 Algorithms, 19 Figures , 26 Tables
大语言模型中的随机性错觉
机构 * Google DeepMind（谷歌DeepMind） ； National University of Singapore（新加坡国立大学）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.CL、cs.LG
AI总结 研究指出大语言模型作为智能体在随机采样方面存在根本性缺陷，通过多模型家族和分布的实证分析揭示了这一问题。
Comments COLM 2026
代理神经架构协同设计包（SNAC-Pack）
机构 * University of California San Diego（加州大学圣地亚哥分校） ； ETH Zurich（苏黎世联邦理工学院） ； Fermi National Accelerator Laboratory（费米国家加速器实验室） ； University of Illinois Chicago（伊利诺伊大学芝加哥分校）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出SNAC-Pack，一种面向硬件的自动化机器学习框架，用于神经架构协同设计和端到端FPGA部署，通过多目标全局搜索和硬件代理模型减少合成成本，并结合量化感知训练和迭代幅度剪枝来压缩模型，最终在FPGA上实现高效部署。
Comments 16 pages, 3 figures, Camera-ready version for International Conference on Automated Machine Learning (AutoML) 2026
循环中的记忆：进程内检索作为语言智能体的扩展工作记忆
机构 * Stevens（史蒂文斯理工学院）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.CL
AI总结 研究语言智能体中记忆进入循环的情况，通过对比网络存储和进程内存储的延迟，利用扩展思维理论提出进程内检索可作扩展工作记忆，经实验验证能提升召回率，还重新定位了操作瓶颈。
FlowBot：通过双层优化和文本梯度诱导LLM工作流
机构 * Massachusetts Institute of Technology（麻省理工学院）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.CL、cs.LG
AI总结 本文提出FlowBot，一种基于双层优化和文本梯度的数据驱动方法，自动诱导LLM代理和工作流，与人类设计的基线相比表现相当。
Propheticus：用于开发可靠安全软件预测模型的机器学习框架
机构 * DEI/CISUC, University of Coimbra,\ Portugal
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG
AI总结 针对软件可靠性与安全性需求，介绍Propheticus机器学习框架，抽象其复杂性以便用户使用，通过漏洞预测和在线故障预测两个案例研究，展示该框架能简化并加速机器学习工作流程。
Comments Accepted for publication in the 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) 2019
超越独立操纵：具有同伴模仿的个体公平感知策略分类
机构 * College of Computer Science and Technology, National University of Defense Technology（国防科技大学计算机科学与技术学院） ； School of Mathematical Sciences, Peking University（北京大学数学学院） ； Institute for Theoretical Computer Science, Shanghai University of Finance and Economics（上海财经大学理论计算机科学研究所） ； Information Technology Development, Aetos Capital Group, Sydney（悉尼Aetos资本集团信息技术部） ； Faculty of Computing, Harbin Institute of Technology（哈尔滨工业大学计算机学院） ； Department of Computer Science and Technology, Tsinghua University（清华大学计算机科学与技术系）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 提出个体公平感知策略分类（IFSC）框架，通过建模基于个体公平的同伴驱动操纵（模仿邻近被接受同伴），并采用鲁棒学习过程处理同伴可观测性不确定性，以改善个体公平一致性并减轻模仿引起的扭曲。
Comments Accepted by SIGKDD2026
一种用于言语产生过程中发音、大脑和肌肉活动的实时MRI视频、脑电图和表面肌电图同步采集方法
机构 * Signal Analysis and Interpretation Laboratory, University of Southern California（南加州大学信号分析与解释实验室） ； Ming Hsieh Dept. of Electrical and Computer Engineering, University of Southern California（南加州大学明希斯电气与计算机工程系） ； Dept. of Linguistics, University of Southern California（南加州大学语言学系）
专题命中 工作流自动化 ：planning(abstract)；分类 cs.AI、cs.CL
AI总结 本文首次实现了言语产生过程中实时MRI、EEG和表面EMG的同步采集，并提出了针对三模态设置的伪影抑制流程，为言语神经科学和脑机接口提供新视角。
Comments Accepted for Interspeech 2026
闪烁多臂老虎机
机构 * University of Colorado Boulder（科罗拉多大学博尔德分校） ； INRIA Paris（巴黎国家信息与自动化研究所）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 提出闪烁多臂老虎机模型，通过随机图约束动作可用性，设计两阶段懒惰随机游走算法实现次线性遗憾界，并证明信息论下界的最优性。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈