Efficiently Reproducing Distributed Workflows in Notebook-based Systems
在基于笔记的系统中高效重现分布式工作流
专题命中 工作流自动化 :workflow(abstract);分类 cs.SE
AI总结 本文提出NBRewind系统,通过增量检查点和日志提升分布式工作流在笔记中的可重现性与效率,减少全量重执行开销。
Comments 10 pages
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
在基于笔记的系统中高效重现分布式工作流
专题命中 工作流自动化 :workflow(abstract);分类 cs.SE
AI总结 本文提出NBRewind系统,通过增量检查点和日志提升分布式工作流在笔记中的可重现性与效率,减少全量重执行开销。
Comments 10 pages
关于埃尔多斯问题的最优界限
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文研究了将整数匹配到不同倍数的问题,确定了最优界限f(m)=min(m,⌈2√m⌉),并通过AI辅助流程证明。
Comments 8 pages. Comments and suggestions are welcome
紧凑型锗环接触高纯锗探测器的工艺开发与首次低温操作
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文报道了两种紧凑型n型GeRC工艺验证原型的制备与首次低温操作,验证了GeRC几何结构的可行性,为后续大规模生产奠定了基础。
Comments 27 pages, 12 figures and 3 tables
多队列系统中多智能体决策的社交互动探索框架
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出一个新框架,利用非线性意见动态的敏捷性和鲁棒性,通过队列选择中的决策突破和捕捉社交互动对集体行为的影响。
Comments Submitted to the 2026 IEEE Conference on Decision and Control
多接入车载天地6G网络中的能效编排
专题命中 工作流自动化 :planning(abstract)
AI总结 本文提出一种新型框架,整合无人机轨迹规划、多接入控制和服务放置,以实现高效能服务覆盖和超低延迟通信,解决动态车载环境中的干扰、资源稀缺和移动性挑战。
神话工程:一种融合文化灵感的公共艺术数字-物理框架
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文介绍了为Burn Man 2025设计的'Navagunjara Reborn'项目所采用的数字-物理工作流程,融合神话、工艺与计算,探讨了跨学科合作与文化传承的未来框架。
Comments 19 pages, 28 figures, 4 tables
利用机器去学习和再学习在大语言模型中模拟新手学生
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出基于机器去学习的知识级模拟方法,通过转换知识丰富的LLM为新手级AI学生,评估其通过教学对话重新学习知识的能力,揭示了学生行为随时间的变化轨迹。
临床语音转文本系统未见的风险:人工智能驱动的文档中透明性、隐私和可靠性挑战
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文研究了临床语音转文本系统在透明性、隐私和可靠性方面的风险,提出了一种社会技术框架来识别和管理相关风险,强调透明性、患者自主权和问责制的重要性。
Comments Accepted in the International Journal of Medical Informatics
比较生物模型中的贝叶斯推断与频率主义推断:准确性、不确定性和可识别性的比较分析
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文比较了贝叶斯与频率主义推断在生物模型中的表现,通过三个模型和四个数据集评估了准确性、不确定性和可识别性,发现频率主义在数据丰富时表现最佳,而贝叶斯在数据稀疏且存在潜在状态不确定性时更优。
Comments 59 pages, 19 figures, 29 tables
NeedleDB: 一种基于生成式AI的图像检索系统,用于通过复杂自然语言查询实现精确高效的检索
专题命中 工作流自动化 :workflow(abstract)
AI总结 NeedleDB通过生成式AI合成引导图像,将文本到图像检索转化为图像到图像搜索,提升复杂查询的精度和效率,实现93%的精度提升。
Sal:多模态验证复制数据类型
专题命中 工作流自动化 :workflow(abstract)
AI总结 Sal通过结合内核可验证的自动化、SMT辅助自动化及AI辅助交互式定理证明,实现CRDT和MRDT的多模态验证,69%的验证条件由内核验证自动化解决,自动生成反例暴露隐秘错误。
BrainRing: 一种用于脑连接弦图可视化交互式网页工具
专题命中 工作流自动化 :workflow(abstract)
AI总结 BrainRing是一款无需安装或编程的交互式网页工具,可生成高质量的脑连接弦图,支持多种脑图集,提供实时参数调整和全面的边管理功能,实现快速生成出版级图像。
ADEPT-PolyGraphMT:自动化分子模拟与多任务多保真度机器学习用于聚合物性质生成与预测
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文提出结合自动化分子动力学引擎与多任务多保真度机器学习的聚合物信息学框架,通过分子图神经网络学习结构-性质关系,利用模拟数据与实验数据构建62000个聚合物性质数据集,实现多任务学习在预测聚合物性质中的高效应用。
在双过程理论中定义因果机制及两种反馈控制
专题命中 工作流自动化 :agent(abstract)
AI总结 本文提出通过整合双过程理论与跨层级因果机制,构建意识和自主决定模型,统一了意识、代理和双过程理论,揭示了类型1和类型2过程的特征。
利用物理指导的BOS估计超音速流动的密度、速度和压力场
专题命中 工作流自动化 :workflow(abstract)
AI总结 本文提出了一种名为物理指导BOS的方法,通过物理信息神经网络同时满足测量数据和控制方程,提高超音速流动中密度估计的准确性,并获得速度和压力数据。
Journal ref Exp. Fluids 64 (2023) 14
模ularity、asymmetry和polarization如何影响voter模型中的共识速度
专题命中 工作流自动化 :agent(abstract)
AI总结 研究探讨了模ularity、asymmetry和polarization如何影响voter模型中共识形成速度,通过分析双群体结构下的意见扩散过程,揭示了共识形成中的快慢阶段及影响因素。
Comments 23 pages, 9 figures
Synergy: 一个下一代通用智能体用于开放性智能体网络
专题命中 软件智能体 :agent(title,abstract);agentic(title,abstract);AI agent(abstract)
AI总结 本文提出Synergy,一个用于开放性智能体网络的通用智能体架构,强调智能体间的协作、身份管理和持续进化,以实现开放网络中的社会集成。
Comments A tech report of a general-purpose agent architecture and human-agent society, 21 pages, 5 figures
更安全的构建者,危险的维护者:人类与代理PR中破坏性变更的比较研究
机构 * Kennesaw State University(肯尼索州立大学)
专题命中 软件智能体 :agentic(title,abstract);agent(abstract);AI agent(abstract);分类 cs.AI、cs.SE
AI总结 本文比较了人类与代理PR中破坏性变更的频率和任务情境,发现代理在维护任务中风险更高,存在'信心陷阱'问题。
Comments Accepted at 23rd International Conference on Mining Software Repositories (MSR), 2026
探索Verilog代码生成的代理前沿
机构 * New York University Tandon School of Engineering(纽约大学坦登工程学院)
专题命中 软件智能体 :agentic(title,abstract);agent(abstract);分类 cs.LG
AI总结 本文系统评估了代理LLM在Verilog生成中的影响,通过CVDP基准测试,分析了结构化提示和工具设计对性能的影响,并比较了开源与闭源模型的性能差异。
你的代理的GPA是多少?一个评估代理目标-计划-行动对齐的框架
机构 * BASIS Independent Silicon Valley Upper School(BASIS独立硅谷高中) ; Department of Computer Science, Stanford University(斯坦福大学计算机科学系)
专题命中 软件智能体 :agent(title,abstract);multi-agent(abstract);分类 cs.AI
AI总结 本文提出Agent GPA框架,通过评估代理目标、计划和行动的对齐性,验证其在多代理、单代理和企业数据代理中的有效性,展示了高误差覆盖和调试定位能力。
代理图示学:迈向高能物理中自主符号计算
专题命中 软件智能体 :agentic(title,abstract);agent(abstract)
AI总结 本文提出Diagrammatica,通过HEPTAPOD框架扩展实现LLM代理的多步骤理论计算。通过工具约束计算和知识接地方法,实现符号计算的精确性与可验证性,验证了在高能物理中的应用效果。
Comments 54 pages, 6 figures
EffiSkill:基于代理技能的自动代码效率优化
机构 * Shanghai Jiao Tong University(上海交通大学) ; University of California, Berkeley(加州大学伯克利分校) ; Columbia University(哥伦比亚大学) ; King's College London(伦敦国王学院) ; East China Normal University(华东师范大学) ; Shanghai Innovation Institute(上海创新研究院)
专题命中 软件智能体 :agent(title,abstract);分类 cs.CL、cs.SE
AI总结 EffiSkill通过构建可移植的优化工具箱,利用代码效率优化机制,实现无运行反馈的代码优化,提升了优化成功率。
SEAD:多轮服务对话的自演化代理
机构 * Meituan(美团)
专题命中 软件智能体 :agent(title,abstract);分类 cs.CL
AI总结 SEAD通过自演化机制提升服务对话性能,无需大规模人工标注,实验显示其任务完成率和对话效率均优于开源和商用模型。
多轮人-大语言模型协作代码生成中交互恶臭的实证研究
专题命中 软件智能体 :agent(abstract);multi-agent(abstract);分类 cs.SE
AI总结 本文通过分析真实用户-大语言模型交互数据,揭示多轮协作代码生成中的交互恶臭现象,提出InCE框架以提升交互质量。
PRBench: 物理研究中的端到端论文复现
机构 * School of Physics, Peking University(北京大学物理学院) ; Beijing Computational Science Research Center(北京计算科学研究中心)
专题命中 软件智能体 :agent(abstract);AI agent(abstract);分类 cs.CL
AI总结 PRBench通过30个物理领域专家任务评估AI在复现科学论文中的能力,发现现有模型在数据准确性和代码正确性上表现不佳,揭示了系统性失败模式。
Comments 17 pages, 3 figures
自主问题解决者:迈向零接触代码维护
机构 * Imperial College London(伦敦帝国理工学院)
专题命中 软件智能体 :agent(abstract);multi-agent(abstract);分类 cs.AI
AI总结 本文提出基于数据转换图的新型方法,通过数据状态节点和函数边的拓扑结构,解决传统代码属性图的控制流逻辑缺陷,实现数据完整性导航与控制流逻辑的统一,提升代码修复效率。
Comments 21 pages, 4 figures
可观性缺口:为何输出级人类反馈在LLM编码代理中失效
专题命中 软件智能体 :agent(abstract,comments);multi-agent(abstract)
AI总结 研究发现,LLM编码代理在缺乏预定义功能的情况下,通过轻量级人类反馈构建可重用函数库时,输出反馈无法有效识别根因,导致持续失败模式。
Comments Accepted to CHI 2026 Workshop on Human-Agent Collaboration
VulnScout-C:一种轻量级的Transformer用于C代码漏洞检测
专题命中 软件智能体 :agent(abstract);multi-agent(abstract)
AI总结 本文提出VulnScout-C,一种轻量级Transformer模型,用于C代码漏洞检测,同时构建了VulnScout数据集,实验表明其在检测性能上优于现有方法,且具有更低的推理成本。
Comments Submitted to IEEE Transactions on Dependable and Secure Computing
核动力学在路径熵最大化下
机构 * Earth Innovation Hub(地球创新中心)
专题命中 软件智能体 :agent(abstract);分类 cs.AI、cs.LG
AI总结 本文提出一个变分框架,将核函数视为路径熵最大化下的动态变量,探讨核函数的表示结构与信息几何分析,提出固定点条件、RG流及NTK演化的候选实例,并基于信息热力学假设推导核变化的下界。
Comments 7 pages, 2 figures
关于AGENTS.md文件对AI编码代理效率的影响
机构 * Singapore Management University(新加坡管理大学) ; Heidelberg University(海德堡大学) ; University of Bamberg(班贝格大学) ; King's College London(伦敦国王学院)
专题命中 软件智能体 :agent(abstract);分类 cs.AI、cs.SE
AI总结 研究AGENTS.md文件对AI编码代理在GitHub拉取请求上的运行效率和令牌消耗的影响,发现其能降低运行时间及令牌消耗,同时保持任务完成行为。
Comments 5 pages, 1 figure, 1 table