HiddenLens：用于检测与解决软件需求中隐藏假设的多层 LLM 框架
HiddenLens 是一个六层 BERT-LLM 流水线，可检测、分类、质疑并解决软件需求中看似清晰实则隐含的假设。配套的 HiddenLens Corpus 含 312 条需求、847 个隐藏假设标注，覆盖六类非功能需求。该框架端到端 F1 为 0.79，较 keyword 和 QuARS-Adapted 基线分别提升 71% 和 61%，其 BERT NFR 分类器 F1 达 0.847。
#arXiv
新闻、仓库与研究，按时间排列。
arXiv · cs.AIAI 评分1818 arXiv · cs.AIAI 评分3434 每个告警都有因：绑定 NORIA-O、RFC 8632 与 TMF642 的电信告警风暴开放生成器
研究者发布一个电信告警风暴开放生成器（Apache-2.0），基于 Internet Topology Zoo 真实骨干拓扑，为每条告警记录确切根因与传播路径，所有字段绑定 NORIA-O、RFC 8632、RFC 8345 或 TMF642 术语，并附固定配置、划分、评分器和九个基线。「对最早 critical 告警设备排序」的单行规则 top-1 达 0.650，胜过时间方法 0.575 及 LLM 的 0.600（可查询图时 0.625），在真实运营商告警上也以 0.773 领先；但站点断电时 PoP 无告警，排序类方法得分 0.000，遍历拓扑的方法可达 1.000 和 0.833。
arXiv · cs.AIAI 评分4242 用稀疏自编码器构建可审计的 AI 文本检测器
研究者提出一条管线，将微调神经检测器转化为基于人类可读概念的分类器：在检测器残差流上训练稀疏自编码器（SAE），为每个特征自动标注解释，只保留通过全局保真阈值的特征，再用其训练轻量分类器。实验显示这些特征对应 AI 生成文本高度具体的语言“破绽”，所构建分类器不仅高度可解释，在分布外文本上性能优于神经分类器和文体学方法。该工作已被 EMNLP 2026 接收。
arXiv · cs.AIAI 评分4646 Agent Behavior Maps：无需运行 Agent 即可依其行为定位 LLM 智能体
论文提出 Agent Behavior Maps，通过在共享参考轨迹上计算居中的动作对数似然来表示 LLM-harness 组合，无需为目标 agent 运行新的环境 rollout。在 100 个 LLM 和四个环境上，基于 ALFWorld 的坐标可支持性能预测并识别行为相似性，且在控制成功率和模型规模后这些相似性仍跨模型家族存在。推导的误差 bounds 将坐标距离与轨迹 KL 相关联，八个交叉评分模型的距离排序与实测轨迹 KL 一致；harness 组件位移近似可组合。
arXiv · cs.AIAI 评分3838 Code Comprehensor：面向大型代码库的分层文档与跨模态检索框架
Code Comprehensor 是一个混合检索-推理框架，结合代码依赖调用图、基于代码感知 LLM 生成分层文档的 CodeScribe，以及 CLIP 风格双编码器 CodeContrast，实现文本-代码对齐检索，并经 MCP 编排器回答领域查询。在 OpenCV 和一个 500 万行代码的私有仓库上，CodeScribe 衍生监督显著提升 text-to-code 检索准确率；RAGAS 评测显示输出 faithfulness 超过 90%。该论文已被第 42 届国际软件维护与进化会议（ICSM）接收。
arXiv · cs.AIAI 评分3636 GuideEvolve：融合专家引导与 3Ts 机制的自进化智能体框架
GuideEvolve 是一个结合专家引导与 3Ts 机制（Think Fast and Slow、Throwback、Termination by choice）的自进化智能体框架。在 MGSM 上达到 89.8% 准确率（Gödel Agent 为 90.6%），MMLU 上 89.1%（对手 87.9%），方差降低 25-59%。其进化成功率达 100%（基线 82%），优化迭代次数从 30 次降至约 15 次。
arXiv · cs.AIAI 评分2121 平稳性约束同时改进机器学习交换关联泛函的能量与密度
一项 arXiv 研究表明，训练后的交换关联泛函在精确密度的 Kohn-Sham 轨道上的 Brillouin 残差，一阶控制自洽密度偏移及拟合能量与自洽能量之间的差值，且惩罚该项无需训练中求解自洽场。仅用 6 个能量和 11 个 CCSD 密度训练的神经 meta-GGA 泛函，在未见分子的原子化能量和密度上均超过 SCAN。
arXiv · cs.AI精选AI 评分5454 arXiv 论文揭示企业文档摄取中格式线索的静默丢失
arXiv 论文（arXiv:2610.30026）指出，主流文档转换器会丢失作者通过排版编码的含义，导致企业 Agent 自信地答错而非明显不完整。基于 76 份真实政策文档的任务上，格式盲摄取使 micro F1 从 0.690 跌至 0.150（docling）和 0.075（纯文本），差距在两个厂商的六个回答模型上复现；span 级 leave-one-out 将损失定位到高亮（+0.302）和颜色（+0.262），6,460 份文档中 32.8% 带有刻意颜色或高亮。结论是可靠性取决于摄取而非推理，修复方式廉价且可测量。
推荐理由：研究用 76 份真实政策文档量化文档摄取层丢失格式线索的程度，并给出低成本可测的修复方向，对 Agent 构建者有直接参考价值。
arXiv · cs.AIAI 评分4343 基于 Behavioral Localization 的工具使用 Agent 软技能稳健适配方法
一项 arXiv 研究提出 Behavioral Localization 方法，通过对比冻结 Agent 有无文本技能时的行为差异，定位对技能效果贡献最大的轨迹位置，再用这些位置监督训练短软提示。在 SpreadsheetBench 上用冻结的 Qwen3.6-35B-A3B 实验显示，轨迹中前 10% 的位置捕获 96.12% 的正向技能增益；共享提示设置下成功率从全轨迹监督的 30.36% 提升至 36.79%，任务特定设置下达到 57.38%，超过完整文本技能和 OPCD 基线。
arXiv · cs.AIAI 评分4848 HGM-Dual：面向长程规划的谱系感知智能体 Harness 优化方法
论文提出 HGM-Dual，一个面向规划智能体的诊断引导式 harness 进化框架，将智能体进化表示为谱系感知上下文，并采用错误条件下的双路径子代生成。该方法在 case accuracy 上较最强基线最高提升 14.45%，并以 2x-4x 更少的评估预算达到 HGM 变体的最终性能。
arXiv · cs.AIAI 评分4444 SP-HLM：稀疏位姿驱动的人形机器人移动操作运动生成与全身控制框架
研究者提出 SP-HLM 框架，用稀疏位姿接口连接高层任务策略与人形机器人全身控制。其中 SP-VLA 模型基于多模态观测和语言指令异步推理预测任务关键稀疏位姿与手指关节位置，SP-MGM 经两阶段蒸馏实时重建全身协调运动，SP-GMT 融合显式目标与隐式运动先验完成全身控制。仿真和真机实验显示其在运动跟踪、全身协调与移动操作成功率上优于现有方法。
arXiv · cs.AIAI 评分3535 哪些差异真正重要？决策模型中规则迁移、联合可靠性与信息使用的受控测试
一项 arXiv 研究（arXiv:2610.30045）通过可执行的算术规则与受控输入变化，将决策模型的表现拆分为规则迁移、联合可靠性和定向信息使用三个可分别测量的维度。实验显示适应增益随最近源答案一致度增加，完全冲突的四元组池化增益很小且在不同源划分下增益符号不同；等价改写在任务层面产生相反效果。测试的决策服务对等价措辞的回答变化大于相同文本重复，且通常遵循被改动表格数值或映射所隐含的答案目标。
arXiv · cs.AIAI 评分4242 SWE-DIVE：基于动态用户模拟的多轮编码智能体评测框架
研究者推出 SWE-DIVE，一个用于多轮环境评测编码智能体的动态交互式验证框架，弥补 SWE-bench 等基准只使用一次性、结构化 GitHub issue 输入的不足。框架包含可模拟不同行为模式的用户模拟器和评估其输出是否符合初始需求的对话验证器，整体嵌入 Harbor 环境，负责编排智能体、用户模拟器与验证器并执行测试环境。结果与源代码已在 GitHub 仓库公开。
arXiv · cs.AIAI 评分5151 arXiv 论文在 LIBERO-10 上评测六个前沿 AI 模型的机器人操作能力
May Espinola 与 Qifan Zhang 在 arXiv:2610.30051 提出统一闭环评测框架，在不做任务微调的情况下测试六个前沿模型对 LIBERO-10 机器人操作任务的能力，共 18 种配置、1800 次评估。GPT-6 Astra 以 44% 成功率居首，Gemini-4 Argon 为 43%；提高推理程度普遍有助表现但增加推理成本，模型在物体放置任务上较好，在精确空间排布和复杂多步交互上较弱。
arXiv · cs.AIAI 评分4646 图表作为认知动作：面向经验驱动的智能体数据分析
一项 arXiv 预印本研究提出将图表作为数据智能体推理循环中的内部认知动作。团队构建了包含 200 个受控任务的 \probe{} 测试集，发现智能体能从自生成图表获得与数值输出同等的得分，但并不会稳定地主动使用图表。其提出的 \method{} 方法从轨迹 rollout 中蒸馏两类经验并经验证门筛选，在三个 held-out 基准、四个 LLM 骨干上提升分析准确率与视觉证据质量，且不改动模型参数。
arXiv · cs.AIAI 评分3838 并行 AI 智能体协作作为图结构分布式块优化问题
一项 arXiv 研究将并行 AI 智能体的协作建模为具有可精确求值目标的离散块优化问题，证明最优分数染色可保留 1/χ_f(G) 比例的已验证局部改进，并给出智能体分配的线性规划与时间成本权衡。代码修复实验显示验证式合并可解决单个有效编辑组合后互相冲突的问题；在路线搜索智能体实验中，分数调度将实测墙钟时间中位数降低 15%。
arXiv · cs.AIAI 评分4343 AtomicRL：面向长时序机器人操作的原子化强化学习框架
AtomicRL 是一个面向 VLA 模型的 RL 后训练框架，通过原子任务结构实现可靠的 credit assignment 与自适应探索。其引入 Semantic-Aware Policy Optimization（SAPO）和 Bottleneck-Adaptive Target Exploration（BATE），并配套 Real2Sim2Real 流水线。在 LIBERO-LONG 上较 PPO 提升 3.6% 和 4.0%，CALVIN ABC-D 上最高提升 9.5%，真实任务平均提升 21.3%。
arXiv · cs.AIAI 评分1919 基于偏好反馈的差分隐私稀疏奖励估计理论研究
一项 arXiv 研究提出 Private Sparse RLHF 框架，在假设奖励模型仅由 s* ≪ d 个相关特征决定的前提下，首次给出基于 Bradley-Terry-Luce 模型的差分隐私稀疏奖励估计完整理论。该工作针对 Sample-DP 与 Label-DP 两种设置给出高效算法，Sample-DP 误差上界为 Õ(s*/n + s*²/n²ε²) 且几乎最优，实验显示在情感生成与安全对齐基准上隐私-效用权衡优于稠密基线。
arXiv · cs.AIAI 评分1515 BatchBench：基于 JUMP Cell Painting 的生物医学图像批效应与域偏移鲁棒性基准
研究者推出 BatchBench，一个评估 AI 系统在生物医学图像上对未见实验批次和数据来源的鲁棒性排行榜。它基于最大的公开生物医学成像数据集之一 JUMP-CP 构建，该数据集由 Cell Painting 实验生成，存在明显的批效应和域偏移。摘要指出，尽管域自适应方法已有进展，域偏移下的性能差距仍然显著。
arXiv · cs.AIAI 评分4343 ASTEROID：非对称在线策略蒸馏学会上下文内探索
研究者提出 ASTEROID，一种学生—教师监督学习框架，通过在学生在线策略采集的历史上下文上蒸馏特权专家动作，让部分可观测下的学生学会测试时探索。在 11 个环境（离散探索基准、机械臂操作、导航、Procgen 等）中，ASTEROID 在固定探索预算下回报约提高 2x，交互次数比 RL 基线少约 100x，并在视觉受限的真实机器人操作上比标准蒸馏成功率提升 +40%。
arXiv · cs.AIAI 评分3434 多模态具身智能体综述：从 computer-use 到 robot-use 的统一能力视角 PAPAV
一篇 arXiv 论文提出多模态具身智能体（MMEAs）概念及统一能力框架 PAPAV，涵盖感知、预判、规划、执行、验证五项能力，用于对比多模态智能体与机器人系统从 computer-use 到 robot-use 的差异。分析 64 个 benchmark 发现，显式评估集中在 Act，仅 5 个评估 Anticipate、3 个评估 Verify；文中还梳理了从部分可观测到结果不可验证等五项物理约束带来的开放挑战。
arXiv · cs.AIAI 评分4848 Quant-Arena：面向量化交易研究的 LLM Agent 基准测试
Quant-Arena 是一个基于真实 A 股数据的端到端量化研究基准与公开排行榜。模型构建特征和股票打分代码，仅在 2022-2023 数据上获得反馈，并将策略冻结后在密封的 2024 年数据上评估，计分以实际超额收益为主，辅以信号质量与特征多样性，评估器还纳入交易约束、成本及基于模拟订单簿估算的市场冲击。在九个前沿模型中 GPT-6 Astra 得分最高，但没有模型在 2024 年跑赢等权市场；该基准开放任何模型或 agent 框架提交。
arXiv · cs.AI精选AI 评分7070 AI 辅助发现新共识协议 A-greement，并构建 Lean 验证的智能体框架 AI-greement
研究者借助 AI 智能体框架 AI-greement 发现了面向地理分布式状态机的新共识协议 A-greement。在 5 或 9 副本的六种部署中，该协议在写密集和读密集负载下分别将地理分布式键值存储的平均延迟较最快基线降低 12.2% 和 33.3%，只读负载下持平。AI-greement 集成协议知识库、模块化实现骨架和基于 Lean 的验证框架，其形式化还发现了既有共识协议中多个此前未报告的漏洞；作者强调人类专家在搜索前后仍不可或缺。
推荐理由：原文给出 AI 智能体在 Lean 验证框架下发现新共识协议的完整方法与延迟数据，还附对既有协议漏洞的发现。
arXiv · cs.AIAI 评分4343 Environment Duels：一个 LLM 共同进化的微观世界
研究者提出动态智能体基准 Environment Duels，评估九个前沿 LLM 作为环境创建者与解题者的双重能力，发现解题与环境创作是两种不同的技能：最强解题者并非最强创作者，而较小的模型能写出最难的环境和最有用的提示词。在 Qwen3.8-27B 的强化学习研究中，模型在他人环境上的提示词提升能预测这些环境训练对 held-out 推理与智能体基准的改进。代码已开源。
arXiv · cs.AIAI 评分4444 PhysiCalWorld：面向世界模型的上下文物理校准方法
PhysiCalWorld 提出一种上下文提示的物理校准方法，将测试场景中的探索性交互片段编码为紧凑的物理描述符 token，使动作条件世界模型校准到实例特定的动力学，无需微调或解析物理建模。该方法仅用潜在预测损失端到端训练、无需物理标签，描述符在推理时提取一次即可跨 rollout 复用且计算开销可忽略。在覆盖多样物理变化的四个环境中，它显著提升了 rollout 预测精度和视觉规划成功率。
arXiv · cs.AIAI 评分2929 LoopRec：面向序列推荐的条目级自适应递归方法
研究提出 LoopRec，通过单一权重共享模块的递归和每个条目独立的轻量级门控，将序列推荐中固定计算深度改为按条目自适应分配。诊断发现同一序列内各条目所需计算量差异巨大，多数浅层处理即可收敛，少数需全深度。在公开 benchmark 上跨四种 backbone 架构的实验显示 LoopRec 持续优于同等计算量的固定深度方案，代码已开源。
arXiv · cs.AIAI 评分3535 CrashGym：用反事实市场崩溃衡量 LLM 智能体实验的决策价值
arXiv 论文提出 CrashGym，一个可重放的限价订单簿模拟器，让 LLM 智能体在冲击触发崩溃前于实验室市场查询干预实验，再在去杠杆干预与流动性 backstop 之间做选择，并以 regret 衡量实验价值。在 24 个新采样世界的前瞻性研究中，实验室访问将 Luna 部署的平均 regret 从 8.878 降至 3.785，配对减少 5.092 效用单位，降幅 57.4%。整个评分通过直接模拟所有可行干预完成，无需人工或模型评审。
arXiv · cs.AIAI 评分4949 MOSAIC：面向对话智能体长期记忆与跨模态推理的全模态基准
研究者推出 MOSAIC 基准，包含 923 个问题，覆盖 11-24 个会话的文本、图像、视频、音频人格化历史。该基准通过冻结问题、读取器、提示词与预算，对表示、检索、传递环节进行干预诊断，发现表示损失依赖模态、即使有金标准证据读取仍是主要瓶颈，且拒答能力弱。MOSAIC 将全模态记忆评测从排行榜转变为对写入、检索、传递、读取各环节失败的诊断。
arXiv · cs.AIAI 评分3838 HMDLM：层级掩码扩散语言模型
研究者提出层级掩码扩散语言模型（HMDLM），为每个 token 位置引入层级标注，通过两阶段生成让高优先级位置优先揭示，同时保持完全并行解码，无需额外标注。在 LM1B 上困惑度比 ADLM 降低超过 1.5 点，WikiHow 上最高降低 4.4 点（对 ADLM）、7 点（对 MDLM），LLM judge 偏好其生成结果超过基线 2 倍；Sudoku 多步推理任务上准确率最高提升 8.6% 绝对点。
arXiv · cs.AIAI 评分66 CRAB：基于长方体表示的点云竣工 BIM 重建框架
CRAB 是一个 BIM-ready 长方体重建框架，已入选 SIGGRAPH Asia 2026，可将点云中的墙、门、窗、梁、柱编码为 IFC 兼容语义与参数的紧凑建筑长方体。其由 ProposalNet 预测粗略构件长方体、AssemblyNet（关系感知 Flow Matching 模型）精化几何并预测结构关系，支持自动结构校正与人工引导编辑，并扩展 Structured3D 构建长方体级标注数据。实验显示其在构件完整性、几何精度与泛化上超越平面图和平面方法，内墙厚度估计平均误差 2.80 cm，79.50% 匹配墙体误差在 3 cm 内。
arXiv · cs.AIAI 评分5151 arXiv 论文提出 ARCANA 远类比推理基准与 ConceptSIR 框架
研究者在 arXiv 发布类比推理基准 ARCANA，任务要求把真实世界对象或物理现象映射到抽象网格变换，与侧重人类先验的 ARC-AGI 不同。人类实验显示人类能可靠解题，而多个 LLM 表现存在明显差距；作者提出的 ConceptSIR 框架基于概念滑移、内省与反思，帮助标准 LLM 解出直接提示未能解出的部分任务。基准、代码与数据已公开。
arXiv · cs.AIAI 评分3737 Flat-RLVR：基于锐度感知的可验证奖励强化学习，提升 LLM 推理能力
研究者提出 Flat-RLVR，在 LLM 后训练中通过锐度感知最小化寻找平坦奖励区域，并结合 GRPO 变体进行可验证奖励强化学习（RLVR）。该方法在理论上将平坦奖励最优与缓解分布锐化（distribution sharpening）联系起来，经验上提升了样本多样性，同时保持单次尝试准确率，在采样效率与推理容量之间取得更好权衡。
arXiv · cs.AIAI 评分2121 潜在空间配置（LSC）方法加速神经网络嵌入检索并降维
一项 arXiv 研究提出针对神经网络结构化潜在空间（LS）的检索算法，借助 O(1) 复杂度的候选子集搜索加速 top K 检索。作者用 Latent Space Configuration（LSC）方法微调 ArcFace 预训练的 IResNet50 模型，相比基线穷举搜索，GPU 上最高提速 3 倍、CPU 上提速 40%；且 LS 降维可进一步加速搜索，甚至改善 rank-N 指标。
arXiv · cs.AIAI 评分2929 何时接近纳什均衡：一般和博弈中的解证明方法
这篇 arXiv 论文提出一种在线证书方法，利用求解器已有的 regret 累加器和终局分布累加器来认证一般和扩展式博弈中加权平均策略的 NashGap，每个检查点成本与终局历史数线性相关，且在交替更新和三人及以上博弈中保持可靠。在 biased Leduc 基准上，16 个免训练 regret-matching 求解器的组合协议在阈值 10⁻⁵ 下解决 64 个实例中的 89%，预注册保留集和第三组各 64 个实例上分别解决 92% 和 89%；零最佳响应证书对样本内、新样本各 57 个全部认证成功。代码已开源。
arXiv · cs.AIAI 评分4343 SpatialBrain：从经验中生长空间智能
arXiv 论文提出 SpatialBrain，一个在视觉语言主干保持固定的前提下积累空间推理经验的框架。其 3DFusionMemory 将当前场景观测融合为可查询的空间关系，Spatial Skill Library 提供可复用工具流程，Spatial Cognition 关联任务条件与经验；完成的轨迹被抽象为过程记录并在任务块之间整合。在五个空间推理 benchmark 上，SpatialBrain 在四个上优于同主干的直接回答，在第五个上持平。
arXiv · cs.AIAI 评分2121 OpenMAP-HIE：面向新生儿缺氧缺血性脑病无监督病灶分割的病理引导 score-based 扩散模型
Johns Hopkins 团队提出 OpenMAP-HIE，一种病理引导的 score-based 扩散模型，无需体素级标注即可在 ADC 图像上无监督定位新生儿缺氧缺血性脑病（HIE）病灶。方法用扩散模型学习健康新生儿 ADC 分布，并以 ControlNet 条件分支保留患者解剖结构，在 BONBID-HIE 数据集上取得 Dice 0.283±0.244，加入群体 ADC Z-map 精化后 Dice 提升至 0.602±0.269。
arXiv · cs.AIAI 评分4343 AgentMonopoly：LLM 智能体的行为模式与人设控制研究
arXiv 论文提出 AgentMonopoly 环境，让 LLM 智能体在大富翁式游戏中沟通、买卖地产并做出影响后续回合的决策。研究对比四个模型家族各两种规模的模型，发现各模型在交易、免租金、现金与资产管理频率上存在差异，更大模型并不必然赢得更多对局。为人设指令虽能改变智能体的用词和部分行动，但不总能在所有决策中匹配角色，因此人设遵循应通过行动与结果而非语言来评估。
arXiv · cs.AIAI 评分3535 从提示词到后验分布：LLM 智能体能否在上下文中进行贝叶斯推理？
一项 arXiv 研究系统评估了 LLM 在上下文中进行贝叶斯更新的能力，涵盖内部一致性与恢复外部后验两方面。结果发现 LLM 更新信念时普遍违反贝叶斯规则，但配备推理能力与代码执行后表现大幅提升，甚至能近似解析上难以求解的后验。研究表明现有 LLM 加合适工具已可用于科学发现中的复杂信念更新。
arXiv · cs.AIAI 评分1111 基于分割掩码的 BI-RADS 依据生成方法：为乳腺 MRI 分割提供可解释报告
研究者提出从乳腺 DCE-MRI 分割掩码及增强序列中导出临床描述符的方法，基于 BI-RADS 指南构建含 8 个定量影像组学测量的决策树，再用大语言模型生成自然语言依据。该框架应用于 MAMA-MIA 数据集 1,506 例，生成 3,012 条 BI-RADS 依据，faithfulness 达 99.98%，counterfactual accuracy 为 99.3%；专家与自动掩码的描述符一致性随掩码质量从 Good 降至 Missed 由 0.832 降至 0.549。生成的依据仅供放射科医生审阅签署，而非自主临床报告。
arXiv · cs.AIAI 评分3131 PLRM：可并行化的概率潜在推理框架，用于多样推理轨迹
研究者提出概率潜在推理模型 PLRM，一种可并行的变分框架，将推理移入紧凑连续潜在空间以表达多条有效推理路径。PLRM 采用 JEPA 式目标，后验从观测轨迹并行推断潜在分布，并引入离散策略变量与混合先验以保留多轨迹的高斯混合结构。实验显示其在单轨迹数据集上与确定性潜在推理模型性能相当，在多轨迹数据集上持续超越随机基线。