AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
Kairos：为同步时态契约生成滴答索引证明义务
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 研究为同步程序生成滴答索引证明义务的问题，核心方法是用标准自动机理论归约将LTL公式转换为坏状态自动机与程序形成积并导出义务，主要贡献是形式化原理、证明正确性及通过医疗输液控制器展示工作流程。
Comments 18 pages, 1 listing, 1 table. Submitted to VSTTE 2026
深度何时能取代精度？量化神经计算的资源理论
机构 * University of Illinois Chicago（伊利诺伊大学芝加哥分校）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 研究固定输入输出映射下低比特残差计算能否取代数值精度，通过建模量化残差系统刻画无限深度极限，得出纯调度接近松弛类的速率等结论，还探讨了多种相关情况，指出深度取代精度有条件限制。
Comments 141 pages, 26 figures, 15 tables. Includes complete proofs and documents the QReplace decision-support and Lean 4 verification companions. To be submitted to the Journal of Machine Learning Research
用于协助空中交通管制员的可解释强化学习
机构 * Department of Engineering, University of Campania "Luigi Vanvitelli"（工程学院，坎帕尼亚"路易吉·范维蒂利"大学） ； CIRA（CIRA研究院）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI
AI总结 探索可解释性技术在强化学习算法中的应用，以协助空中交通管制员。用强化学习算法在简化ATC环境训练智能体决策避禁飞区路线，采用显著性图作为初步可解释性方法，为智能体决策提供关键输入特征见解。
Comments 11 pages (10-page paper plus 1 cover/citation page), 4 figures, 1 table; published in AINA 2025
Journal ref In: L. Barolli (ed.), Advanced Information Networking and Applications (AINA 2025), Lecture Notes on Data Engineering and Communications Technologies, vol. 250, pp. 148-157, Springer, Cham (2025)
Vibe编码：一项测试驱动开发的实验
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.SE
AI总结 研究探索人类与CLLMs通过vibe编码对等协作，设计四个交互模型并实现相应TDD工作流程。通过实验发现交互模型选择取决于开发目标，智能工作流程利于快速开发但有复杂性，协作工作流程产生更高质量测试套件。
基于角色的访问控制下的文本到SQL基准测试
机构 * National University of Singapore（新加坡国立大学） ； Hamad Bin Khalifa University（哈马德·本·卡西姆大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究基于角色的访问控制下文本到SQL的基准测试问题，提出含现实RBAC约束的综合基准测试框架，通过大语言模型辅助工作流程及人工审核等增强基准，应用该框架研究发现部分高分系统在有访问约束时性能因RBAC违规而大幅下降。
Comments Accepted at ACM SIGMOD 2027
使用残差U-Net和文本提示的SAM 3细化从1米分辨率的NAIP图像中绘制农田范围和可见边界
机构 * Department of Biological and Agricultural Engineering, University of California, Davis（加利福尼亚大学戴维斯分校生物与农业工程系） ； Del Norte High School（德尔诺特高中）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 研究利用残差U-Net和文本提示的SAM 3细化从1米分辨率的NAIP图像绘制农田范围和可见边界，通过特定标注、训练和融合方法，提升了模型在困难补丁上的表现，生成语义农田范围层，为农业监测提供支持。
Comments 12 pages, 7 figures, 3 tables. Preprint submitted to Taylor & Francis. Code: https://github.com/MohammadrezaNarimaniUCDavis/NAIP_Farmland_ResSAM Dataset: https://doi.org/10.5281/zenodo.21519912
基于大语言模型的偏好智能体协同设计：参与可能导致过度信任
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI
AI总结 研究探讨大语言模型模拟人类偏好引发的问题，通过12名参与者在家庭能源领域协同设计个人偏好智能体的定性研究，发现参与和过程透明度或成“过度信任引擎”，并将此发展为参与式偏好智能体设计核心机制。
Comments 43 pages (18 main text plus supplementary material), 5 figures
软件开发中的氛围编码：多视角文献综述
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 该研究对2022年至2025年10月的文献进行多视角综述，探讨软件开发中氛围编码实践。通过分析47篇文献发现其是迭代流程，开发者工作转变，短期生产力有提升，不同应用场景证据强弱有别，此为整合两类文献的首次综述并提出未来研究方向。
使用大语言模型在集成逻辑中扩大临床试验协议的形式化表示：一项初步研究
机构 * McGovern Medical School（麦戈文医学学院） ； McWilliams School of Biomedical Informatics（麦克威廉斯生物医学信息学学院） ； The University of Texas Health Science Center at Houston（德克萨斯大学健康科学中心休斯顿分校）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究针对临床试验协议依赖非结构化文本阻碍自动化推理等问题，引入CT-TEL工作流程，利用大语言模型将叙述性临床协议转为TEL公式，通过反向翻译评估保真度，为协议映射到可计算逻辑及临床试验模拟提供初步证据。
Comments Proceedings of the 2026 American Medical Informatics Association Symposium, to appear
STeMP：时空建模协议
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 研究针对时空建模缺乏标准协议的问题，提出STeMP协议，通过标准化报告助于理解模型功能并在建模过程中提供指导，涵盖概述、模型和预测三部分，配套R包及网络应用，可辅助填写协议并返回警告，鼓励社区参与。
Comments 3 figures, 1 table
作为一种干预手段的大语言模型检测：战略用户行为下的下游影响
机构 * Stanford University（斯坦福大学） ； University of Pennsylvania（宾夕法尼亚大学） ； Cornell University（康奈尔大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究LLM检测对下游指标的影响，开发程式化模型捕捉用户策略行为。发现不完善的检测器会扭曲LLM使用及输出质量，导致用户增加使用量且输出质量可能降低，还呈现“先升后降”检测模式，揭示了检测干预的失效模式。
从协作到规范：刻画三个深度学习开源社区的治理实践
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 研究三个深度学习开源社区治理实践，用制度分析与发展框架分析文档与提交记录，识别规则主题、治理功能，发现操作与结构规则特点不同，最终为成熟大规模OSS项目得出33条可操作治理实践。
波形知道什么：使用字幕工作室实现透明优先的语音和音频智能
机构 * Faculty of Science, Agriculture, and Engineering, Newcastle University Singapore（新加坡纽卡斯尔大学科学、农业与工程学院） ； School of Information and Control Engineering, Qingdao University of Technology（青岛理工大学信息与控制工程学院） ； Department of EEE, Amrita School of Engineering, Amrita Vishwa Vidyapeetham（阿姆瑞塔工程学院电气与电子工程系，阿姆瑞塔大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究借助字幕工作室平台实现透明优先的语音和音频智能。核心方法是构建基于FastAPI的三层架构系统。主要贡献为提出透明优先框架，明确指标性质，提升语音分析的可追溯性、可解释性与可靠性，还介绍了相关系统架构等内容。
ATLAS：一种用于非晶材料的基础神经采样器
机构 * Microsoft Research New England（微软研究院新英格兰分部） ； Center for Computational Science and Engineering（计算科学与工程中心） ； MIT（麻省理工学院） ； Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院） ； Department of Materials Science and Engineering（材料科学与工程系） ； Department of Computer Science and Engineering（计算机科学与工程系） ； OSU（俄亥俄州立大学）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.LG
AI总结 研究针对非晶材料能量景观难采样问题，提出ATLAS神经采样器，由等变图神经网络参数化，能跨系统泛化，利用扩散过程时间反转估计热力学量。在多种系统中验证有效性，还通过预训练降低逆设计成本，结合大语言模型搜索高熵金属玻璃，确立其为基础模型。
公平性研究中的平等、公平与因果关系：对程（2026年）的评论
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 对程关于心理测量学与人工智能/机器学习公平性比较的文章作评论，探讨平等与公平区别及因果关系在公平性研究中的作用，扩展其讨论，为心理测量学和人工智能/机器学习社区未来公平性研究指明方向。
Comments Invited commentary on Cheng (2026), Psychometrika, doi:10.1017/psy.2026.10110; submitted to Psychometrika
机器中的灵光：谱系学与生成时代艺术作品的地位
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI
AI总结 该文探讨生成式人工智能，通过生成艺术谱系揭示其与历史的关联，提出生成系统分类法，识别相关风险并给出应对，阐述艺术家角色转变，引入算法重复等概念，还通过两方面考察支持论点，探讨生成时代艺术作品地位等问题。
Comments Submitted to Minds and Machines on 08 Jul 2026
弥合信息差距：冷启动预测的语义致密化与事后蒸馏
机构 * Tsinghua University（清华大学） ； Meituan（美团）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 针对电子商务平台新用户冷启动预测难题，SemRaD框架利用结构化语义推理管道和事后感知蒸馏网络，有效弥合信息差距，提升了LTV和CVR，减少训练数据用量，在工业数据集和在线测试中均取得良好效果。
通过小语言模型实现人工智能民主化：面向本地部署的结构化基准测试和参数高效微调
机构 * Binghamton University（宾汉姆顿大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究在硬件和治理约束下人工智能民主化问题，通过对九个小语言模型在特定基准测试上控制评估，采用共享参数高效微调管道，得出有序工作流程让部分低于3B的模型可成为结构化小众工作负载本地专家的结论。
人工智能生命周期治理中可审计可信度水平的一种方法
机构 * Institute of Biomedical Ethics and History of Medicine, University of Zürich（生物医学伦理与医学史研究所，苏黎世大学） ； SUPSI, Dalle Molle Institute for Artificial Intelligence (IDSIA)（SUPSI人工智能研究所） ； ETH Zürich（苏黎世联邦理工学院）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 研究人工智能治理中系统可信度判断问题，提出轻量级方法，含形式框架与治理程序两部分，用决策树建模，能产生可信度平台等，通过合成轨迹说明方法可支持合规文档编制和生命周期监测。
Comments 32 pages; 7 figures
人、机器与杰作：人工智能时代的艺术所有权
机构 * University of Siegen（锡根大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 探讨人工智能时代艺术所有权问题，设计ArtSplit原型量化人机贡献，引发艺术家对所有权归属的反应，指出量化与艺术家对创作的理解不符，挑战将其转化为技术问题的冲动。
Journal ref NordiCHI '26 Adjunct: Adjunct Proceedings of the 14th Nordic Conference on Human-Computer Interaction, Vaasa, Finland, October 2026
大语言模型能否根据论文构建最大可满足性求解器？CoreForge 经验
机构 * Carnegie Mellon University（卡内基梅隆大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 该研究利用大语言模型从论文构建无权重 MaxSAT 求解器，采用结合论文讨论、代码实现及审核修订的迭代流程，评估特定配置，发现虽未现错误答案，但性能低于手工设计求解器，总结了相关经验教训。
CityLLM：一种用于语义 3D 城市模型自然语言查询的框架
机构 * GRID Lab, School of Built Environment, UNSW Sydney（新南威尔士大学悉尼分校建筑环境学院GRID实验室） ； School of Civil and Environmental Engineering, UNSW Sydney（新南威尔士大学悉尼分校土木与环境工程学院）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.CL
AI总结 研究针对语义 3D 城市模型访问查询难的问题，提出 CityLLM 框架，结合空间与图形数据库，在基于语言模型工作流中支持迭代查询等。通过多种模型在鹿特丹数据集上评估，多个场景 54 个查询显示其性能强大，为语义 3D 城市数据对话访问提供轻量级可扩展方法。
Comments Accepted to the 21st International 3D GeoInfo Conference. To appear in the ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences
实证软件工程中的人工智能主导访谈：一份经验报告
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 该经验报告探讨定制MyGPT在实证软件工程研究中主导访谈的应用，介绍其流程，分析提交工件和问卷回复，发现多数参与者评价积极，但存在局限，表明人工智能访谈可作补充选项，需相关设计与监督。
在训练和微调机器学习力场时使用更少标签实现全数据精度
机构 * College of Materials（材料学院） ； Xiamen University（厦门大学） ； State Key Laboratory of Physical Chemistry of Solid Surfaces（固体表面物理化学国家重点实验室） ； iChEM, College of Chemistry and Chemical Engineering（iChEM，化学与化工学院） ； Laboratory of AI for Electrochemistry (AI4EC)（电化学人工智能实验室） ； IKKEM
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 研究针对机器学习力场构建训练集的瓶颈问题，提出基于最后一层投影回归的主动学习工作流程，能识别高价值训练集，在基础模型微调和迭代电解质微调中表现出色，实现用更少标签达到全数据精度，提供可扩展的不确定性量化策略。
Comments 23 pages, 5 figures
词性层级是低资源语言文献自动标注的关键：针对南琉球语伊良部语的神经语符标注
机构 * Kyushu University（九州大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.CL
AI总结 研究针对濒危语言伊良部语语符标注成本高的问题，用小型BiLSTM-CRF模型构建神经标注管道。发现黄金词性标注可提升语法语符标注，词性层级能减少所需语符化数据量，虽全自动管道未完全实现增益，但为文献实践提供四线标注建议。
Comments 15 pages, 9 figures, 8 tables. Code, corpus, and complete per-sentence test outputs: https://github.com/MichinoriShimoji/ML_autogloss
基于人工智能的设计系统感知开发：评估生产力和设计一致性
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 研究前端开发中从高保真原型转换界面的挑战，通过在巴西企业的对照实验，比较手动、仅DS及DS感知的AI辅助开发，发现AI辅助能显著加速开发、提高设计保真度，为工业前端工作流带来实际益处。
Comments SBES Industry 2026
人工智能治理中的最终权威：前沿提供者主权与以行动为中心的部署者治理
机构 * Ond Holdings Inc.（奥恩德控股公司）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.AI
AI总结 探讨人工智能系统嵌入组织流程后最终权威归属，比较前沿提供者主权与以行动为中心的部署者主权两种模式，通过多种分析发现支持分布式运营问责制，强调可移植治理层价值，得出分层结论。
Comments 23 pages, 5 figures, 6 tables
Salesforce 消息传递架构：大规模平台事件、异步发送和多租户
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 研究提出在 CRM 内部原生构建消息传递核心的架构范式，将消息视为原生 CRM 记录，出站路径为平台原生事务，状态参数存为标准数据库对象，利用此范式评估了相关设计模式、扩展机制、解耦约束及架构边界。
Comments 8 pages, 1 table. An earlier version of this work was first posted on SSRN (DOI: 10.2139/ssrn.6903158)
驯服漂移：软件演化过程中Dockerfile漂移的上下文感知修复
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE
AI总结 研究针对软件演化中Dockerfile漂移致CI/CD构建失败的问题，提出上下文感知框架Cadre，通过构建CDG并结合两步工作流程来修复，在$D^3$基准上修复率高，相比基线优势明显，还避免提示溢出故障，提升了上下文感知基础设施即代码维护能力。
Comments 18 pages, 7 figures
用于从图像序列进行端到端认知地图学习的可微克隆结构因果图
机构 * Goethe University Frankfurt（歌德大学法兰克福分校） ； Max Planck Institute for Human Development（马克斯·普朗克人类发展研究所） ； Max Planck Institute for Empirical Aesthetics（马克斯·普朗克实验美学研究所） ； SINTEF（挪威科技工业研究院） ； University Medical Center Göttingen（哥廷根大学医学中心） ； Institute of Computer Science and Campus Institute Data Science, University Göttingen（哥廷根大学计算机科学与数据科学研究所） ； Bridging Research in AI and Neuroscience (brAIN), Computer Vision Center（人工智能与神经科学交叉研究中心（brAIN），计算机视觉中心） ； Computer Science Department, Universitat Autònoma de Barcelona（巴塞罗那自治大学计算机科学系） ； Epilepsy Center Frankfurt Rhine-Main, Department of Neurology, Goethe University Frankfurt（歌德大学法兰克福分校莱茵-美因癫痫中心，神经学系） ； Circulant Labs（循环实验室）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.LG
AI总结 研究如何让智能体从图像序列构建世界结构化地图。核心方法是将CSCG重构成可微模块gradCSCG并与VQ-VAE前端耦合，有软发射前向传播和损失平衡机制。主要贡献是证明该方法能在多环境下从视觉输入高精度恢复邻接图，CSCG可作深度学习构建块。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈