HTN规划里两种方法前置条件语义不再二选一：新编译把SHOP式检查压进偏序规划，只加两个事实
分层任务网络（HTN）规划中，方法前置条件在SHOP系列与HDDL两种语义下含义不同：前者要求前置条件在方法第一个动作执行前立即成立，后者只要求它在某个更早状态成立，偏序下两者可给出不同解。新工作把SHOP式“首动作”语义精确编译成不含方法前置条件的标准偏序HTN问题，只增加两个事实，并给出解之间的一一对应与机器检验的语言保持证明。
单细胞数据里被丢掉的RNA末端信息：scPolyA把多聚腺苷化位点变成可比较的细胞与组织测量
常规单细胞与空间转录组的3′端测序本为计数基因表达而做，其中少量带多聚腺苷酸尾的读段其实标出了RNA末端位置。scPolyA把这类读段用于从头发现多聚腺苷化位点，再用总读段覆盖度划定计数区间，输出逐细胞或逐空间位点的末端使用率、3′UTR长度与内含子多聚腺苷化指标。在八个单细胞数据集上，其位点与PolyA_DB 3参考图谱的中位一致率为63.3%，高于polyApipe、scAPAtrap、Sierra和SCAPE，与采用DeepPASS序列过滤的SCAPTURE相近。
蒸馏不再只认更强的老师：任务训练出的策略差能跨模型传，规模差几乎传不动
同一条策略差能否迁移取决于目标模型：Qwen3 目标增益为正，Qwen2.5 目标在 Qwen3 参考下几乎为零，换成 Qwen2.5-3B 参考后转为正增益。
技能包跨会话留痕成攻击通道：七款模型最高77.4%中招，运行时守卫把成功率压到10.9%
智能体技能包在执行中会留下文件、配置和缓存等持久化产物，后续会话的其他技能会读取并复用它们，这条跨会话通道被用来传递恶意影响。研究刻画了指令传播、数据边界越界和证据投毒三种机制，并构建含270个对抗用例的SkillRelayBench，在Codex CLI、Gemini CLI和Claude Code上评测七款模型，攻击成功率46.7%至77.4%，完整攻击链成功率35.6%至61.1%。运行时防御SkillRelayGuard在读取产物时恢复来源上下文、在执行前给出独立审查建议，把总体攻击成功率从69.5%降到10.9%，同时把合法任务完成率从79.6%提高到87.5%。
G2MLP 用 Ollivier–Ricci 曲率分层蒸馏监督，在六个节点分类基准上全部取得最佳无图学生精度，Citeseer 提升 4.02 个百分点
作者提出 G2MLP：一种训练期 GNN 到 MLP 蒸馏框架，用 Ollivier–Ricci 曲率把监督分配到预测层与表示层，以纠正稀疏图上的谱欠拟合与稠密图上的谱过拟合；在六个节点分类基准上，无图 MLP 学生均取得最佳精度，并在 Graph Transformer 教师与链接预测上无需改动架构即可迁移。
DRIVE 将成功轨迹多样性变为 RL 目标，在仿真与真机上提升 VLA 分布外泛化
作者分析了视觉-语言-动作（VLA）策略的强化学习微调（RFT）如何重塑探索行为，发现 RFT 在整体行为分布收缩的同时使成功轨迹更加多样、更易被采样、覆盖更广的任务有效解空间；据此提出 DRIVE，将匹配任务条件下分组轨迹的时序对齐相似度转化为仅对成功轨迹生效的内在奖励，在 LIBERO-Plus、ManiSkill3、RoboTwin 2.0 上提升分布外成功率，并在双臂 AgileX PiPER-X 平台上将平均分布外成功率从 64.1% 提升到 73.3%。
已读完全部报道