Shift-Left High-Level Synthesis Verification via Knowledge-Augmented LLM Agent
通过知识增强的LLM智能体实现左移高层次综合验证
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出一种知识增强的智能体驱动左移验证框架，通过双层级一致性检查、符号执行和HLS验证知识图谱，在综合前自动验证C与HLS-C的功能一致性，覆盖率达98.26%。
科学与医疗
医学 AI
医学智能、临床 AI、医学影像、病理、诊断和医疗健康大模型。
1. 诊断辅助 11 篇
An integrated interpretable control effectiveness learning and nonlinear control allocation methodology for overactuated aircrafts
过驱动飞行器的可解释控制效能学习与非线性控制分配集成方法
机构 * University of Stuttgart, Faculty of Aerospace Engineering and Geodesy, Institute of Flight Mechanics and Control (iFR)（斯图加特大学航空航天工程与大地测量学院飞行力学与控制研究所）
专题命中 诊断辅助 ：diagnosis(abstract)
AI总结 提出一种基于稀疏非线性动力学辨识的学习控制效能映射方法，结合在线自适应机制，实现过驱动飞行器的高效非线性控制分配，兼具可解释性和低计算成本。
2. 病理影像 2 篇
Semantic-Anchored Evidential Fusion for Domain-Robust Whole-Slide Survival Analysis
语义锚定证据融合用于域鲁棒的全切片生存分析
机构 * National University of Singapore（新加坡国立大学） ； Imperial College London（帝国理工学院） ； Hunan University（湖南大学）
专题命中 病理影像 ：pathology(abstract)；分类 cs.CV、cs.LG
AI总结 提出SAEFS框架，通过视觉问答提取语义锚点，结合双流证据提取和狄利克雷主观逻辑建模不确定性，实现跨域零样本生存分析，平均C-index提升10.2%。
Single-Stage Hierarchical Rectification for Weakly Supervised Histopathology Segmentation
单阶段层次化校正用于弱监督组织病理学分割
机构 * VinUni-Illinois Smart Health Center, VinUniversity, Hanoi, Vietnam（越南河内VinUniversity VinUni-Illinois智慧健康中心） ； The Computer Vision and Medical AI Lab, VinUniversity, Hanoi, Vietnam（越南河内VinUniversity计算机视觉与医学人工智能实验室） ； Posts and Telecommunications Institute of Technology, Hanoi, Vietnam（越南河内邮电技术学院）
专题命中 病理影像 ：pathology(abstract)；分类 cs.CV
AI总结 提出单阶段层次化校正框架，通过层次化特征校正模块在单次训练中直接生成高保真激活图，解决多阶段弱监督分割中的误差传播和计算开销问题。
Comments Accepted to MICCAI 2026. This is the pre-review submitted version, not the camera-ready version. The final authenticated version will be available in the MICCAI 2026 proceedings
3. 医疗多模态 4 篇
The Scaffold Effect: How Prompt Framing Drives Apparent Multimodal Gains in Clinical VLM Evaluation
脚手架效应：提示框架如何驱动临床VLM评估中的表面多模态增益
机构 * Technical University of Darmstadt（达姆施塔特技术大学）
专题命中 医疗多模态 ：MRI(summary_cn,abstract)；clinical AI(abstract)；分类 cs.LG
AI总结 研究发现，在临床VLM评估中，提示中提及MRI可用性即可解释70-80%的性能提升，与图像数据是否存在无关，这种“脚手架效应”揭示了表面评估无法反映真实多模态推理能力。
Med-R2: Perception and Reflection-driven Complex Reasoning for Medical Report Generation
Med-R2：面向医学报告生成的感知与反思驱动复杂推理
机构 * The School of Computer Science, The University of Sydney（悉尼大学计算机科学学院） ； The School of Computing, Macquarie University（麦考瑞大学计算机学院） ； Doubao Medical Group, ByteDance（字节跳动 doubao 医疗集团）
专题命中 医疗多模态 ：medical image(abstract)；diagnosis(abstract)；radiology(abstract)
AI总结 提出Med-R2微调策略，通过引入感知驱动的长推理过程和放射学知识指导，并加入反思机制修正感知错误，提升LVLMs在医学报告生成中的病理特征感知和诊断准确性。
Comments 28 pages, 3 figures, 1 table
Confidence Calibration for Multimodal LLMs: An Empirical Study through Medical VQA
多模态大语言模型的置信度校准：基于医学视觉问答的实证研究
机构 * College of Computer Science and Technology, Zhejiang University（浙江大学计算机科学与技术学院） ； School of Computer Science and Technology, Xidian University（西安电子科技大学计算机科学与技术学院） ； Zhihui Medical Technology (Shanghai) Co., Ltd.（智汇医疗科技（上海）有限公司）
专题命中 医疗多模态 ：diagnosis(abstract)；分类 cs.CV
AI总结 针对多模态大语言模型在医学任务中置信度与准确性不匹配的问题，提出结合多策略融合询问与专家大语言模型评估的方法，在三个医学VQA数据集上将期望校准误差平均降低40%，提升了模型可靠性。
Comments Accepted by MICCAI 2025
TSAssistant: A Human-in-the-Loop Agentic Framework for Automated Target Safety Assessment
TSAssistant: 一种人在回路中的自动化靶点安全性评估智能体框架
机构 * Computational Sciences Center of Excellence（计算科学卓越中心）
专题命中 医疗多模态 ：biomedical(abstract)
AI总结 提出TSAssistant多智能体框架，通过分层指令架构和交互式优化循环，将靶点安全性评估报告生成分解为专业子任务，实现高可重复性和证据溯源。
Comments Updated with quantitative and expert evaluations
4. 生物医学文本 5 篇
BioHarness: Substrate-Aware Evidence Assembly for Biomedical Question Answering across Literature, Knowledge Bases, and Biological Atlases
BioHarness：面向生物医学问答的底物感知证据组装——跨文献、知识库和生物图谱
专题命中 生物医学文本 ：biomedical(title,abstract)；分类 q-bio
AI总结 提出BioHarness，通过级联控制机制在文献检索、知识库和生物图谱间选择性组装证据，提升生物医学问答准确率，在19,302个问答项上得分从65.9提升至71.0。
Comments 14 Pages, 11 Figures, Keywords: biomedical question answering; retrieval-augmented generation; large language models; evidence assembly; biomedical knowledge bases; biological atlases
Automated Standardization of Legacy Biomedical Metadata Using an Ontology-Constrained LLM Agent
使用本体约束的LLM代理自动化标准化遗留生物医学元数据
机构 * Division of Computational Medicine, Stanford University（斯坦福大学计算医学部） ； Department of Biology, University of Pennsylvania（宾夕法尼亚大学生物学系）
专题命中 生物医学文本 ：biomedical(title,abstract)
AI总结 提出基于LLM的元数据标准化系统，通过实时查询标准指南和本体服务，在839条HuBMAP记录上验证，相比纯LLM方法显著提升预测准确性。
Semi-Automatic Correction of 3D Tubular Structure Skeletons via Component-Wise MST and Filtered Delaunay Triangulation
三维管状结构骨架的半自动校正：基于分量最小生成树与过滤Delaunay三角剖分
专题命中 生物医学文本 ：biomedical(abstract)
AI总结 提出一种半自动方法，通过用户选择源点和目标点，结合分量最小生成树和过滤Delaunay三角剖分，重建合理的中心线连接，校正骨架拓扑伪影。
Comments Accepted at ACM ICMR 2026
Journal ref In Proceedings of the International Conference on Multimedia Retrieval (ICMR '26), June 16--19, 2026, Amsterdam, Netherlands. ACM, New York, NY, USA, 10 pages
Ensembles of Large Language Models for Identifying EQ-5D Studies in PubMed Based on Their Abstracts
基于摘要识别PubMed中EQ-5D研究的大型语言模型集成
机构 * Doctoral School of Applied Informatics and Applied Mathematics, Obuda University（欧布达大学应用信息学与应用数学博士学院） ； John von Neumann Faculty of Informatics, Obuda University（欧布达大学约翰·冯·诺伊曼信息学学院） ； Doctoral School of Innovation Management, Obuda University（欧布达大学创新管理博士学院）
专题命中 生物医学文本 ：biomedical(abstract)
AI总结 提出多阶段框架集成Gemini和Gemma等LLM，通过少样本提示、权重集成和软堆叠元分类器，自动检测PubMed中EQ-5D研究，加权集成F1达0.74。
Comments 6 pages, 7 tables, 8 equations
Applicability Condition Extraction for Therapeutic Drug-Disease Relations
治疗性药物-疾病关系的适用条件提取
机构 * The University of Osaka（大阪大学） ； RIKEN（理化学研究所） ； Institute of Science Tokyo（东京科学大学） ； Tohoku University（东北大学）
专题命中 生物医学文本 ：biomedical(abstract)
AI总结 提出从生物医学文献中提取药物-疾病治疗关系适用条件的任务，构建首个手动标注数据集，并改进LoRA方法以考虑药物与疾病间关系，在多个评估设置中优于基线。
Comments Accepted to Findings of ACL 2026
5. 健康监测 1 篇
MedRLM: Recursive Multimodal Health Intelligence for Long-Context Clinical Reasoning, Sensor-Guided Screening, Evidence-Grounded Decision Support, and Community-to-Tertiary Referral Optimization
MedRLM：用于长上下文临床推理、传感器引导筛查、证据支持决策及社区到三级转诊优化的递归多模态健康智能
机构 * School of Information, Computer ； Communication Technology Sirindhorn International Institute of Technology, Thammasat University Pathum Thani, Thailand 1
专题命中 健康监测 ：medical AI(abstract)；medical image(abstract)；radiology(abstract)；分类 cs.LG、q-bio
AI总结 提出MedRLM递归多模态健康智能框架，通过递归检查、分解、检索、验证和合成患者信息，协调多个专业代理并引入临床证据图记忆，实现长上下文临床推理和传感器引导筛查。
Comments 9 pages, 3 figures, 3 tables, 1 Algorithm, 29 equations
6. 医学数据与评测 2 篇
RTSGameBench: An RTS Benchmark for Strategic Reasoning by Vision-Language Models
RTSGameBench: 视觉语言模型战略推理的RTS基准
机构 * Seoul National University（首尔国立大学）
专题命中 医学数据与评测 ：diagnosis(abstract)
AI总结 提出RTSGameBench，基于Beyond All Reason游戏，通过多样化对战、迷你游戏诊断和自进化生成框架，评估视觉语言模型在实时策略游戏中的战略推理能力。
Comments First two authors contributed equally
Benchmarking Local LLMs for Natural-Language-to-SQL Querying in Biopharmaceutical Manufacturing: An Empirical Benchmark on Consumer-Grade Hardware
在生物制药制造中本地LLM的自然语言到SQL查询基准测试：消费级硬件上的实证基准
机构 * Department of Computer Science, University of the Cumberlands（大学的计算机科学系） ； Department of Computer Science, DePaul University（德保罗大学计算机科学系） ； Youngstown State University（亚当斯州立大学）
专题命中 医学数据与评测 ：biomedical(abstract)
AI总结 本研究评估了四种本地部署的开源大语言模型在生物制药制造数据库上的自然语言到SQL生成性能，发现代码调优的通用模型优于领域特定模型，但当前性能仍需人工监督。
