通过往返验证与修复实现忠实的自动形式化
往返验证：形式化→回译→再形式化校验等价；分歧时定位错步定向修复。该法最优，未过检规则语义漂移更大。
CIG-MAE：面向自监督WiFi感知的跨模态信息引导掩码自编码器
提出CIG-MAE自监督框架，以双流掩码自编码器重建CSI幅相，用自适应信息引导掩码与Barlow Twins正则对齐跨模态表征，在三数据集上超越SOTA与全监督基线。
SENSE加速脑MRI中解剖保真的伪影抑制
ART-Net利用解剖感知残差注意力抑制SENSE四倍加速脑MRI伪影，提升图像质量并保持解剖保真。
视觉图推理的知识编译方法
提出VGCompiler，用表示编译器和操作编译器从图图像恢复结构并编译可执行操作，8B模型超越闭源基线28.9%。
S$^4$R：面向压缩长上下文 KV 缓存的选择性采样、子空间与稀疏重建
S⁴R 以选择性采样构建低秩子空间并稀疏重建 KV，最高 5 倍压缩且近乎全缓存精度。
PACT：从信用分配到评论家对齐
提出token信用三条件唯一刻画，据此设计PACT，采用先演员后评论家与重要性采样校正，推理和代码任务显著超越PPO/GRPO。
Co-FactChecker：基于大型推理模型的人机协同声明验证框架
提出Co-FactChecker，以专家反馈编辑思维轨迹，实现人机协同声明验证，优于多轮对话。
面向视障用户多模态出行辅助的经济型AI集成智能手杖
88美元全离线AI智能手杖，融合RGB视觉与ToF测距，以振动和音频提示助视障者避障，F1达0.82。
主动空间检查：面向有效且高效的具身探索
提出ACE框架，以空间检查融合证据感知与曝光引导移动，导航成功率提升18.0%，问答探索效率提升10.3%。
面向特应性皮炎的稳定性与边界感知解释引导医学命名实体识别
提出稳定性与边界感知解释引导框架，提升特应性皮炎医学NER识别与解释可靠性。
POPI：通过优化自然语言偏好推断实现大语言模型个性化
POPI框架将个性化拆分为偏好摘要推断与生成两模块，以自然语言为接口，偏好摘要可跨生成器复用，上下文开销降低一个数量级。
分离式量化：面向LLM预填充与解码的特化
提出分离式量化，为预填充与解码特化格式、权重与存储；解码免激活量化提升精度，预填充专用权重加速，SSD卸载降首token延迟。
DeepFEAv2：突破结构化网格限制的瞬态有限元分析深度学习
DeepFEAv2框架可跨网格拓扑与单元类型预测瞬态有限元仿真，精度接近传统FEA且推理快三个数量级。
在真实世界医疗数据上带引导的学习推迟决策
首次在真实医学影像数据上验证两阶段学习推迟，并提出带引导版本，性能超越经典方法及各类基线。
扩散模型中的双下降与恶性过拟合
扩散模型出现恶性过拟合：测试损失约在p~n时上升，偏差增大并记忆训练集；但适度正则化后大模型仍更优。
TimeInteract：迈向流式时间序列的实时交互智能
提出流式时间序列交互范式TimeInteract，支持边处理新观测边自主响应，构建StreamTSI-34K，性能领先、近零停滞且加速2.15倍。
FMMD：来自F1000Research的多模态多学科开放同行评审数据集
推出FMMD多模态多学科开放同行评审数据集，对齐稿件版本与评审意见，涵盖多学科，支持多模态自动评审研究。
EndoCogniAgent：面向内镜诊断的闭环智能体推理与自洽性验证
提出闭环智能体框架，以自洽性验证整合视觉文本证据，减少幻觉与错误累积，并构建内镜评测基准。
IndustrialVLA-Bench：面向开放机器人策略模型的可追溯多轴评估
提出可追溯多轴评测基准，统一对比六种VLA与WAM系统：清洁能力接近，鲁棒性与指令敏感性差异显著。
Re:CAP——生产环境 RAG 流水线中的检索覆盖度审计
Re:CAP以迭代探询审计生产RAG的检索覆盖度，可找回9-29%遗漏金标文档，结果稳定可复现。
儿童如何设计并推理可信赖的AI聊天机器人
8-18岁儿童设计119个聊天机器人；年幼者视可信为达成目的，年长者重透明校准，提炼七维设计。
基于块三角联合漂移的一步式生成代理模型
提出块三角联合漂移，对相邻状态联合分布建模，实现每步一次评估的一步式随机轨迹生成，兼顾精度与成本。
OMatG-flash：一种用于可扩展材料发现的、结合强化伴随匹配的全原子流映射
提出OMatG-flash全原子流映射，少一数量级推理步生成无机材料，性能媲美SOTA，经强化伴随匹配提升CSP。
能否从嵌入空间几何预测异常检测性能？
研究无异常数据预测异常检测性能，伪异常探针可改进无异常模型选择。
VeriSoftBench：面向Lean的仓库级形式化验证基准
提出VeriSoftBench基准，含500个Lean 4证明义务，源自开源形式化方法项目。评估发现数学风格证明器迁移效果差，成功与仓库依赖闭包强相关。
VLAQuantBench：视觉-语言-动作模型训练后量化的闭环评估
VLAQuantBench闭环评测VLA训练后量化，精度选择依赖层范围、格式与校准，给出具体配置。
LLM智能体长期记忆安全综述：记忆全生命周期中的攻击、防御与治理
本文提出记忆生命周期框架，从六个阶段与四类安全目标梳理LLM智能体长期记忆的攻击、防御与治理。
PICPIs：以预测区间为条件的预测区间
提出以预测区间为条件的预测区间：自洽使条件均值落在同区间，形成自适应分层，覆盖多数预测值，服务决策。
West-WRF AI 2公里：高分辨率积分水汽输送与降水预测
美国西部2公里AI模型可6小时预报降水与积分水汽输送，在局地极端降水和大气河强水汽输送中表现最佳。
大模型捉鬼敢死队：通过自适应遗忘实现外科手术式软件包幻觉抑制
自适应遗忘框架AU无需人工标注，可将代码生成中的软件包幻觉率降低88%，且不损通用编码能力。
傅里叶-贝塞尔小波札记
圆盘亥姆霍兹方程诺伊曼解构造傅里叶-贝塞尔谐波，经高斯包络与零均值修正，得径向近等距小波族及其频域闭式表示。
间接临界转变：AI智能体群体中的社会攻击面
间接临界转变可借中间平衡态降低对抗少数阈值、绕过多数要求，凸显AI智能体群体的社会攻击面。
递归模型何时完成计算
递归模型延长推理显著提升数独准确率；首次精确解后隐状态变化骤减，呈轨迹条件各向异性稳定，标志计算完成。
RGSQ：面向大型视觉语言模型的黎曼几何敏感量化
RGSQ以Fisher-黎曼度量统一建模量化误差，识别模态敏感方向并旋转对齐，极低比特下精度领先。
面向地月空间轨道相对运动的Transformer启发轨迹优化
提出双向推理ART-TWIN，从初末状态各生成轨迹弧并在中点拼接，为地月交会对接的序列凸规划热启动，加速收敛、提升可行性。
基于大语言模型的ASR中通过文本去噪实现纯文本自适应
将纯文本自适应视为文本去噪，训练LLM从噪声文本恢复干净转写，保持跨模态对齐，轻量且相对提升最高22.1%。
DolphinBench：绘制智能体记忆的帕累托前沿
提出DolphinBench：用任务完成度直接评估智能体记忆，同时要求报告成本与延迟。
3D场景交互理解中的几何与语义耦合
提出Segment-Snap，耦合部件与把手的几何及语义以理解3D交互，无需运动回归，显著提升运动与把手AP。
基于LGE-MRI的房颤多中心双心房分割：二维与三维框架
提出2D/3D双心房分割基准框架，多中心LGE-MRI显示腔体跨域迁移优于心房壁。
超越秩一更新的无谱间隙流式主成分分析：近最优速率及其在差分隐私中的应用
为无谱间隙流式PCA的Oja算法给出近最优分析，突破秩一更新，并应用于亚高斯数据的差分隐私PCA。
超越自然语言：面向自主科学的智能体原生语言
提出机器可检验语言Lara，将研究论证变为可执行构件，自动验证、跨论文连接并毫秒级复核主张状态。
Omni2Web：音视频网站开发基准测试
提出Omni2Web音视频网站开发双语基准，含918实例、13907步和三轨；评测17模型，意图恢复与代码执行远低于oracle。
SmoLSTM：一种具有持久循环记忆的紧凑型视觉-语言-动作模型
以循环状态记忆整段情景，冻结视觉语言骨干+矩阵记忆LSTM，0.04B参数记忆任务成功率77.5%。
MoSAT：基于空间音频与文本描述的人体动作生成
提出MoSAT，联合空间音频与文本描述生成人体动作，构建STAM数据集，性能达SOTA。
CONCAT：共识与置信度驱动的临时组队，用于高效的大语言模型多智能体系统
提出免训练框架CONCAT以共识聚类、置信度选领导、心智预测收益剪枝通信，高效组织LLM多智能体协作
将治疗作为自然语言处理任务：比较CBT会话中LLM与人类同伴的行为
比较CBT中LLM与人类同伴咨询师：人类善共情但结构弱，LLM守方法却互动差、易说教和虚假共情。
混合神经视频表示的分辨率灵活解码
提出分辨率灵活解码框架，统一2倍上采样对齐，结合中间监督与难度感知采样，提升混合神经视频表示重建质量。
基于遥感影像时间序列的巴西塞拉多火烧区制图多时相数据集
基于CBERS/AMAZONIA卫星WFI影像时间序列，构建2020–2022年巴西塞拉多火烧区多时相数据集，用随机森林分类并验证制图精度。