AI Agent

GSCompleter: A Distillation-Free Plugin for Metric-Aware 3D Gaussian Splatting Completion in Seconds

GSCompleter: 一种无需蒸馏的插件，用于在几秒钟内进行基于度量的3D高斯溅射完成

Ao Gao, Jingyu Gong, Xin Tan, Zhizhong Zhang, Lizhuang Ma, Yuan Xie

机构 * School of Computer Science and Technology, East China Normal University（东华大学计算机科学与技术学院） ； Shanghai Innovation Institute（上海创新研究院） ； Chongqing Key Laboratory of Precision Optics, Chongqing Institute of East China Normal University（重庆精密光学重点实验室，东华大学重庆研究院） ； Shanghai Key Laboratory of Computer Software Evaluating and Testing（上海计算机软件评测测试重点实验室） ； Department of Computer Science and Engineering, Shanghai Jiao Tong University（上海交通大学计算机科学与工程学院） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种无需蒸馏的GSCompleter插件，通过稳定的'生成-注册'流程实现基于度量的3D高斯溅射完成，提高了完成质量和效率，并在三个基准上取得了新的最先进的结果。

Structure Matters: A Scale-Resolved Numerical Operando Approach for Lithium-Sulfur Batteries

结构至关重要：一种用于锂硫电池的尺度解析数值原位方法

Max Okraschevski, Torben Prill, Paul Maidl, Arnulf Latz, Timo Danner

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种尺度解析的数值原位方法，用于研究锂硫电池中多孔阴极结构对放电速率性能的影响，通过高性能计算提供实验难以获得的电化学行为结构洞察，以改进电池性能。

Comments Accepted version of the manuscript

Journal ref Journal of Energy Storage, Volume 168, 1 August 2026, 122529

A Red Teaming Framework for Evaluating Robustness of AI-enabled Security Orchestration, Automation, and Response Systems

一种用于评估AI增强的安全编排、自动化和响应系统鲁棒性的红队框架

Ayan Javeed Shaikh, Nathaniel D. Bastian, Ankit Shah

专题命中 工作流自动化 ：autonomous agent(abstract)

AI总结 本文提出了一种结合大语言模型和强化学习的自主红队框架，用于评估企业网络中自主防御系统的鲁棒性，展示了单一LLM代理在多阶段攻击中的不足以及领域特定安全模型的局限性。

Over-approximation of weakly-hard constraints for control systems verification (Extended)

对控制系统验证中的弱硬约束进行过度逼近（扩展）

Rieke de Maeyer, Holger Hermanns, Martina Maggio

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种对弱硬约束语言的过度逼近方法，以解决传统有限状态机在验证控制系统属性时的效率问题，通过压缩语言接受器实现更高效的验证。

Comments Extended version of the paper "Over-approximation of weakly-hard constraints for control systems verification", accepted for publication at CAV 2026

Escape from Callback Hell! A New Programming Paradigm for Network Simulation

逃离回调地狱！一种新的网络模拟编程范式

Yuanyi Zhu, Zijian Li, Xin Ai, Zixuan Chen, Sen Liu, Yang Xu

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种名为CoDES的新型网络模拟开发范式，通过协程机制优化网络模拟开发流程，有效解决网络事件模拟中的复杂性和可维护性问题，减少开发工作量并提升代码可读性和可维护性。

Pretrain-to-alignment learning paradigm to improve geophysical AI applicability under scarce field labels and synthetic-to-field gaps: A case study of relative geologic time estimation in global shelf-edge clinothems

预训练到对齐学习范式以提高在稀少实地标签和合成到实地差距下的地球物理AI适用性：全球岸缘cline-thems中相对地质时间估计的案例研究

Hui Gao, Xinming Wu, Jiarun Yang, Zhixiang Gao, Yimin Dou

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种预训练到对齐的学习范式，通过整合自监督预训练、合成监督、先验驱动细化和领域适应微调，提升地球物理AI在稀少实地标签和合成到实地差距下的适用性，通过全球岸缘cline-thems中相对地质时间估计的案例研究验证了该范式的有效性。

Comments 50 pages, 9 figures

JARVIS: A Just-in-Time Augmented Reality VLM-Powered Instruction System for Cross-Reality Task Guidance

JARVIS：一种基于视觉语言模型的即时增强现实指令系统，用于跨现实任务指导

Yusi Sun, Ying Jiang, Jiayin Lu, Yin yang, Yong-Hong Kuo, Chenfanfu Jiang

专题命中 工作流自动化 ：workflow(abstract)

AI总结 JARVIS通过视觉语言模型生成上下文相关的分步指导，实现实时状态验证和自适应视觉反馈，提升跨现实任务的可用性、工作负荷、成功率和可视化效果。

Comments 14 pages, 11 figures, 2 tables

STRIKE: A Structured Taxonomy of Cybercrime for Risk, Impact, Knowledge, and Evolution

STRIKE：一种用于风险、影响、知识和演化的网络犯罪结构分类

Melissa Pappy, Linh Nguyen, Suman Kumar, Byungkwan Jung, Bernard Chen

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出STRIKE框架，用于分类网络犯罪，涵盖传统和新兴领域，提供多维分析方法以应对复杂威胁。

Journal ref In Communications in Computer and Information Science, vol 2740. Springer (2026)

LeanBET: Formally-verified surface area calculations in Lean

LeanBET：在Lean中形式验证的表面积计算

Ejike D. Ugwuanyi, Colin T. Jones, John Velkey, Tyler R. Josephson

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文在Lean4中实现并验证了BET方法的完整流程，包括窗口枚举、单调性检查、膝点选择和线性回归，证明了算法的正确性并验证了与BETSI参考方法的一致性。

In-situ correlative SEM/KPFM for semiconductor devices and 2D heterostructures

原位相关性SEM/KPFM用于半导体器件和二维异质结构

Prabhu Prasad Swain, Nahid Hosseini, Eveline. S Mayner, Aleksandra Radenovic, Marcos Penedo, Georg E. Fantner

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出了一种原位单次异步霍夫曼-凯尔文探针力显微镜技术，用于半导体器件和二维异质结构的表征，克服了传统压阻悬臂的电容交叉干扰问题，实现了高精度表面形貌和接触电势差的联合成像。

End-to-end plaque counting and virus titration from laboratory plate images with deep learning

基于深度学习的实验室平板图像端到端斑块计数与病毒滴度测定

Eugenia Moris, Alicia Costábile, Sebastián Rey, Irene Ferreiro, Joaquín Hurtado, Lizandra Lissette Luciano, Matías Villagrán, Aisha Espino Vázquez, Jomari Ramos, Isadora Monteiro, María Victoria de Santiago, Pilar Moreno, Gonzalo Moratorio, José Ignacio Orlando

机构 * Arionkoder LLC ； Laboratory of Experimental Virus Evolution, Pasteur Institute of Montevideo（实验病毒进化实验室，蒙特维多巴斯德研究所） ； Laboratory of Molecular Virology, Faculty of Sciences, University of the Republic（分子病毒学实验室，科学学院，乌拉圭共和国大学） ； Center for Innovation in Epidemiological Surveillance, Pasteur Institute of Montevideo（流行病学监测创新中心，蒙特维多巴斯德研究所） ； Biochemistry Section, Faculty of Sciences, University of the Republic（生物化学部门，科学学院，乌拉圭共和国大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出一种端到端的深度学习方法，通过分割模型对实验室平板图像中的斑块进行自动计数和滴度测定，提高了病毒感染性检测的效率和准确性。

Estimated Dynamic Equilibrium Model: Supply and Demand as a Sample Path of a Stochastic Process

估计动态均衡模型：供给与需求作为随机过程的样本路径

Mikhail L. Arbuzov, Sisong Bei, Alexey Shvets

专题命中 工作流自动化 ：agent(abstract)

AI总结 本文提出EDEM模型，将供需视为由异质噪声估值驱动的随机过程，揭示了持续失衡的生成机制，并通过实验发现六个不同的市场状态。

Creating treatment and component hierarchies in component network meta-analysis

在组件网络meta分析中创建治疗和组件层次结构

Augustine Wigle, Audrey Béliveau, Adriani Nikolakopoulou, Lifeng Lin

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出在频繁ist和贝叶斯CNMA中回答治疗层次问题的步骤流程，明确识别可唯一估计的相对效应，通过两个不同网络示例展示方法。

After the Interface: Relocating Human Agency in the Age of Conversational AI

接口之后：在对话式AI时代重新定位人类代理

Mengke Wu, Mike Yao

专题命中 工作流自动化 ：agentic(abstract)

AI总结 本文探讨人类代理在对话式AI时代从界面转向交互本身的变化，通过重新定义控制机制揭示代理的再分布，呼吁重新思考代理的意义与责任归属。

Comments 7 pages, 1 figure

Journal ref ACM Conversational User Interfaces 2026 (CUI '26)

Behavioral Data-Driven Optimal Trajectory Generation for Rotary Cranes

基于行为数据的旋转起重机最优轨迹生成

Iskandar Khemakhem, Manuel Zobel, Johannes Schüle, Oliver Sawodny, Naoki Uchiyama, Abdallah Farrage

机构 * Institute for Adaptive Mechanical Systems, University of Stuttgart（适应性机械系统研究所，斯图加特大学） ； Institute for System Dynamics, University of Stuttgart（系统动力学研究所，斯图加特大学） ； Department of Mechanical Engineering, Toyohashi University of Technology（机械工程系，toyohashi大学） ； Department of Mechatronics Engineering, Faculty of Engineering, Assiut University（机电工程系，工程学院，阿西尤特大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出基于行为数据的旋转起重机轨迹生成方法，通过非参数表示和凸优化减少负载摆动、跟踪误差和运行时间。

"Tab, Tab, Bug": Security Pitfalls of Next Edit Suggestions in AI-Integrated IDEs

Tab，Tab，Bug：AI集成IDE中Next Edit Suggestions的安全隐患

Yunlong Lyu, Yixuan Tang, Peng Chen, Tian Dong, Xinyu Wang, Zhiqiang Dong, Hao Chen

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文研究了AI集成IDE中的Next Edit Suggestions安全问题，揭示了其复杂的上下文检索机制和潜在攻击向量，通过实验室测试和在线调查发现NES易受上下文污染和交易性编辑影响，需加强安全教育和防护措施。

Data-Driven Monitoring and Deterrence in a Changing Environment

在变化环境中数据驱动的监控与威慑

Yeon-Koo Che, Jinwoo Kim, Konrad Mierendorff

专题命中 工作流自动化 ：agent(abstract)

AI总结 本文研究了一个动态模型，其中主导者基于历史违规数据监控代理人，数据决定了监控的时间和强度。通过马尔可夫过程建模环境变化，发现短视策略使历史数据无价值，但内在探索动机成为内生承诺机制，降低违规率并恢复威慑力。

VLTI/PIONIER imaging of post-AGB binaries. An INSPIRING hunt for inner rim substructures in circumbinary discs

VLTI/PIONIER成像用于后AGB双星系统。寻找环绕双星盘内 rim 子结构的激励性搜索

Toon De Prins, Akke Corporaal, Jacques Kluska, Devika Kamath, Hans Van Winckel, Kateryna Andrych, Javier Alcolea, Narsireddy Anugu, Jean-Philippe Berger, Valentin Bujarrabal, Ivan Gallardo Cava, Stefan Kraus, Hans Olofsson

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文利用VLTI/PIONIER干涉成像技术，研究后AGB双星系统的内 rim 结构，揭示可能的子结构，发现四个目标存在异常亮度增强，可能由辐射或动力学响应或流体不稳定性引起。

Comments Accepted for publication in Astronomy & Astrophysics. 32 pages, 16 figures

Laser-scanning of induction-melted Al alloys: are they representative of additively manufactured ones?

感应熔融铝合金的激光扫描：它们是否代表增材制造的合金？

Zhaoxuan Ge, Sebastian Calderon, S. Mohadeseh Taheri-Mousavi

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究通过感应熔融样品的多路径激光扫描，模拟快速固结以替代定制粉末生产，分析了Al-Ni-Zr-Er合金的微观结构与机械性能，发现其微观结构相似但性能略有下降。

Factorization of denominators as a `fuel' for Feynman integral reduction

因子化分母作为费曼积分简化的一种‘燃料’

Alexander V. Smirnov, Vladislav. A. Fokin, Egor Yu. Chuvashov

专题命中 工作流自动化 ：workflow(abstract)

AI总结 研究IBP系数中分母因子化模式，开发实用算法以提取并利用因子化分母结构，提高大规模简化效率与鲁棒性。

GeomHair: Reconstruction of Hair Strands from Colorless 3D Scans

GeomHair：从无色3D扫描中重建发丝

Rachmadio Noval Lazuardi, Artem Sevastopolsky, Egor Zakharov, Matthias Niessner, Vanessa Sklyarova

机构 * Technical University of Munich（慕尼黑技术大学） ； ETH Zürich（苏黎世联邦理工学院） ； Max Planck Institute for Intelligent Systems（智能系统马克斯·普朗克研究所） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出一种从无色3D扫描直接重建发丝的方法，通过多模态发丝方向提取，结合神经网络2D线检测器和扩散先验，构建了Strands400数据集，支持下游任务和CG工作流。

Comments 15 pages, 9 figures, 1 table

A Quantum Multi-Programming Framework to Maximize Quantum Resources for the LUCJ Ansatz

一种量子多编程框架以最大化LUCJ ansatz的量子资源

Milana Bazayeva, Abigail McClain Gomez, Kenneth M. Merz

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出利用量子多编程优化LUCJ ansatz处理量子化学问题，通过样本量子对角化和扩展版本提升基态能量计算精度，并通过实验验证多编程框架中串扰的抑制效果。

Scalable Measurement-Based Quantum Simulation Patterns for Benchmarking

可扩展的基于测量的量子模拟模式用于基准测试

V. W. Scarola

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出QPatLib库，提供可扩展的测量模式用于基于测量的量子模拟，支持模式优化、硬件应用和未来存储。

plmmr: an R package to fit penalized linear mixed models for genome-wide association data with complex correlation structure

plmmr：一个用于拟合具有复杂相关结构的基因组-wide关联数据的惩罚线性混合模型的R软件包

Tabitha K. Peter, Anna C. Reisetter, Yujing Lu, Oscar A. Rysavy, Patrick J. Breheny

专题命中 工作流自动化 ：workflow(abstract)

AI总结 plmmr通过拟合惩罚线性混合模型，利用观测间的相关性提升预测精度，并通过内存映射技术处理大规模基因组数据。

Comments 23 pages, 5 figures; https://github.com/pbreheny/plmmr

Journal ref Briefings in Bioinformatics (2026), 27: bbaf672

Digital Annealer-Assisted Accuracy-First Quantum Circuit Transpilation with Integrated QUBO Mapping and Routing

数字退火辅助的精度优先量子电路编译与集成QUBO映射与路由

Kazuma Watanabe, Hideaki Kawaguchi, Shin Nishio, Takahiko satoh

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出利用数字退火进行精度优先的量子电路编译，通过混合策略和全退火策略实现CNOT门数减少，提升近量子硬件的实用性。

Comments 7 pages, 4 figures. Submitted to IEEE Quantum Week (QCE) 2026

LDDR: Linear-DPP-Based Dynamic-Resolution Frame Sampling for Video MLLMs

LDDR：基于线性DPP的动态分辨率帧采样用于视频MLLMs

Jingfeng Chen, Jiawen Qian, Wendi Deng, Yinuo Guo, Jiaqi Yu, Sicong Leng, Raghuveer Thirukovalluru, Bhuwan Dhingra

机构 * Carnegie Mellon University（卡内基梅隆大学） ； Individual Researcher（个人研究员） ； National University Singapore（新加坡国立大学） ； Nanyang Technological University（南洋理工大学） ； Duke University（杜克大学） 纠错

专题命中 工作流自动化 ：agentic(abstract)

AI总结 本文提出LDDR框架，通过任务条件特征空间中查询感知的DPP帧选择，在有限视觉token预算下提升视频理解，实现3倍速度提升，并通过组DPP重要性度量动态分配分辨率，优于现有基线方法。

Comments 21 pages, 4 figures

Encore: Conditioning Trajectory Forecasting via Biased Ego Rehearsals

Encore：通过有偏自我演练进行轨迹预测条件化

Conghao Wong, Ziqian Zou, Xinge You

机构 * Huazhong University of Science and Technology（华中科技大学） 纠错

专题命中 工作流自动化 ：agent(abstract)

AI总结 本文提出 Encore 模型，通过有偏自我演练条件化轨迹预测，提升预测性能并增强对主体性的可解释性。

The Quantum Hamiltonian Analysis Toolkit: Lowering the Barrier to Quantum Computing with Hamiltonians

量子哈密顿分析工具包：通过哈密顿量降低量子计算的门槛

Brendan K. Krueger, Stephan Eidenbenz, Shamminuj Aktar, Rishabh Bhardwaj, John K. Golden, George Grattan, Abhijith Jayakumar, Anna Matsekh, Scott Pakin, Nandakishore Santhi, Reuben Tate

专题命中 工作流自动化 ：workflow(abstract)

AI总结 QHAT提供用户友好的界面用于研究哈密顿量及在容错量子计算机上的模拟，通过简单输入减少对量子算法的理解需求，提升研究效率。

Comments 10 pages, 8 figures, submitted to IEEE Quantum Week 2026

Conversational Customization of Productivity Systems: A Design Probe of Malleable AI Interfaces

生产力系统的对话式定制：可变AI接口的设计探查

Karthik Sreedhar, Aryan Kaul, Lydia B. Chilton

专题命中 工作流自动化 ：workflow(abstract)

AI总结 研究探讨用户如何通过自然语言定制日常工具，发现用户多基于现有模式进行调整而非创造新功能，强调了对话式定制对工具交互方式的影响及潜在风险。

KeyframeFace: Language-Driven Facial Animation via Semantic Keyframes

KeyframeFace: 通过语义关键帧实现语言驱动的面部动画

Jingchao Wu, Zejian Kang, Haibo Liu, Yuanchen Fei, Xiangru Huang

机构 * Westlake University（西湖大学） ； Nanjing University（南京大学） ； Zhejiang University（浙江大学） ； Hunan University（湖南大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出KeyframeFace框架，通过语义关键帧实现语言驱动的面部动画，提升面部表情的精确控制与可解释性。