论文

该工作提出 TAMP-Nav，一个用于高效具身导航的统一框架，可在关键节点动态触发 Chain-of-Thought 并仅在关键节点保留高保真记忆，将冗余轨迹压缩为轻量级时空指示器，从而保留关键历史信息并增强时空感知。This work proposes TAMP-Nav, a unified framework for efficient embodied navigation that dynamically triggers Chain-of-Thought and retains high-fidelity memory only at critical nodes, compressing redundant trajectories into lightweight Space-Time Indicators, thereby preserving critical historical information and enhancing spatio-temporal perception.

Agent Lightning v1.0 是一个轻量级的可控 Agentic RL 框架，约 3500 行代码实现，支持任意 Agent harness，并作为研究 retokenization、样本合并、优势计算、损失归一化与后端调度等挑战的实用测试平台。Agent Lightning v1.0 is presented, a lightweight framework for harnessed agentic RL implemented in approximately 3,500 lines of code that supports arbitrary agent harnesses and serves as a practical testbed for studying challenges in retokenization, sample merging, advantage calculation, loss normalization, and backend scheduling.

本文提出TSseek，一个面向分布式时间序列数据集的正则表达式驱动搜索框架，并论证传统近似技术及其索引结构因无法作用于正则表达式查询构造而不适用于此类查询。This work proposes TSseek, a regular-expression-powered search framework for distributed time series datasets, and shows that conventional approximation techniques and their index structures are ill-suited for such queries because they cannot operate on regular-expression query constructs.

HarnessRisk 是一个面向生命周期的 benchmark，将 agent harness 安全组织为六个运行阶段，包括 Harness Configuration、Capability Extension、Runtime Operation、State Persistence、Action Control 和 Incident Recovery，发现显式的风险识别并不能可靠地带来安全的行动——某些配置在超过 90% 的运行中检测到风险，同时仍保留显著的攻击成功率。HarnessRisk, a lifecycle oriented benchmark that organizes agent harness safety into six operational phases including Harness Configuration, Capability Extension, Runtime Operation, State Persistence, Action Control, and Incident Recovery, finds that explicit risk recognition does not reliably lead to safe action as some configurations detect risks in more than 90% of runs while retaining substantial attack success.

本文提出 MathForm，一个通过 Mathlib 知识检索与验证引导的迭代优化来构建已验证训练数据的自动形式化框架，性能优于多个专用的 32B 自动形式化模型。MathForm is introduced, an autoformalization framework for constructing verified training data through Mathlib knowledge retrieval and verification-guided iterative refinement, and outperforming multiple specialized 32B autoformalizers.

本文提出 personalized auto-research 问题，将研究流程的每个阶段都以个体研究者的表征为条件，并提出了一个通用且灵活的框架，将基于图的研究者上下文贯穿于检索、假设搜索、实验、写作与评审之中。This work introduces the problem of personalized auto-research, which conditions every stage of the research process on a representation of the individual researcher, and proposes a general and flexible framework that threads a graph-grounded researcher context through retrieval, hypothesis search, experimentation, writing, and review.

读者特定的效用确实存在，但偏好并非干预：稳定的排序相似性不能授权帮助/伤害决策的迁移，稳定的序数相似性也无法预测跨读者的干预迁移。Reader-specific utility exists, but preference is not intervention: stable ranking similarity does not license transfer of help/harm decisions, and stable ordinal similarity fails to predict cross-reader intervention transfer.

提出 CoAL-RAG，一种复杂度感知的法律检索增强生成方法，通过构建基于"问题本质"与"检索一致性"的多维评估机制，实现检索策略的自适应路由。CoAL-RAG is proposed, a complexity-aware legal retrieval-augmented generation method, which constructs a multi-dimensional evaluation mechanism based on ``question essence'' and ``retrieval consistency'' to enable adaptive routing of retrieval strategies.

提出 EditBridge，一个用于高效超高分辨率编辑的扩散桥框架，可在最高 4K 分辨率下实现高保真编辑与卓越感知质量，在 2K 分辨率下带来 3.6–8.4 倍加速，并能在 61 秒内完成实用 4K 编辑。This work proposes EditBridge, a diffusion bridge framework for efficient ultra high-resolution editing that achieves high-fidelity editing with superior perceptual quality at resolutions up to 4K, delivering 3.6--8.4$\times$ speedup at 2K and enabling practical 4K editing in 61 seconds.

提出 DiSCO，一种零样本、严格黑盒的防御方法，完全在提示层面以即插即用模块的形式运行，无需模型重训练、微调或访问模型内部，可直接应用于任何文本到图像系统，无需对模型本身进行任何修改。DiSCO is proposed, a zero-shot, strictly black-box defense that operates entirely at the prompt level as a plug-and-play module, requiring no model retraining, fine-tuning, or access to model internals, and can be readily applied to any text-to-image system without necessitating any changes to the model itself.

结果表明，Engram 可充当可复用的外部知识工件，前提是目标侧具备兼容的 Reader 接口；当直接复用 Reader 效果不足时，目标侧适配可进一步改善对齐效果。The results suggest that Engram can serve as a reusable external knowledge artifact, provided that the target has access to a compatible reader interface and target-side adaptation can further improve alignment when direct reader reuse is insufficient.

本文设计了一项对比研究，结合受控定量实验与配对轨迹分析，并将观察结果归纳为一个包含三个高层类别与十二种 Skill 使用模式的分类法，表明当噪声轨迹转化为稳定执行的过程性锚点时，Skill 便会发挥作用。This work designs a contrastive study that combines controlled quantitative experiments with paired trajectory analysis and consolidates observations into a taxonomy of three high-level categories and twelve skill-use modes, showing that skills work when noisy trajectories become procedural anchors that stabilize execution.

本文系统性地研究了视觉编码器扩展中的 MoE 设计，发现细粒度 MoE 拓扑相较于稠密与标准 MoE 基线均带来显著提升；提出了一种无辅助损失的均衡变体以改善专家利用率，并设计了专用 MoE kernel 以缓解推理时延开销。This work systematically study MoE designs for vision encoder scaling and finds that fine-grained MoE topologies yield substantial gains over both dense and standard MoE counterparts, and proposes an auxiliary-loss-free balancing variant for better expert utilization, and designs a specialized MoE kernel to mitigate inference latency overhead.

研究表明矛盾解析本质上是写入时并发控制，并将缺失的契约——一个在隔离性、模式与来源维度上被证明正确的写入时正确性规范——显式化，固定了每个生产启发式都默认假设、却没有任何已部署系统显式给出的保证。It is shown that contradiction resolution is write-time concurrency control and make the missing contract explicit, a write-time correctness specification, proved sound across isolation, schema, and provenance, pinning the guarantee every production heuristic assumes but no deployed system makes explicit.

本文提出了 LIFE-RL 框架，在不修改内部控制流的前提下，将原生编码 Agent harness 与可扩展的策略梯度优化相连接，并通过 GSPO 在三个原生编码 Agent harness 上训练稀疏 MoE 模型 Qwen3.5-35B-A3B 对其进行了评估。LIFE-RL, a framework that bridges native coding-agent harnesses with scalable policy-gradient optimization without modifying their internal control flow, is presented and evaluated by training the sparse MoE model Qwen3.5-35B-A3B with GSPO across three native coding-agent harnesses.

PTXBench 提供了一个可审计的测试平台，用于衡量并提升 LLM 利用持续演进 GPU 架构的能力，并表明各 LLM 在架构特定 PTX 能力上仍参差不齐。PTXBench provides an auditable testbed for measuring and improving LLMs'ability to exploit evolving GPU architectures, and shows that architecture-specific PTX capability remains uneven.

受搜索与推荐系统启发，本文构建了 Find、Attempt 与 Recommend（FAR），即一个从文献到综述的级联流程，可自动搜索合适的问题，并将人类注意力聚焦于经过多阶段筛选的成果上。Inspired by search and recommender systems, this work builds Find, Attempt, and Recommend (FAR), a literature-to-review cascade that automates the search for suitable problems and focuses human attention on artifacts that have passed several stages of filtering.

本文提出 Co-RL，一种由多个解耦模型组成的框架，这些模型不共享参数，通过基于彼此输出奖励的强化学习同时进行优化，并表明无监督推理可以通过协作式多智能体训练涌现This work introduces Co-RL, a framework in which multiple decoupled models, sharing no parameters, are simultaneously optimized through RL using rewards derived from their peers, and shows that unsupervised reasoning can emerge through cooperative multi-agent training.

动作条件目标改善了基于欧几里得代价与 CEM 的潜在 MPC 所使用的几何结构，DA-LeWM 在 LeWM 基础上增加了逆动力学和演示条件的目标-动作头，加速了收敛并取得比 LeWM 更高的在线成功率Action-conditioned objectives improve the geometry used by Euclidean-cost, CEM-based latent MPC, and DA-LeWM augments LeWM with inverse-dynamics and demonstration-conditioned goal-action heads, and accelerates convergence and achieves higher online success than LeWM.

实验表明，仅提供触觉本身并不能确保有效的多模态融合，SoftVTBench 为研究策略不仅能否成功，还在于其如何与可形变物体物理交互，以及触觉在何时改善这种交互，提供了统一的视触觉资源Results show that making touch available does not by itself ensure effective multimodal fusion, and SoftVTBench provides a common visuo-tactile resource for studying not only whether a policy succeeds, but how it physically interacts with deformable objects and when touch improves that interaction.

在代表性视频生成模型上的实验表明，在保持参考图像中任务相关语义一致性的同时实现预期结果仍然具有挑战性Experiments on representative video generation models show that achieving intended outcomes while maintaining task-relevant semantic grounding in reference images remains challenging.

本文提出 Zetta，一种闭环具身 harness，在保持基础策略冻结的同时在线演化基于代码的运行时评判器与恢复技能，表明闭环 harness 的自进化为可靠的物理智能开辟了一条可扩展的路径Zetta is presented, a closed-loop embodied harness that evolves code-based runtime critics and recovery skills online while keeping the base policy frozen, and shows that closed-loop harness self-evolution opens a scaling path for reliable physical intelligence.

结果为兼容的开源权重语言模型检查点建立了一种被动、无需数据的溯源信号，且该投影配对信号出现在六个及更多语言模型系列中The results establish a passive, data-free provenance signal for compatible open-weight language-model checkpoints, and the projection-pairing signal appears across six language-model families and beyond.

实验表明，在该数据上微调的模型不仅持续优于基座模型和面向写作的专门基线，还优于基于现有写作语料训练的模型，表明受控的题材扩展是稳健创意写作能力的关键驱动力Experiments demonstrate that models fine-tuned on the data consistently surpass not only base models and writing-specialized baselines, but also models trained on existing writing corpora, indicating that controlled genre expansion is a key driver of robust creative writing capability.

本文提出Larch，一个用于优化AI SQL查询中语义过滤器执行的框架，并给出其两种变体：Larch-A2C与Larch-Sel，二者在token使用量上均始终优于现有语义过滤器优化技术。This paper introduces Larch, a framework for optimizing the execution of semantic filters in AI SQL queries and presents two Larch variants: Larch-A2C and Larch-Sel, which always outperform existing semantic filter optimization techniques in terms of token usage.

本文提出 OmniScientist，一种端到端、全模态 AI 科学家，可直接基于异构原始证据开展跨学科研究，表明全生命周期感知对于基于证据的科学发现至关重要，并为构建广泛适用的 AI 科学家提供了一条切实可行的路径OmniScientist is introduced, an end-to-end, omni-modal AI scientist that conducts multidisciplinary research directly from heterogeneous raw evidence and demonstrates that lifecycle-wide perception is essential for evidence-grounded scientific discovery and provides a practical path toward broadly capable AI scientists.

论文认为，agentic CTI 调查的瓶颈在于该 substrate 而非模型能力，并提出了面向 Agent 的语料库脚手架 CTIFoundry。It is argued that this substrate, not model capability, is the bottleneck on agentic CTI investigation, and CTIFoundry, an agent-native corpus scaffold, is presented.

SkillGate 将 9B 策略的成功率从 40.8% 提升至 53.2%，显著优于将相同预算仅用于 outcome reward 的方案，同时将误导性候选的暴露减少三分之二，并读取更少的 skill。SkillGate lifts a 9B policy from 40.8% to 53.2% trial success, well ahead of the identical budget spent on outcome reward alone, while cutting exposure to misleading candidates by two thirds and reading fewer skills.

提出 AdaPop（自适应流行度）方法，将局部 token 置信度与源自外部代理的逐事实流行度相关指数相结合，并通过双上升控制器在每个 epoch 调整 retain 惩罚来自动平衡遗忘与保留。The AdaPop (Adaptive Popularity) method is proposed, which combines local token confidence with a per-fact popularity-dependent exponent derived from an external proxy, and automates the forget-retain balance via a dual-ascent controller that adjusts the retain penalty each epoch.

MissDiag 将聚合鲁棒性度量转化为类型化的诊断归因，为在不完备知识下比较、诊断和压力测试 KGQA 与 KG-RAG 系统提供了更具可解释性的基础。By transforming aggregate robustness measurement into typed diagnostic attribution, MissDiag provides a more interpretable basis for comparing, diagnosing, and stress-testing KGQA and KG-RAG systems under incomplete knowledge.

VA-Judger：用于联合视频-音频生成的思维链全模态奖励模型。它首先从具有明显质量差距的数据对中学习，以建立结构化输出与粗粒度偏好判别；然后通过对照人工标注进行拒绝采样，蒸馏得到针对更难近质量对比的可靠偏好解释；最终执行按维度分解的强化学习，将人类反馈分解为各个质量维度以获得更密集的奖励信号。VA-Judger, a chain-of-thought omni-reward model for joint video-audio generation that first learns from pairs with clear quality gaps to establish structured output and coarse preference discrimination, then distills reliable preference explanations for harder near-quality comparisons via rejection sampling verified against human annotations, and finally performs dimension-wise reinforcement learning that decomposes human feedback into individual quality dimensions for denser reward signals.

提出首个 MuseCP 评估框架，涵盖四类音乐 facet，使用细粒度且量身定制的指标来捕捉音乐属性的细微变化，并希望为开发更有效、更可靠、具备强大 MuseCP 能力的音乐编辑策略提供实践指导。The first MuseCP evaluation framework is introduced that covers four categories of music facets with fine-grained and well-tailored metrics to capture nuanced changes in music attributes and hopes it can offer practical guidance for developing more effective and reliable music editing strategies with strong MuseCP capability.

提出 RapidLiDAR，一种将初始化本身视为可学习、数据驱动组件的 LiDAR 场景补全方法，在与 SOTA 相当的补全性能下，0.1 秒完成整个场景，比此前最快方法快 2.3 倍。RapidLiDAR is presented, a LiDAR scene completion method that treats the initialization itself as a learned, data-driven component and achieves completion performance on par with the state of the art while completing a full scene in 0.1 seconds, which is 2.3 times faster than the fastest prior method.

受损模型评估测试在第一个合法 tool call 之后插入 ground-truth 攻击调用，从而独立于模型行为测试 APC，证明了 APC 实现的 Blast Radius 单调性与组合可靠性。The compromised-model evaluation tests APC independently of model behavior by inserting the ground-truth attack call after the first legitimate tool call, which proves Blast Radius Monotonicity and Composition Soundness for APC implementations and proves Blast Radius Monotonicity and Composition Soundness for APC implementations.

本文引入一个均值修正项，有效抑制近似误差，即使在极端稀疏度下也能将性能下降保持在可控范围；并使用 PackGQA 内存访问、warp specialization 和 pingpong 流水线重新设计稀疏注意力算子。This paper introduces a mean correction term that effectively suppresses the approximation error, keeping performance degradation manageable even at extreme sparsity levels, and redesigns the sparse attention operator with PackGQA memory access, warp specialization, and pingpong pipelining.

实验表明，DataEvolver 显著提升了数据质量，相比在原始数据上训练，下游 LLM 性能平均提升 10%，凸显了 LLM 与数据迭代协同演化的新机遇。Experiments show that DataEvolver substantially improves data quality and achieves an average 10\% gain in downstream LLM performance compared with training on original data, highlighting new opportunities for the iterative co-evolution of LLMs and data.