MedGPT Clinical Explorer：面向复杂肺癌开放性决策的可审计条件化策略框架
MedGPT Clinical Explorer（MCE）将肺癌的可选路径、决策关键未知项、安全约束与回退方案组织成可审核的条件化策略。在 98 家机构 250 名医生对 100 例病例库中 40 例建立参考、共产生 2,250 份策略的评估中，MCE 辅助策略的 APAS 得分较无辅助高 12.87（95% CI 11.18-14.55），较检索参考高 5.22。
更新
收录归档 · 第 7 页
arXiv cs.AIAI 评分4242 arXiv cs.AIAI 评分3232 让 AI 辅助声明可被独立质疑：PAC-2026 的 Publication Authority 与可证伪发布记录协议
arXiv 论文提出 Publication Authority 概念，作为 PAC-2026（Publication-Accountability Calculus，AIJIM Protocol 候选）中一次性的精确状态发布能力，其 SF-4 规范定义证据、运行与工件、测量披露、授权、表面一致性、生命周期连续性六项不可互相补偿的义务，只有全新的全通过记录才能派生原子发布许可。
arXiv cs.AIAI 评分2121 自适应纠缠神经元与自然智能模拟在 AGI 中的应用研究
论文提出广义概率波框架，为神经同步纠缠的 Liu-Chen-Ao（LCA）假说提供间接检验方法。分析中国 A 股日内交易数据后，自适应纠缠博弈模式可解释 82%-94% 的决策模式，2%-12% 的行为随新闻事件调整，真正独立行为不足 5%，与新古典金融的独立理性个体假设相悖。作者据此主张将人工神经网络与概率波脑模拟结合，构建类人处理单元（HPU），以实现更高效鲁棒的 AGI 与具身智能。
arXiv cs.AIAI 评分2525 异步传感器观测下的世界模型研究
一项 arXiv 论文研究世界模型在异步物理传感器观测下的预测问题，提出对最近读数做零阶保持，并用 staleness 与 time-to-refresh 两个特征向模型提供采样时刻表。
arXiv cs.AIAI 评分5858 arXiv 论文提出接口诱导的轨迹遮蔽：工具调用评测结果取决于模型与接口配置
arXiv 论文 2609.03966 研究接口诱导的轨迹遮蔽，指出模型输出可能包含调用形状的载荷但服务接口未计入调用。仅更换服务适配器使 BFCL v4 simple_python 官方打分从 0.00 升至 0.96、multi_turn_base 从 0.00 升至 0.19；模板与解析器需联合替换才能恢复 196/200 首请求解析。
arXiv cs.AIAI 评分3434 从原子能力到智能体：可解释评估 LLM 智能体数学能力的过程级基准
研究者提出一个过程级基准，通过将解题智能体行为映射到可复用的数学原子能力分类体系，评估 LLM 的智能体数学推理能力。该框架涵盖文本与多模态情境下的规划、行动、反馈任务，并由自动化流水线合成高质量轨迹与细粒度标注。实验显示端到端准确率相近的模型可能呈现差异显著的智能体能力画像。
arXiv cs.AIAI 评分4646 arXiv 论文：大语言模型对群体关联字段赋予了错误的权重
arXiv 论文提出一种“证据参照审计”方法，在已知字段权重的模拟患者排序任务中测试四个大语言模型。结果显示：预测值为零时模型仍依赖无信息字段，而同等数据的贝叶斯线性回归不会；字段有预测力时模型依赖度增长远低于参照；有序标签比任意标签引来更多依赖，且排序准确率变化与依赖度变化并不一致。作者据此认为，审计应对照明确的预测参照来报告依赖度。
arXiv cs.AIAI 评分5050 Toward Safe LLM Agents：LLM 智能体规格、验证与执行安全综述
Pierre Dantas 等人以 PRISMA 2020 流程综述 2022-2026 年 38 项 LLM 智能体安全研究，提出三级分类法和十条开放问题。
arXiv cs.AIAI 评分3939 CTBench：评估 AI 智能体在真实电信网络运维中的故障排查能力
研究者推出 CTBench 公开基准，评估 AI 智能体在电信网络运维中的根因分析（RCA）与路径恢复能力，基准由领域专家构建，包含丰富元数据和黄金证据轨迹，指标同时衡量最终准确率与诊断推理。对最先进智能体的评估显示，它们擅长路径端点识别，但在 RCA 上严重不足，即使答对也常未能收集运维实践所需的诊断证据；研究还表明增加计算开销并不能保证诊断能力提升。
arXiv cs.AIAI 评分3737 DeepLook：基于前瞻置信度的不确定性引导分支实现高效推理
论文提出 DeepLook，一种无需训练的解码框架，通过监测分段级置信度，仅在不确定性瓶颈处分支，并以平均前瞻置信度（ALC）对候选延续排序，从而节省推理算力。
arXiv cs.AIAI 评分4444 DFAH-Bench：一致性无法衡量金融智能体的可靠性
DFAH-Bench 通过重放实验、省略工具调用的对照测试和带授权检查的银行任务，考察金融智能体决策一致性背后的执行差异。在 570 个合格重放片段中，决策一致率为 94-95%，而含输入与结果的工具路径一致率仅 45-52%；1,080 个 τ-Knowledge 银行研究片段中有 1,033 个已知结果，缺失结果使计划的确证性检验无法进行，银行任务对比仅具描述性。
arXiv cs.AIAI 评分3535 超越准确率：衡量预测模型逻辑合规性的 Rule Violation Score
研究者提出 Rule Violation Score（RVS）这一新评估指标，量化预测模型对给定逻辑规则的遵守程度，且独立于预测准确率。RVS 区分硬规则与软规则，可用自动生成的 SQL 查询对任何关系型词汇上的模型计算，还能评估训练数据集的逻辑一致性、识别定义不良的规则。
arXiv cs.AIAI 评分2929 TNODEV：首个神经 ODE 形式化验证工具箱
研究者提出 TNODEV，首个面向神经 ODE 的形式化验证器，将 falsification 检查、基于连续时间混合单调性的区间可达性后端、含三种输入集切分启发式的验证-细化循环及并行调度器集成到端到端流程中。
arXiv cs.AIAI 评分5353 研究：合成理由微调反而损害五年 ADRD 预测性能
该论文在五年阿尔茨海默病及相关失智症（ADRD）预测任务上检验合成理由监督的假设，发现 Rationale First SFT 在 504 组大规模对照实验中持续显著劣于 Label Only 微调，且跨模型家族和数据规模均存在。
arXiv cs.AIAI 评分4949 Lean4Agent：用 Lean4 对 Agent 工作流与轨迹进行形式化建模与验证
研究者提出 Lean4Agent，这是首个用依赖类型形式语言 Lean4 对智能体工作流和执行轨迹进行形式化建模与验证的框架，包含可扩展的 FormalAgentLib 库和工作流自动修正模块 LeanEvolve。
arXiv cs.AIAI 评分4242 前沿 AI 训练零知识验证的方案与挑战
一篇 arXiv 论文提出用零知识证明验证前沿 AI 训练的方法，认为其在前沿规模上的不可行只是当前范式的限制。方案结合预承诺规范、节点间网络观测和中间计算的 Merkle 承诺，参考 zkVM 提供带原生 BF16/FP32 预编译的简洁证明层，并给出采样检测概率公式。论文还指出权重走私风险，认为全局训练预算机制比单次 FLOP 上限更稳健。
arXiv cs.AIAI 评分2828 WindINR：面向复杂地形快速局地风查询与校正的隐状态隐式神经表示
研究者提出 WindINR，一种隐状态隐式神经表示框架，可在复杂地形下基于稀疏观测进行连续高分辨率局地风查询与校正。模型在 FuXi-CFD 数据集上训练，并通过观测系统模拟实验、模拟直升机轨迹和 Tromsø 上空的真实无人机测量评估，表现优于 WindSeer 等基线。相比全网络微调，仅更新低维隐状态可带来 14 倍加速，网络权重在推理时保持固定。
arXiv cs.AIAI 评分3838 基于 anytime-valid 保证的 AI 系统自适应审计方法
研究者提出一种基于 Safe Anytime-Valid Inference（SAVI）的生成式 AI 系统自适应审计假设检验框架，从模型零假设与审计者零假设两个"对决"视角建模，将审计形式化为"以打赌做检验"。
arXiv cs.AIAI 评分5050 FactReview：基于证据与代码执行的论文声明验证式同行评审框架
研究者推出 FactReview 框架，通过文献核查、推导检验和执行论文代码来验证论文声明，提供可信的同行评审反馈。在 300 篇论文评测中，FactReview 在 7 项指标中的 5 项排名第一，错误支持率 6.8%，分类准确率 79.2%。在 36 篇论文的用户研究中，使用它的审稿人每篇检出 9.4 个问题（独立审稿为 5.6 个），耗时减少 74.1%，代码已公开。
arXiv cs.AIAI 评分2929 基于稀疏注意力机制的 Li-Net 多通道时间序列高效精准预测方法
一项被 ICDE 2026 接收的研究提出 Linear-Network（Li-Net）架构，用于多通道时间序列预测，可捕获通道间的线性与非线性依赖。该架构在多尺度投影框架中引入稀疏 Top-K Softmax 注意力机制，并可融合多模态嵌入以引导注意力聚焦关键时间步与特征通道。在多个真实基准数据集上，Li-Net 取得与 SOTA 基线相当的精度，同时内存占用更低、推理更快。