Network Analysis with Parametric NetKAT
使用参数化NetKAT进行网络分析
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究网络诊断和推理任务中的枚举问题，核心方法是使用参数化NetKAT语言，贡献为介绍其设计语义、编译方法、算法及正确性证明，并评估了在工业基准测试中的性能。
科学与医疗
医学 AI
医学智能、临床 AI、医学影像、病理、诊断和医疗健康大模型。
1. 诊断辅助 141 篇
Towards Quantum Network Performance Metrics: Challenges and Demonstration
迈向量子网络性能指标：挑战与演示
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 针对量子网络实际部署中标准化性能监测的需求，提出含多种性能指标的结构化监测框架，实现实时观测等功能，通过原型系统展示可行性，讨论监测挑战，为量子网络监测及相关发展奠定基础。
Vis4GS: A Visual Analytic Tool for 3D Gaussian Splatting Reconstruction
Vis4GS: 3D高斯泼溅重建的可视分析工具
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 针对3DGS重建中高斯属性对伪影的影响难以解释的问题，提出Vis4GS多视图可视分析工具，通过链接伪影与高斯属性、视图覆盖、训练进度和谱系，支持结构化诊断重建失败原因。
Comments Accepted to IEEE VIS 2026 Short Papers
Heteroskedastic Signals in Budgeted LLM Verification: Structural Heterogeneity Limits Optimization Gains
预算受限LLM验证中的异方差信号：结构异质性限制了优化收益
机构 * Northwestern Polytechnical University（西北工业大学）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文发现LLM不确定性信号在预算受限验证中存在异方差性，导致全局分配扭曲；通过分层阈值干预（CST）在强异质性设置下提升命中率达17个百分点，揭示结构异质性是主要瓶颈。
AI-Assisted Hyperspectral Interferometry and Single-Cell Dispersion Imaging
人工智能辅助的高光谱干涉测量与单细胞色散成像
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究提出宽带且人工智能增强的GPCPI干涉测量方法，通过深度神经自编码器检测相位异常，提高相位测量准确性与稳定性。用于等离子体超表面相位传感和高光谱单细胞色散成像，可在单细胞水平进行细胞分类和疾病诊断，为多领域提供可靠成像解决方案。
Ruling Out to Rule In: Contrastive Hypothesis Retrieval for Medical Question Answering
排除谬误以确认正确：面向医疗问答的对比假设检索
机构 * Asan Medical Center（峨山医疗中心） ； Yonsei University（延世大学） ； University of Ulsan College of Medicine（蔚山大学医学院）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文提出对比假设检索框架CHR，通过生成正确和错误假设来提升医疗问答系统检索效果，实验显示在多个基准测试中优于现有方法，有效减少硬负样本污染。
Provable Coordination for LLM Agents via Message Sequence Charts
通过消息序列图实现LLM代理的可证明协调
机构 * Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Gif-sur-Yvette, France（巴黎萨克雷大学、法国国家科学研究中心、巴黎萨克雷高等师范学院、LMF、法国吉夫-sur-耶vette） ； Institut Universitaire de France, Paris, France（法国国家科学院、巴黎，法国）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文提出基于消息序列图的领域特定语言，用于规范LLM代理协调，解决死锁和消息类型不匹配等问题，通过语法引导投影生成无死锁的局部代理程序，并展示如何在LLM非确定性基础上建立协调属性。
Comments 42 pages; accepted at ISoLA 2026
Identifying geometric third-order nonlinear transport in disordered materials
识别无序材料中的几何三阶非线性输运
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究无序材料中三阶非线性输运机制，建立机制分辨和对称性引导框架，发现20种机制，提出结合对称性诊断与标度律的数据分析方案，可定量区分机制，应用该方案识别多种材料的几何机制，理论可推广到任意阶。
Comments 10 pages, 3 figures, 2 table
Journal ref Phys. Rev. X 16, 031012 (2026)
AgenticDB: Self-Evolving Reconfiguration Framework for Database Workloads
AgenticDB: 面向数据库工作负载的代理式性能重配置
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出AgenticDB框架，通过运行时交互实现数据库系统级和操作系统级重配置，诊断瓶颈并积累经验，在MySQL和PostgreSQL上平均性能提升118.1%。
Self-EvolveRec: Self-Evolving Recommender Systems with LLM-based Directional Feedback
Self-EvolveRec：基于大语言模型定向反馈的自进化推荐系统
机构 * Microsoft（微软）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究针对传统推荐系统设计方法局限，提出Self-EvolveRec框架，集成用户模拟器与模型诊断工具建立定向反馈循环，并引入协同进化策略。实验证明该框架在推荐性能和用户满意度上显著优于现有基线。
Bidirectional yet asymmetric causality between urban systems and traffic dynamics in 30 cities worldwide
全球30个城市中城市系统与交通动态之间的双向但不对称因果关系
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究全球30个城市中城市系统与交通动态的关系，提出时空因果框架，结合时空加权回归与收敛交叉映射，揭示双向不对称因果关系及三种因果原型，为可持续城市和交通规划提供策略依据。
Comments Published in Nature Communications
Journal ref Nature Communications 17, 4671 (2026)
When Rating Scales Fall Short: LLM-Assisted Discovery of ADHD Signals in Turkish Teacher Narratives
当评分量表不足时：LLM辅助发现土耳其教师叙述中的ADHD信号
机构 * Department of Computer Science, University of Illinois Chicago（伊利诺伊大学芝加哥分校计算机科学系） ； Department of Child and Adolescent Psychiatry, Gazi University（加齐大学儿童与青少年精神病学系）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本研究通过分析土耳其教师评估表中的结构化评分和开放式叙述，利用大语言模型辅助的主题发现方法，揭示了叙述文本中未被结构化量表捕捉的ADHD互补信号。
Comments 15 pages. Accepted to CLPsych 2026. Camera-ready author version. The final version will appear in the ACL Anthology
Journal ref In Proceedings of the 10th Workshop on Computational Linguistics and Clinical Psychology (CLPsych 2026), pages 368-382, San Diego, California, USA, 2026. Association for Computational Linguistics
Diagnosing the conditional-mean barrier in scientific machine-learning surrogates
条件均值障碍：从确定性回归到条件分布学习
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文提出条件均值障碍概念，通过残差-特征正交性和决定系数两个诊断指标识别该障碍，并证明添加潜在随机性会迫使平方损失预测器回到条件均值，从而需要分布评分损失来跨越障碍。
AOI: Context-Aware Multi-Agent Operations via Dynamic Scheduling and Hierarchical Memory Compression
AOI：通过动态调度和分层内存压缩实现的上下文感知多智能体操作
机构 * Columbia University（哥伦比亚大学） ； Hunan University（湖南大学） ； Central University of Finance and Economics（中央财经大学） ； Chongqing University（重庆大学） ； Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所） ； AI Agent Lab, Vokram Group（Vokram集团人工智能代理实验室） ； College of William and Mary（威廉与玛丽学院） ； University of Texas（得克萨斯大学） ； Zhengzhou University of Light Industry（郑州轻工业大学） ； Emory University（埃默里大学） ； Department of Nephrology, Affiliated Hospital of Guangdong Medical University（广东医科大学附属医院肾病科）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文提出AOI框架，通过动态任务调度和分层内存压缩，提升复杂IT基础设施的自主运维能力，实现72.4%的上下文压缩和94.2%的任务成功率。
Comments new revision
From Failed Trajectories to Reliable LLM Agents: Diagnosing and Repairing Harness Flaws
从失败轨迹到可靠的LLM代理：诊断与修复框架缺陷
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出HarnessFix框架，通过轨迹引导诊断代理失败并修复执行框架，在多个基准上提升15.2%-50.0%性能。
Sample-Efficient Misconfiguration Classification for Network Resilience in Wireless Communications
无线通信中用于网络韧性的小样本误配置分类
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文提出了一种基于图学习的任务，通过EtaGATv2算法对协议误配置进行分类，该算法能够处理非均匀症状传播并提取协议特定特征，实验表明在仅有50%训练样本的情况下达到最先进的性能，适用于动态拓扑和有限负样本的数据集。
MORPHEUS: A Multidimensional Framework for Modeling, Measuring, and Mitigating Human Factors in Cybersecurity
MORPHEUS: 一个用于建模、测量和减轻网络安全中人为因素的多维框架
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 针对网络安全中人为因素研究碎片化的问题，提出MORPHEUS框架，基于认知-情感-行为模型和归因理论，整合50个人为因素，映射302个实证交互，提炼12种交互机制，并提供99个心理测量工具，支持风险诊断和干预。
Target-Mass Corrections in the OPE Sum-Rule Approach to Quarkonium-Nucleon Interactions with Global-Fit PDFs: an $x$-Resolved Analysis
全局拟合PDF下夸克偶素-核子相互作用的OPE求和规则方法中的靶质量修正：一个$x$分辨分析
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 通过全局拟合胶子PDF（ABMP16、MSHT20、CT18、NNPDF4.0），在OPE求和规则框架下对非弹性夸克偶素-核子相互作用进行$x$分辨的靶质量修正数值诊断，揭示近阈值截面减小的驱动来源并量化PDF不确定性及能标依赖性。
Comments 27 pages, 8 figures
Journal ref Nuclear Physics B Volume 1029, August 2026, 117565
Plausible but Wrong: A case study on Agentic Failures in Astrophysical Workflows
可能但错误：天体物理工作流中代理失败的案例研究
机构 * Bonn-Aachen International Center for Information Technology, University of Bonn, Germany（波恩-阿森国际信息科技中心，波恩大学，德国） ； Lamarr Institute for Machine Learning and Artificial Intelligence, Germany（拉马尔机器学习与人工智能研究所，德国）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 研究评估了CMBAgent在两种工作流范式和十八个天体物理任务中的表现，发现代理在缺乏上下文时性能提升显著，但常出现静默错误，产生看似合理却不准确的结果，揭示了代理科学工作流中最危险的失败模式是自信生成错误结果。
The representation of Convectively Coupled Equatorial Waves and upscale energy transfer in models with explicit and parametrized convection
显式和参数化对流模型中耦合对流赤道波的表征及升尺度能量传递
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 比较千米分辨率下参数化对流与允许对流模型对耦合对流赤道波（CCEWs）的模拟，发现允许对流模型模拟的升尺度能量传递更高，CCEWs更连贯，且与观测更接近。
Comments This article is in review at Journal of the Atmospheric Sciences. Copyright in this article may be transferred without further notice
Few shot chain-of-thought driven reasoning to prompt LLMs for open ended medical question answering
少样本思维链推理以提示LLMs进行开放式医学问答
机构 * IBM Research（IBM研究院） ； Indian Institute of Technology Bombay（印度理工学院孟买分校）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出MEDQA-OPEN数据集和CLINICR提示方法，通过思维链推理提升LLMs在开放式医学问答中的表现，并引入奖励模型进行答案验证。
Comments The paper is accepted in EMNLP 2024 Findings
Adaptive and Efficient Learning with Blockwise Missing and Semi-Supervised Data
块状缺失与半监督数据下的自适应高效学习
专题命中 诊断辅助 ：biomedical(abstract)
AI总结 提出DEFUSE方法，通过数据自适应和分布偏移调整，融合块状缺失和半监督数据，实现高效估计并避免偏差，同时开发筛选方法排除不匹配数据源。
Index Date Imputation for Survival Analysis in Externally Controlled Trials with Delayed Treatment Initiation
延迟治疗启动的外部对照试验中生存分析的索引日期插补
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 针对外部对照试验中因治疗启动延迟导致的索引日期错位问题，提出截断感知的索引日期插补（IDI）方法，结合倾向得分加权以校正混杂，模拟和真实数据验证其减少偏差的有效性。
CyberEvolver: Structured Self-Evolution for Cybersecurity Agents On the Fly
CyberEvolver：面向网络安全代理的即时结构化自我进化
机构 * Fudan University（复旦大学） ； Shanghai Innovation Institute（上海创新研究院） ； Shanghai Pudong Research Institute of Cryptology（上海浦东密码研究院）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出CyberEvolver框架，通过四层可进化架构、痕迹诊断机制和种群波束搜索，实现网络安全代理基于失败经验的支架自我进化，平均成功率提升13.6%。
Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
蓝图优先，模型其次：确定性LLM工作流框架
机构 * Alibaba（阿里巴巴）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出“蓝图优先，模型其次”框架，通过将工作流逻辑解耦为源代码蓝图并由确定性引擎执行，LLM仅处理子任务，在TravelPlanner上最终通过率提升97.6%，约束违反减少96.0%。
Comments 12 pages, 7 figures, 6 tables
TERMS-Bench: Diagnosing LLM Negotiation Agents Beyond Deal Rate
TERMS-Bench: 在交易率之外评估大语言模型谈判代理
机构 * Stanford School of Engineering（斯坦福大学工程学院） ； Stanford Department of Economics（斯坦福大学经济系） ； Stanford Graduate School of Business（斯坦福商学院）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 TERMS-Bench通过博弈论框架评估谈判代理，揭示其在交易率之外的性能差异，如盈余提取、线索使用和合规性。
Comments Project Site: https://terms-bench.github.io/
From Detection to Recovery: Operational Analysis on LLM Pre-training with 504 GPUs
从检测到恢复：504 GPU上LLM预训练的运营分析
机构 * Lablup Inc.（Lablup公司）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本文通过分析一个63节点NVIDIA B200生产集群（504 GPU）55天的Prometheus时间序列数据和73天的运营日志，提出了三项定量分析，揭示了多信号检测策略、存储I/O瓶颈和自动重试恢复机制的有效性。
Comments 42 pages, 19 figures, 16 tables. Lablup Technical Report
Universal geometric framework for black hole phase transitions: from multivaluedness to classification
黑洞相变的统一几何框架：从多值性到分类
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 通过构建结合实分析与覆盖空间理论的几何框架，揭示了黑洞一级相变中热力学、动力学和几何量同步多值行为的普遍数学机制，并基于温度曲线的极值点提出黑洞分类方案。
Comments 20 pages, 2 figures
Journal ref Eur. Phys. J. C 86, 642 (2026)
On Sequence-to-Sequence Models for Automated Log Parsing
关于自动化日志解析的序列到序列模型
机构 * Toronto University（多伦多大学）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 本研究系统评估了四种序列建模架构（Transformer、Mamba、单/双向LSTM）在自动化日志解析中的性能，发现Transformer表现最佳，Mamba在计算成本较低时具有竞争力，并分析了表示选择、序列长度和数据效率的影响。
Comments Added a comparison with large language models
AgenticRL: Self-Refining Agentic Reinforcement Learning for Vision-Conditioned UAV Navigation
面向视觉条件的无人机导航的自优化智能体强化学习
机构 * University of Science and Technology of China（中国科学技术大学）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出AgenticRL框架，利用多模态GPT智能体自动设计奖励函数、通过闭环自改进优化策略，在多种无人机导航任务中提升性能并实现高成功率。
