arXivDaily arXiv每日学术速递 周一至周五更新

高校专区

University of Toronto(多伦多大学)

至 收录 1036
2607.18114 2026-07-21 cs.CL cs.AI cs.LG 新提交

How Does Alignment Tuning Shape Representations of Sycophancy and Related Cue-Induced Biases in LLMs?

对齐调整如何塑造大语言模型中谄媚及相关线索诱导偏差的表征?

Prakhar Gupta, Terry Jingchen Zhang, Florent Draye, Bernhard Schölkopf, Zhijing Jin

机构 * University of Michigan(密歇根大学) Jinesis Lab, University of Toronto & Vector Institute(多伦多大学Jinesis实验室和向量研究所) Max-Planck Institute for Intelligent Systems(马克斯·普朗克智能系统研究所) ELLIS Institute Tübingen(图宾根ELLIS研究所)

AI总结 研究大语言模型中谄媚及相关线索诱导偏差的位置,通过从隐藏状态提取偏差方向并经探测等三种方法三角测量,发现易感性由对齐调整而非预训练导致,还能适度去偏,偏差是对齐调整安装的不同因果活性方向。

详情
AI中文摘要

现代大语言模型极易受到输入提示中简单无形变化的影响:一个随意的暗示、一个标注错误的少样本示例或一个虚假的先前助手回复往往会使原本正确的答案翻转。我们研究这种涵盖谄媚及相关线索诱导偏差的易感性在模型内部的位置。跨越五个模型家族和七种BCT偏差类型,我们从隐藏状态中提取每个偏差方向,并通过三种方法进行三角测量:探测、留一数据集转移和因果干预。这种易感性很大程度上是由对齐调整而非预训练造成的:预训练的基础模型几乎不受这些偏差影响,其激活除了问题内容外没有特定线索信号。在对齐模型中,每个偏差成为一个单一连贯方向,我们既能解码又能引导,在每个测试家族中恢复无偏差答案。偏差在表征上保持 distinct,交叉偏差纠缠是特定于模型而非偏差类别的属性,行为相似的偏差也占据不同方向。相同的干预也是一种适度的去偏工具,在保留所有指令家族中大多数正确答案的同时,恢复了相当一部分偏差诱导的错误。因此,线索诱导偏差最好理解为对齐调整所安装的一组不同的、具有因果活性的方向,而不是大语言模型中的单一缺陷。

英文摘要

Modern LLMs are alarmingly susceptible to surprisingly simple immaterial changes of input prompts: a casual hint, an incorrectly labeled few-shot example, or a fake prior assistant turn often flips an originally correct answer. We study where this susceptibility, spanning sycophancy and related cue-induced biases, lives inside the model. Across five model families and seven BCT bias types, we extract a per-bias direction from hidden states and triangulate it through three measures: probing, leave-one-dataset-out transfer, and causal intervention. The susceptibility is largely installed by alignment tuning rather than pretraining: pretrained base models barely cave to these biases, and their activations carry no cue-specific signal beyond question content. Within aligned models, each bias becomes a single coherent direction that we can both decode and steer along, recovering the unbiased answer across every family we test. The biases stay representationally distinct, however: cross-bias entanglement is model-specific rather than a property of the bias category, and even behaviorally similar biases occupy different directions. The same intervention also serves as a modest debiasing tool, recovering a meaningful share of bias-induced errors while preserving most correct answers across all instruct families. Cue-induced bias is therefore best understood not as a single flaw in LLMs but as a family of distinct, causally active directions that alignment tuning installs.

URL PDF HTML 收藏
2607.18060 2026-07-21 cs.RO 新提交

RoboHarness: Memory-Driven Orchestration of Heterogeneous Robot Policies for Long-Horizon Planning

RoboHarness:用于长期规划的异构机器人策略的内存驱动编排

Jinbang Huang, Yuanzhao Hu, Zhiyuan Li, Ran Qi, Yixin Xiao, Zhanguang Zhang, Mark Coates, Tongtong Cao, Yingxue Zhang

机构 * Huawei Noah’s Ark Lab(华为诺亚方舟实验室) University of British Columbia(英属哥伦比亚大学) University of Toronto(多伦多大学) McGill University(麦吉尔大学) Labs(2012实验室)

AI总结 针对长期机器人任务需多种能力、异构策略编排难的问题,提出RoboHarness框架,通过多模态执行内存等表征策略能力边界,经内存桥接稳定策略交接,实验验证其在长期规划和分布外鲁棒性上有显著提升。

Comments 21 pages, 8 figures

详情
AI中文摘要

长期的机器人任务需要多种能力,单一策略无法可靠提供。异构策略具有互补优势,但编排它们需要处理不确定的能力边界和跨策略分布不匹配问题,现有基于同质、预定义技能且适用性固定的规划方法大多忽略了这些问题。我们提出了RoboHarness,一个统一框架,将独立开发的机器人控制系统封装为可重用的智能技能。它使用多模态执行内存和在线证据来表征策略能力边界以进行能力感知分解和路由。其内存桥接可稳定策略交接,通过检索与下一策略相关的执行轨迹等方式引导机器人。在多个基准测试、定制任务及真实机器人实验中验证了其有效性,在零样本长期规划和分布外鲁棒性方面有显著提升。

英文摘要

Long-horizon robotic tasks require diverse capabilities that no single policy can reliably provide. Heterogeneous policies offer complementary strengths, but orchestrating them requires reasoning over uncertain capability boundaries and cross-policy distribution mismatch, which are largely overlooked by existing planning methods built on homogeneous, predefined skills with fixed applicability. We propose RoboHarness, a unified framework that encapsulates independently developed robot control systems as reusable agentic skills. Although instantiated in this work with VLAs, RL policies, and task-and-motion planning (TAMP) systems, RoboHarness is designed as a general framework compatible with a broader range of robot policies, such as navigation policies, model predictive controllers, and world-action models. RoboHarness uses multi-modal execution memory and online evidence to characterize policy capability boundaries for capability-aware decomposition and routing. To stabilize policy handoffs, its Memory Bridge retrieves execution trajectories associated with the next policy, estimates its in-distribution state region, and guides the robot toward that region without joint policy retraining. Extensive experiments on three public benchmarks, 500 customized tasks, and 135 real-robot experiments demonstrate effective capability-aware routing and stable policy orchestration, yielding substantial improvements in zero-shot long-horizon planning and out-of-distribution robustness.

URL PDF HTML 收藏
2607.17467 2026-07-21 cs.CV cs.LG 新提交

DA-MergeLoRA: Hypernetwork-Based LoRA Merging for Few-Shot Test-Time Domain Adaptation

DA-MergeLoRA:基于超网络的LoRA合并用于少样本测试时的域适应

Siobhan Reid, Zhixiang Chi, Li Gu, Omid Reza Heidari, Ziqiang Wang, Yang Wang

机构 * Concordia University(康考迪亚大学) University of Toronto(多伦多大学) Mila – Quebec AI Institute(米拉-魁北克人工智能研究所)

AI总结 研究少样本测试时的域适应问题,提出DA-MergeLoRA框架,将LoRA微调与模型合并相结合,通过元学习训练超网络生成合并因子,在多个域适应数据集上取得最优性能。

Comments ECCV 2026, Code: https://github.com/nahbois4321/DA-MergeLoRA

详情
AI中文摘要

少样本测试时的域适应(FSTT-DA)旨在仅使用少量未标记的目标样本使模型适应新领域。此设置比典型的域适应设置更现实,后者假设在源训练期间可访问目标数据。然而,先前的FSTT-DA方法无法有效利用源域特定知识,依赖浅批量归一化更新、将模型视为黑箱的基于提示的方法或无法捕捉跨域关系的集成策略。为解决这些限制,我们引入了一个新的FSTT-DA框架,将LoRA微调与模型合并相结合。在我们的方法中,针对每个源域在CLIP的视觉编码器上对单独的LoRA模块进行微调。由于LoRA仅修改模型参数的一小部分,它在内部学习域特定特征时保留了基础模型的广义知识。为使学到的知识适应特定目标域,我们提出一个通过元学习训练的超网络,生成逐列合并因子以组合LoRA模块。给定一小批目标图像,超网络产生合并权重,将源LoRA模块融合成单个适应表示。我们的结果展示了在各种域适应数据集上的最优性能。我们的代码可在该https URL公开获取。

英文摘要

Few-shot Test-Time Domain Adaptation (FSTT-DA) seeks to adapt models to novel domains using only a handful of unlabeled target samples. This setting is more realistic than typical domain adaptation setups, which assume access to target data during source training. However, prior FSTT-DA approaches fail to effectively leverage source domain-specific knowledge, relying on shallow batch normalization updates, prompt-based methods that treat the model as a black box, or ensembling strategies that do not capture cross-domain relationships. To address these limitations, we introduce a new FSTT-DA framework that integrates LoRA fine-tuning with model merging. In our approach, separate LoRA modules are fine-tuned on CLIP's vision encoder for each source domain. Since LoRA modifies only a small fraction of the model's parameters, it retains the base model's generalized knowledge while internally learning domain-specific features. To adapt the learned knowledge to a specific target domain, we propose a hypernetwork trained via meta-learning that generates per-column merging factors to combine LoRA modules. Given a small batch of target images, the hypernetwork produces merging weights that fuse source LoRA modules into a single adapted representation. Our results demonstrate state-of-the-art performance across various domain adaptation datasets. Our code is publicly available at https://github.com/nahbois4321/DA-MergeLoRA.

URL PDF HTML 收藏
2607.15933 2026-07-20 cs.CV 新提交

Distributional Matching for Vector Quantization: A Unified Theoretical and Empirical Framework

用于矢量量化的分布匹配:一个统一的理论和实证框架

Xianghong Fang, Litao Guo, Hengchao Chen, Yuxuan Zhang, XiaofanXia, Dingjie Song, Yexin Liu, Hao Wang, Harry Yang, Qiang Sun, Yuan Yuan

机构 * University of Toronto(多伦多大学) The Hong Kong University of Science and Technology(香港科技大学) Boston College(波士顿学院) Lehigh University(里海大学) Southern University of Science and Technology(南方科技大学)

AI总结 针对现有矢量量化方法训练不稳定和码本崩溃问题,提出分布匹配框架,通过对齐特征和码向量分布缓解上述问题,经理论分析和实验验证,基于瓦瑟斯坦距离目标实例化该框架,在视觉tokenization基准上表现有效且鲁棒。

Comments 33 pages, 17 figures, and 16 tables. arXiv admin note: substantial text overlap with arXiv:2506.15078

详情
AI中文摘要

现代视觉表征学习和自回归模型的有效性严重依赖矢量量化(VQ),它使用可学习码本离散化连续特征表示。尽管广泛使用,但现有VQ方法常因直通估计器导致的梯度失配和码向量利用不足而存在训练不稳定和码本崩溃问题。本文表明这两个问题可追溯到特征向量和码向量分布的根本不匹配,导致表示效率低下和信息损失。基于此,提出分布匹配框架,引入理想VQ行为的原则标准,经理论分析和实证评估表明对齐特征和码向量分布可缓解训练不稳定和码本崩溃。使用基于瓦瑟斯坦距离的目标在温和高斯近似下实例化该框架,还表明基于最大均值差异的非参数替代方法性能相当。在视觉tokenization基准上的大量实验支持了该方法的有效性和鲁棒性。

英文摘要

The effectiveness of modern visual representation learning and autoregressive models critically depends on vector quantization (VQ), which discretizes continuous feature representations using a learnable codebook. Despite its widespread use, existing VQ methods often suffer from training instability and codebook collapse, arising from gradient mismatch induced by the straight-through estimator and the under-utilization of code vectors. In this work, we show that both issues can be traced to a fundamental mismatch between the distributions of feature vectors and code vectors, leading to inefficient representation and information loss. Building on this observation, we propose a distributional matching framework for vector quantization. We introduce principled criteria for desirable VQ behavior and demonstrate through theoretical analysis and empirical evaluation that aligning feature and code vector distributions provides a unifying mechanism for mitigating training instability and codebook collapse. We instantiate this framework using a Wasserstein-based objective with an efficient closed-form under a mild Gaussian approximation, and further show that a nonparametric alternative based on maximum mean discrepancy yields comparable performance. Extensive experiments on visual tokenization benchmarks support the effectiveness and robustness of the proposed approach.

URL PDF HTML 收藏
2605.15407 2026-07-20 math.NA cs.AI cs.NA 版本更新

Energy-based Transport for Amortized Bayesian Inference

平均能量基于的贝叶斯推断

Ricardo Baptista, Hojjat Kaveh, Andrew M. Stuart

机构 * California Institute of Technology(加州理工学院) University of Toronto(多伦多大学)

AI总结 本文研究了在仅能获取参数和观测联合分布样本的情况下,非线性逆问题的平均能量基于的贝叶斯推断方法,提出了一种基于传输的方法,通过学习观测依赖的映射来近似后验分布,避免了传统方法的计算开销。

Comments 25 pages, 9 figures

详情
AI中文摘要

我们考虑了在仅能获取参数和观测联合分布样本的情况下,非线性逆问题的平均能量基于的贝叶斯推断。传统方法如马尔可夫链蒙特卡罗方法需要为每个观测解决新的推断问题,当推断必须多次重复时计算开销可能很高。我们提出了一种基于传输的方法,学习一个观测依赖的映射,将参考测度推送到近似后验分布。该映射通过最小化真实后验与学习推前之间的平均能量-距离目标进行训练。这种形式是无似然的,仅需联合样本,避免了密度评估、可逆性约束和雅可比行列式计算。对于函数空间逆问题,我们使用高斯先验参数化传输映射为恒等映射加上在先验中的 Cameron-Martin 空间中的扰动,保持与先验的绝对连续性。在无限维情况下,使用神经算子表示映射。我们通过有限维非线性逆问题和两个出现在多孔介质流和地震反演中的 PDE 约束逆问题展示了该方法。结果表明,学习的传输能够捕捉后验结构,包括多模态和主导模式,同时能够为新观测快速进行后验采样。

英文摘要

We consider amortized Bayesian inference for nonlinear inverse problems using only samples from the joint distribution of parameters and observations, including problems with unknown functions in a Banach space. Classical methods such as Markov chain Monte Carlo solve a new inference problem for each observation, making repeated posterior inference computationally prohibitive, particularly in infinite dimensions. Amortized Bayesian inversion instead learns a reusable map that rapidly generates posterior samples for new observations. We learn an observation-dependent transport map that pushes a reference measure to an approximate posterior. Training minimizes the average energy distance between the posterior and the learned pushforward. Averaging over observations allows generalization across observation instances and efficient amortized inference. Furthermore, the formulation is likelihood-free, requiring only samples from the joint distribution and avoiding likelihood evaluation. In addition, the use of an energy-distance objective removes the need for invertibility of the transport map and for computation of Jacobian determinants, enabling flexible parameterizations in high- and infinite-dimensional settings. Moreover, when the posterior has a density with respect to a Gaussian prior measure, we construct transport maps as the identity plus a learnable map valued in the prior's Cameron--Martin space. This guarantees that the learned posterior remains absolutely continuous with respect to the prior. In infinite dimensions, the transport map is parameterized using neural operators, enabling use at different grid resolutions. We demonstrate the approach on a finite-dimensional problem and PDE-based porous-medium flow and seismic inverse problems. The learned transport captures multimodality and dominant posterior modes while enabling fast sampling.

URL PDF HTML 收藏
2607.15246 2026-07-17 cs.CV 新提交

ARMOR++: Agentic Orchestration of a Multi-Domain Primitive Set for Transferable Attacks on Deepfake Detectors

ARMOR++:用于对深度伪造检测器进行可转移攻击的多域原语集的智能编排

Christos Korgialas, Gabriel Lee Jun Rong, Dion Jia Xu Ho, Pai Chet Ng, Xiaoxiao Miao, Konstantinos N. Plataniotis

机构 * Department of Informatics, Aristotle University of Thessaloniki(塞萨洛尼基亚里士多德大学信息学系) Infocomm Technology Cluster, Singapore Institute of Technology(新加坡科技学院信息通信技术集群) Department of Applied Physics and Applied Mathematics, Columbia University(哥伦比亚大学应用物理与应用数学系) Division of Natural and Applied Sciences, Duke Kunshan University(昆山杜克大学自然科学与应用科学部) Department of Electrical and Computer Engineering, University of Toronto(多伦多大学电气与计算机工程系)

AI总结 研究针对深度伪造检测器在黑盒对抗转移下可靠性下降问题,提出ARMOR++多智能体框架,利用视觉与语言模型提供语义先验并编排原语选择等,整合多种原语有效针对异构偏差,实验表明其性能优于现有基线,凸显当前检测器可靠性差距及智能编排的有效性。

详情
AI中文摘要

深度伪造检测器的可靠性在黑盒对抗转移下经常下降,因为这些模型通常依赖脆弱的、与架构相关的取证线索。现有转移攻击缺乏语义感知,在严格的无查询约束下难以保持有效性。本文介绍了ARMOR++,一个用于高转移性深度伪造逃避的强大多智能体框架。该框架利用Qwen2.5-VL视觉语言模型提供空间语义先验,Qwen3大语言模型编排原语选择、自适应超参数重新参数化和熵正则化扰动混合。通过整合五种互补原语,ARMOR++有效针对异构归纳偏差。在AADD-2025基准上的严格评估表明,ARMOR++在低质量和高质量图像模式下均显著优于现有智能体和非智能体基线。统计分析证实,与最先进的智能体基线相比,盲目标攻击成功率有大幅提高,在针对非智能体基准和强大防御配置下也有进一步性能优势。这些发现凸显了当前深度伪造检测器部署中存在的显著可靠性差距,并证明了智能编排识别潜在漏洞的有效性。

英文摘要

The reliability of deepfake detectors frequently degrades under black-box adversarial transfer, as these models often rely on fragile, architecture-dependent forensic cues. Existing transfer attacks often lack semantic awareness and struggle to maintain effectiveness under strict no-query constraints, particularly when perturbations are transferred from convolutional surrogates to transformer-based targets. To address these limitations, this paper introduces ARMOR++, a robust multi-agent framework designed for high-transferability deepfake evasion. The framework leverages the Qwen2.5-VL Vision-Language Model (VLM) to supply spatial semantic priors, while the Qwen3 Large Language Model (LLM) orchestrates primitive selection, adaptive hyperparameter reparameterization, and entropy-regularized perturbation mixing. By integrating five complementary primitives, spanning dense optimization, saliency-based methods, spatial transformations, frequency-domain perturbations, and block-structured modifications, ARMOR++ effectively targets heterogeneous inductive biases. Rigorous evaluation on the AADD-2025 benchmark demonstrates that ARMOR++ significantly outperforms existing agentic and non-agentic baselines across both low- and high-quality image regimes. Statistical analysis confirms a substantial gain in blind-target Attack Success Rate (ASR) over the state-of-the-art agentic baseline, with further performance advantages evidenced against non-agentic benchmarks and under robust defensive configurations. These findings highlight a significant residual reliability gap in current deepfake detector deployments and demonstrate the efficacy of agentic orchestration in identifying latent vulnerabilities.

URL PDF HTML 收藏
2607.14995 2026-07-17 cs.LG q-bio.QM 新提交

Multimodal Semantic-Aware Contrastive Learning For False Negative Mitigation in 3D Medical Imaging

用于减轻 3D 医学成像中假阴性的多模态语义感知对比学习

Sara Ketabi, Matthias W. Wagner, Cynthia Hawkins, Uri Tabori, Birgit Betina Ertl-Wagner, Farzad Khalvati

机构 * University of Toronto(多伦多大学) The Hospital for Sick Children(病童医院) Vector Institute(向量研究所) University Hospital Augsburg(奥格斯堡大学医院)

AI总结 研究针对3D医学成像中假阴性问题,提出多模态语义感知对比学习框架MseaCL,通过纳入放射学报告语义相似性作指导信号,经实验验证该框架用于预训练可提升下游任务表现,如儿科脑肿瘤分子分类AUC至少增22.6%。

详情
AI中文摘要

多模态对比学习(CL)在跨数据模态对齐表示和改善下游任务方面表现出色,尤其在医疗保健领域。它通过最小化匹配(正)数据模态之间的距离,同时最大化不匹配(负)样本之间的距离来工作。传统CL框架通常假设数据批次内基于实例的对应关系,将所有非配对样本视为负样本。然而,这种假设在医学环境中常常不成立,样本可能共享高级语义属性,导致假阴性,降低表示质量。本文提出了多模态语义感知对比学习(MseaCL),这是一种在3D脑磁共振成像(MRI)扫描和放射学报告的儿科队列上训练的CL框架。该框架的目标是通过纳入放射学报告之间的语义相似性,作为学习过程中的指导信号,减轻语义相似的假阴性样本的影响。我们的结果表明,将此框架用作预训练阶段可以在下游任务中取得显著改进,例如,儿科脑肿瘤分子分类的受试者操作特征曲线(AUC)下面积至少增加22.6%,证明了其在临床应用中实现更强大和语义对齐的多模态表示的潜力。

英文摘要

Multimodal Contrastive Learning (CL) has shown significant performance in aligning representations across various data modalities and improving downstream tasks, especially in healthcare. It works by minimizing the distance between matched (positive) data modalities, while maximizing the distance between mismatched (negative) samples. Traditional CL frameworks typically assume instance-based correspondence within data batches, treating all non-paired samples as negatives. However, this assumption often fails in medical settings, where samples may share high-level semantic attributes, leading to false negatives that degrade representation quality. In this paper, we propose Multimodal Semantic-Aware Contrastive Learning (MseaCL), a CL framework trained on a pediatric cohort of 3D brain magnetic resonance imaging (MRI) scans and radiology reports. The goal of this framework is to mitigate the impact of semantically similar false negative samples by incorporating semantic similarity between radiology reports, as a guiding signal during the learning process. Our results indicate that applying this framework as a pretraining stage can achieve notable improvements in downstream tasks, e.g., at least a 22.6\% increase in the area under the receiver operating characteristic curve (AUC) of pediatric brain tumor molecular classification, demonstrating its potential for more robust and semantically aligned multimodal representations in clinical applications.

URL PDF HTML 收藏
2607.01153 2026-07-17 cs.CL cs.AI cs.SE 版本更新

Adversarial Pragmatics for AI Safety Evaluation: A Benchmark for Instruction Conflict, Embedded Commands, and Policy Ambiguity

面向AI安全评估的对抗语用学:指令冲突、嵌入命令与策略模糊性基准

Brett Reynolds

机构 * Humber Polytechnic(汉博理工学院) University of Toronto(多伦多大学)

AI总结 提出对抗语用学基准和标注协议,通过语言学控制的分类法评估模型在指令冲突、嵌入命令等场景下的行为,为安全评估提供实证和方法论工具。

Comments 18-page main paper plus 10-page supplement; 6 figures and 11 tables total; code and data artifact available at the linked repository

详情
AI中文摘要

语言模型的安全评估越来越依赖于对模糊自然语言行为的判断:模型是否遵循了指令、是否恰当拒绝、是否遵守策略、是否抵抗嵌入命令、或在代理任务中错误报告进展。现有基准通常将这些区别压缩为通过/失败标签,掩盖了失败是源于能力限制、策略模糊性、指令冲突、支架故障还是评估者判断不稳定。本文引入对抗语用学作为基准和标注协议,用于评估模型在指令冲突、嵌入命令、引用、范围模糊性、指示语、间接言语行为和多轮代理转录本下的行为。贡献是经验性和方法论的:一个语言学控制的分类法、一个带有验证者强制元数据的18项种子基准、一个54行本地种子试点、一个区分任务成功、策略合规、安全风险、拒绝结果和评估者置信度的专家评估协议,以及用于判断有效性、诊断模糊性和分类法漂移的指标。该框架将语言判断方法论转化为验证安全评估、LLM判断器、金标准构建、提示注入测试和安全文档的实用工具。

英文摘要

Safety evaluations for language models increasingly depend on judgments about ambiguous natural-language behaviour: whether a model has followed an instruction, refused appropriately, complied with a policy, resisted an embedded command, or misreported progress in an agentic task. Existing benchmarks often compress these distinctions into pass/fail labels, obscuring whether failures arise from capability limits, policy ambiguity, instruction conflict, scaffold failure, or unstable evaluator judgments. This paper introduces adversarial pragmatics as a benchmark and annotation protocol for evaluating model behaviour under instruction conflict, embedded commands, quotation, scope ambiguity, deixis, indirect speech acts, and multi-turn agent transcripts. The contribution is empirical and methodological: a linguistically controlled taxonomy, an 18-item seed benchmark with validator-enforced metadata, a 54-row local seed pilot, an expert-evaluation protocol distinguishing task success, policy compliance, safety risk, refusal outcome, and evaluator confidence, and metrics for judge validity, diagnostic ambiguity, and taxonomy drift. The benchmark treats labels as inference licenses: it tests whether safety-relevant categories project across paraphrase, wrapper, model, and judge condition. In the pilot, a rubric-aided LLM judge graded its own outputs with expected-behaviour fields visible and still missed the safety-relevant minority classes.

URL PDF HTML 收藏
2411.03747 2026-07-17 cs.RO 版本更新

Observability-Aware Control for Quadrotor Formation Flight with Range-only Measurement

具有仅距离测量的四旋翼编队飞行的可观测性意识控制

H S Helson Go, Ching Lok Chong, Longhao Qian, Hugh H. -T. Liu

机构 * Institute for Aerospace Studies, University of Toronto(多伦多大学航空航天研究 institute)

AI总结 本文提出一种基于STLOG的OPC控制器,用于提升四旋翼编队飞行在仅距离测量下的可观测性与定位鲁棒性。

Comments 37 pages, 5 figures

详情
AI中文摘要

协同定位是一种通过低成本的无人机间传感器实现安全四旋翼编队飞行的有前途的方法。本文开发了一种针对仅距离测量的四旋翼编队飞行的可观测性意识控制原理。该控制原理基于一种新的局部可观测性格拉姆矩阵(LOG)的近似方法,我们称之为短期局部可观测性格拉姆矩阵(STLOG)。通过证明其与非线性系统方向估计精度的联系来验证STLOG的有效性。我们提出了可观测性预测控制器(OPC),一种滚动时间域控制器,通过最大化STLOG的最小特征值来生成最优输入,以增强弱可观测状态方向的信息增益。这减少了由于弱观测状态组件中不确定性无界增长而导致的估计器发散风险。通过在GNSS拒止的运输任务中进行蒙特卡洛模拟和飞行实验,结果表明OPC提高了定位信心和估计器鲁棒性。

英文摘要

Cooperative Localization is a promising approach to achieving safe quadrotor formation flight through precise positioning via low-cost inter-drone sensors. This paper develops an observability-aware control principle tailored to quadrotor formation flight with range-only inter-drone measurements. The control principle is based on a novel approximation of the local observability Gramian (LOG), which we name the Short-Term Local Observability Gramian (STLOG). The validity of STLOG is established by proving its link to directional estimation precision in nonlinear systems. We propose the Observability Predictive Controller (OPC), a receding-horizon controller that generates optimal inputs to enhance information gain in weakly observable state directions by maximizing the minimum eigenvalue of the STLOG. This reduces the risk of estimator divergence due to the unbounded growth of uncertainty in weakly observed state components. Monte Carlo simulations and flight experiments are conducted with quadrotors in a GNSS-denied ferrying mission, showing that the OPC improves positioning confidence and estimator robustness.

URL PDF HTML 收藏
2607.13431 2026-07-16 cs.LG cs.AI cs.CL 新提交

Discrete Diffusion Models: A Unified Framework from Tokenization to Generation

离散扩散模型:从词元化到生成的统一框架

Ye Yuan, Weien Li, Rui Song, Zeyu Li, Haochen Liu, Xiangyu Kong, Zixuan Dong, Linfeng Du, Zipeng Sun, Weixu Zhang, Jiaxin Huang, Changjiang Han, Yonghan Yang, Zichen Zhao, Xiuyuan Hu, Haolun Wu, Yankai Chen, Fengran Mo, Jikun Kang, Bowei He, Philip S. Yu, Xue Liu

机构 * McGill University(麦吉尔大学) Mila - Quebec AI Institute(米拉-魁北克人工智能研究所) University of Cambridge(剑桥大学) University of Toronto(多伦多大学) MBZUAI - Mohamed bin Zayed University of Artificial Intelligence(穆罕默德·本·扎耶德人工智能大学) Tsinghua University(清华大学) Rochester Institute of Technology(罗彻斯特理工学院) Salesforce(Salesforce公司) University of Illinois Chicago(伊利诺伊大学芝加哥分校)

AI总结 研究离散扩散模型,引入统一框架从离散状态空间构建审视该模型,让现有公式成为共同设计空间实例,揭示训练、推理等方面权衡,为未来研究提供方向。

详情
AI中文摘要

离散去噪扩散模型(DDMs)最近成为离散数据自回归建模的有力替代方案,具有并行生成和迭代全局细化能力。与连续扩散不同,离散扩散模型的状态空间由离散状态空间的构建方式决定。本文引入统一概念框架,通过构建底层离散状态空间来审视离散扩散模型。在此框架下,现有公式成为共同设计空间的不同实例,还揭示了训练目标、推理算法等方面的常见权衡,为未来研究指明方向。

英文摘要

Discrete denoising diffusion models (DDMs) have recently emerged as a compelling alternative to autoregressive (AR) modeling for discrete data, offering parallel generation and iterative global refinement capabilities. Unlike continuous diffusion, where the state space is fixed, DDMs are fundamentally shaped by how the discrete state space is constructed: the tokenization scheme, the vocabulary topology, and domain-specific structural alphabets. This work introduces a unified conceptual framework that views discrete diffusion models through the construction of the underlying discrete state space. Within this framework, existing formulations, including transition-matrix, masking/absorbing-state, and score/ratio-based approaches, emerge as different instantiations of a common design space. The framework further exposes common design trade-offs across training objectives, inference algorithms, scaling behavior, systems optimization, and evaluation protocols, suggesting several promising directions for future research.

URL PDF HTML 收藏
2607.08016 2026-07-16 cs.CV cs.GR 版本更新

LightCrafter: PBR-Conditioned Video Diffusion Refinement for Controllable and Consistent Relighting

LightCrafter:用于可控且一致的重光照的PBR条件视频扩散细化

Zixin Guo, Yehonathan Litman, Yifeng He, John Miller, Chuhan Chen, Deva Ramanan

机构 * Carnegie Mellon University(卡内基梅隆大学) University of Toronto(多伦多大学) Bosch Research(博世研究)

AI总结 研究视频重光照问题,提出LightCrafter混合管道,将其重表述为代理视频转换,利用PBR渲染并结合光度先验,在真实世界重光照基准上优于现有技术,还贡献合成基准及相关资源。

Comments Project page: https://www.zixinguo.me/lightcrafter

详情
AI中文摘要

视频重光照需要在长时的时间一致性与对光传输的物理基础理解之间取得平衡,这依赖于对材料、几何形状和光照等内在场景属性的准确估计。现有方法有两种范式:一是通过逆渲染重建视频的光度属性并通过正向渲染将其重光照到目标光照下,但存在重建噪声且难以处理全局光照等难以建模的效果;二是将任务作为基于重光照目标的生成式视频到视频转换,但存在重光照控制和时间稳定性受限等问题。我们提出LightCrafter,一种混合管道,将视频重光照重新表述为代理视频的视频转换,将输入在目标光照下的PBR渲染转换为最终目标,能实现更精细的光照控制并自然提供长时时间一致性。单独的PBR渲染已优于一些现有技术,但仍难以处理全局光照等效果,我们通过在合成视频对和真实世界未配对视频上对CogVideoX进行后训练来利用视频生成模型中的光度先验。我们在现有真实世界重光照基准上优于先前的最先进技术,并贡献了一个合成基准用于进一步分析。我们将发布数据集、基准、指标和代码。

英文摘要

Video relighting requires balancing long-form temporal consistency with a physically grounded understanding of light transport, which depends on accurate estimation of intrinsic scene properties such as materials, geometry, and illumination. Existing methods follow two paradigms: (1) reconstruct a video's photometric properties via inverse rendering and relight them to a target illumination via forward rendering, using physically-based rendering (PBR) or a neural renderer; these suffer from noisy reconstructions and struggle with hard-to-model effects such as global illumination. (2) Frame the task as generative video-to-video translation conditioned on relighting targets (a target environment map or text); this limits relighting control and temporal stability, since diffusion models struggle to translate long-form videos, and is constrained by the availability of input/relit training pairs. We propose LightCrafter, a hybrid pipeline that reformulates video relighting as video translation of a proxy video: rather than translating the input video directly to the target, we translate a PBR rendering of the input under the target illumination to the final target. This bakes illumination targets into the PBR proxy, removing the need to teach the diffusion model illumination concepts like environment maps, and enables more intricate lighting control while naturally providing long-form temporal consistency. We show PBR renders alone already outperform some prior art but struggle with effects like global illumination; to capture these, we leverage photometric priors in video generation models by post-training CogVideoX on synthetic video pairs and real-world unpaired videos. We outperform prior state-of-the-art on existing real-world relighting benchmarks and contribute a synthetic benchmark for further analysis. We will release our dataset, benchmark, metrics, and code.

URL PDF HTML 收藏
2607.01531 2026-07-16 cs.AI cs.LG 版本更新

OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3

OPINE-World:基于本体错误优先的交互式探索的程序化世界建模

David Courtis, Wenhao Li, Scott Sanner

机构 * University of Toronto(多伦多大学)

AI总结 提出OPINE-World,一种在线交互学习面向对象的程序化世界模型的LLM智能体,通过本体错误度量引导探索,在ARC-AGI-3基准上无需逐游戏训练即解决20/25个游戏,动作效率达78.4。

详情
AI中文摘要

从交互中学习环境的行为是构建适应不熟悉任务的智能体的核心。基于深度网络的世界模型灵活但数据需求大且迁移性差。由LLM编写为源代码并通过反例引导归纳合成(CEGIS)精炼的程序合成世界模型数据高效且可重用,但主要应用于具有给定对象词汇的结构化状态世界,且单一程序搜索无法扩展到需要灵活假设对象结构的像素渲染环境。我们提出OPINE-World,一个从交互中在线学习面向对象的程序化世界模型的LLM智能体。OPINE-World在假设与测试循环中耦合两个协作智能体,一个在环境中行动,一个以代码形式合成模型并进行重放验证和基于模型的规划,并通过我们称为本体错误的贝叶斯对象类型充分性度量引导探索。我们在ARC-AGI-3(一个技能获取效率基准,其中对象词汇、目标和动作语义均被隐藏)上评估OPINE-World。OPINE-World无需逐游戏训练即解决了25个游戏中的20个,并达到78.4的动作效率分数(以人类基线为基准)。

英文摘要

Learning how an environment behaves from interaction is central to building agents that adapt to unfamiliar tasks. World models learned with deep networks are flexible but data-hungry and transfer poorly beyond their training distribution. Program-synthesized world models, written as source code by LLMs and refined through counterexample-guided inductive synthesis (CEGIS), are instead data-efficient and reusable, yet they have been demonstrated mainly on structured-state worlds with a given object vocabulary, and a single program search does not scale to pixel-rendered environments whose object structure must be hypothesized flexibly. We introduce OPINE-World, an LLM agent that learns an object-centric programmatic world model online from interaction. OPINE-World couples two cooperating agents in a loop of hypothesis and test, one acting in the environment and one synthesizing the model in code with replay verification and model-based planning, and it steers exploration with a Bayesian measure of object-type adequacy we call ontology error. We evaluate OPINE-World on ARC-AGI-3, a benchmark for skill-acquisition efficiency in which the object vocabulary, the goal, and the action semantics are withheld. OPINE-World solves 20 of 25 games without per-game training and reaches an action-efficiency score of 78.4 against the human baseline.

URL PDF HTML 收藏
2607.12086 2026-07-15 cs.CL cs.CY cs.MA cs.SI 新提交

CityBehavEx: A Scalable and Empirically Validated LLM-Assisted Urban Simulation Platform

CityBehavEx:一个可扩展且经过实证验证的基于大语言模型的城市模拟平台

Gustavo H. Santos, Aline Viana, Thiago H Silva

机构 * UTFPR(巴拉那联邦理工大学) Inria(法国国家信息与自动化研究所) University of Toronto(多伦多大学)

AI总结 CityBehavEx平台针对基于大语言模型的城市模拟器扩展成本高和验证薄弱问题,结合人类出行模型与交叉编码器,实现大规模模拟,能生成更贴合现实的出行模式,还允许用户进行多种操作及验证。

Comments 10 pages, 3 figures

详情
AI中文摘要

近期基于大语言模型的多智能体城市模拟器虽能生成语义丰富的城市日常,但扩展成本高且与实证出行模式的验证薄弱。我们提出CityBehavEx,一个交互式的基于大语言模型的城市模拟平台,可扩展到城市规模人口,能检查智能体行为,支持实证验证,并生成更符合现实世界空间、时间和语义分布的出行模式。它将既定的人类出行模型与微调的交叉编码器相结合,而非为每个智能体动作调用大语言模型。在单个消费级GPU上,一小时内对10万个智能体进行75天的案例研究证明了其可大规模模拟。该平台允许用户定义模拟区域、启动实验、检查轨迹和活动踪迹、调试不现实行为,并根据现实世界的出行、时间使用和语义指标验证生成的日常。

英文摘要

Recent LLM-based multi-agent urban simulators can generate semantically rich city routines, but they remain costly to scale and are often weakly validated against empirical mobility patterns. We present CityBehavEx, an interactive LLM-assisted urban simulation platform that scales to city-size populations, exposes agent behavior for inspection, supports empirical validation, and generates mobility patterns that better match real-world spatial, temporal, and semantic distributions. Instead of invoking large language models for every agent action, CityBehavEx combines established human mobility models with fine-tuned cross-encoders that estimate semantic alignment between agent profiles, schedules, and activity transitions. This design enables large-scale simulations, as demonstrated in a case study of 100,000 agents over 75 days in under one hour on a single consumer GPU. The platform allows users to define simulation regions, launch experiments, inspect trajectories and activity traces, debug unrealistic behaviors, and validate generated routines against real-world mobility, time-use, and semantic metrics.

URL PDF HTML 收藏
2606.27201 2026-07-15 cs.LG 版本更新

Explaining Temporal Graph Neural Networks via Feature-induced Information Flow

解释时序图神经网络通过特征诱导的信息流

Ping Xiong, Thomas Schnake, Klaus-Robert Müller, Shinichi Nakajima

机构 * Berlin Institute for the Foundations of Learning and Data – BIFOLD(柏林学习与数据基础研究所) Machine Learning Group, Technical University of Berlin(柏林工业大学机器学习组) RIKEN AIP(日本理化学研究所革新智能综合研究中心) Department of Artificial Intelligence, Korea University(高丽大学人工智能系) Max Planck Institute for Informatics(马克斯·普朗克信息学研究所) Department of Chemistry, Chemical Physics Theory Group, University of Toronto(多伦多大学化学系化学物理理论组) Vector Institute for Artificial Intelligence(向量人工智能研究所) Acceleration Consortium, University of Toronto(多伦多大学加速联盟)

AI总结 提出一种基于归一化相关度量框架的归因方法,通过分析所有事件相关变量的信息流来完整解释事件时序图神经网络,优于现有方法。

详情
AI中文摘要

基于事件的时序图神经网络(ETGNNs)在广泛的应用中展示了强大的性能,包括社交网络分析、流行病追踪、推荐系统和政治事件预测。然而,其日益增长的复杂性对可解释性提出了重大挑战。现有的解释方法仅关注ETGNNs中信息流的一个子集,通常追踪从事件相关嵌入到输出的贡献。因此,它们忽略了通过事件诱导变量的重要路径,这些变量介导节点之间的交互,从而在捕获长期时间依赖性中发挥核心作用。为了克服这一限制,我们提出了一种新颖的归因方法,分析通过所有事件相关变量的\emph{整个}信息流。我们的方法建立在最近的归一化相关度量(NRM)框架之上,该框架能够显式量化源自事件嵌入的信息流以及通过事件诱导变量的信息流。它还确保跨层的潜在变量具有可比性,并支持事件之间交互的高阶分析。为了处理ETGNNs的架构复杂性,我们扩展了NRM框架,引入模块化分解过程,有助于为复杂神经架构系统地构建相关性结构。我们在两个用于流行病追踪和社会动态的合成数据集以及一个真实世界的政治事件网络数据集上评估了我们的方法。我们的定性和定量实验表明,我们的方法始终优于现有的解释方法,同时产生更易于人类理解的解释。

英文摘要

Event-based Temporal Graph Neural Networks (ETGNNs) have demonstrated strong performance across a wide range of applications, including social network analysis, epidemic tracing, recommender systems, and political event forecasting. However, their increasing complexity poses significant challenges for explainability. Existing explanation methods focus only on a subset of the information flow within ETGNNs, typically tracing contributions from the event-related embeddings to the output. Consequently, they overlook the important pathways through event-induced variables, which mediate interactions between nodes and thereby play a central role in capturing long-range temporal dependencies. To overcome this limitation, we propose a novel attribution method that analyzes the entire information flow through all event-associated variables. Our method is built upon the recent Normalized Relevance Measure (NRM) framework, which enables explicit quantification of information flow originating from event embeddings as well as information flow passing through event-induced variables. It also ensures comparability of latent variables across layers, and supports higher-order analysis of interactions between events. To handle the architectural complexity of ETGNNs, we extend the NRM framework with a modular decomposition procedure that facilitates the systematic construction of relevance structure for complex neural architectures. We evaluate our approach on two synthetic datasets for epidemic tracing and social dynamics, as well as a real-world dataset of political event networks. Our qualitative and quantitative experiments show that our method consistently outperforms existing explanation approaches while producing more human-interpretable explanations.

URL PDF HTML 收藏
2601.17181 2026-07-15 cs.CL

Systematicity between Forms and Meanings across Languages Supports Efficient Communication

跨语言形式与意义之间的系统性支持高效沟通

Doreen Osmelak, Yang Xu, Michael Hahn, Kate McCurdy

机构 * Saarland University(萨尔兰大学) Department of Computer Science, Cognitive Science Program(计算机科学系、认知科学项目) University of Toronto(多伦多大学)

AI总结 本研究通过分析多语言中动词和代词的语法意义表达,提出基于可学习性的新复杂性度量,揭示了形式与意义之间的系统性关系,为高效沟通理论提供了新连接。

Journal ref Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (ACL 2026)

详情
AI中文摘要

语言在意义映射到词形的方式上差异很大。这些映射已被发现支持高效沟通;然而,这一理论并未考虑词形内部的系统性关系。我们研究了在类型学上多样的语言中,一组受限制的语法意义(例如人称、数)如何在动词和代词上表达。与先前研究一致,我们发现动词和代词形式受到竞争的沟通压力,即简洁性(最小化语法区别的库存)和准确性(使能够恢复意图的意义)。关键的是,我们提出的模型使用了一种新的复杂性度量标准(简洁性的倒数)基于意义到词形映射的可学习性。这一创新捕捉了语言形式中的细粒度规律,使能够更好地区分已证实和未证实的系统,并建立了从高效沟通理论到自然语言系统性的新联系。

英文摘要

Languages vary widely in how meanings map to word forms. These mappings have been found to support efficient communication; however, this theory does not account for systematic relations within word forms. We examine how a restricted set of grammatical meanings (e.g. person, number) are expressed on verbs and pronouns across typologically diverse languages. Consistent with prior work, we find that verb and pronoun forms are shaped by competing communicative pressures for simplicity (minimizing the inventory of grammatical distinctions) and accuracy (enabling recovery of intended meanings). Crucially, our proposed model uses a novel measure of complexity (inverse of simplicity) based on the learnability of meaning-to-form mappings. This innovation captures fine-grained regularities in linguistic form, allowing better discrimination between attested and unattested systems, and establishes a new connection from efficient communication theory to systematicity in natural language.

URL PDF HTML 收藏
2511.09008 2026-07-15 cs.CL cs.AI cs.LG cs.LO 版本更新

A Neurosymbolic Approach to Natural Language Formalization and Verification

一种用于自然语言形式化和验证的神经符号方法

Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanović, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamarić, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao

机构 * Amazon Web Services(亚马逊网络服务) University College London(伦敦大学学院) University of Toronto(多伦多大学) Queen Mary University of London(伦敦大学女王学院)

AI总结 针对大型语言模型缺乏形式正确性保证的问题,提出神经符号方法ARc,通过使用带人工指导的大型语言模型形式化自然语言政策,并在推理时验证逻辑正确性,实现高健全性和低误报率,还能产生可审计工件。

Comments 28 pages, 11 figures

详情
AI中文摘要

大型语言模型在自然语言解释和推理方面表现出色,但缺乏形式正确性保证限制了它们在金融和医疗等受严格政策监管行业的应用。为解决这一限制,我们推出了自动推理检查(ARc):一项公共服务,它(1)使用带有可选人工指导的大型语言模型来形式化自然语言政策,实现对形式化过程的细粒度控制,(2)在推理时使用推理时自动形式化来根据这些政策验证自然语言语句的逻辑正确性。ARc在推理时执行多个冗余形式化步骤,检查形式化的语义等价性。我们的基准测试表明,ARc的健全性超过99%,在识别逻辑有效性方面实现了近乎零的误报率。我们的方法产生可审计的工件,证实验证结果并可用于改进原始文本。ARc是主要云提供商首次将自动推理集成到生成式人工智能护栏中的商业产品。

英文摘要

Large Language Models perform well at natural language interpretation and reasoning, but their lack of formal correctness guarantees limits their adoption in regulated industries like finance and health-care that operate under strict policies. To address this limitation, we launched Automated Reasoning checks (ARc): a public service that (1) uses LLMs with optional human guidance to formalize natural language policies, allowing fine-grained control of the formalization process, and (2) uses inference-time autoformalization to validate logical correctness of natural language statements against those policies. ARc performs multiple redundant formalization steps at inference time, checking the formalizations for semantic equivalence. Our benchmarks show that ARc exceeds 99% soundness and achieves a near-zero false positive rate in identifying logical validity. Our approach produces auditable artifacts that substantiate the verification outcomes and can be used to improve the original text. ARc is the first commercial offering from a major cloud provider to integrate automated reasoning into a generative AI guardrail.

URL PDF HTML 收藏
2312.17670 2026-07-15 cs.CV cs.LG q-bio.QM q-bio.TO 版本更新

The TopCoW Challenge -- Topology-Aware Circle of Willis Segmentation for CT and MR Angiography

TopCoW挑战——用于CT和MR血管造影的拓扑感知Willis环分割

Kaiyuan Yang, Fabio Musio, Yihui Ma, Norman Juchler, Johannes C. Paetzold, Rami Al-Maskari, Luciano Höher, Hongwei Bran Li, Ibrahim Ethem Hamamci, Anjany Sekuboyina, Suprosanna Shit, Houjing Huang, Chinmay Prabhakar, Ezequiel de la Rosa, Bastian Wittmann, Diana Waldmannstetter, Florian Kofler, Fernando Navarro, Martin J. Menten, Ivan Ezhov, Daniel Rueckert, Iris N. Vos, Ynte M. Ruigrok, Birgitta K. Velthuis, Hugo J. Kuijf, Pengcheng Shi, Wei Liu, Ting Ma, Maximilian R. Rokuss, Yannick Kirchhoff, Fabian Isensee, Klaus Maier-Hein, Chengcheng Zhu, Huilin Zhao, Philippe Bijlenga, Julien Hämmerli, Catherine Wurster, Laura Westphal, Jeroen Bisschop, Elisa Colombo, Hakim Baazaoui, Hannah-Lea Handelsmann, Andrew Makmur, James Hallinan, Amrish Soundararajan, Benedikt Wiestler, Jan S. Kirschke, Evamaria O. Riedel, Roland Wiest, Emmanuel Montagnon, Laurent Letourneau-Guillon, Kwanseok Oh, Dahye Lee, Orhun Utku Aydin, Adam Hilbert, Jana Rieger, Dimitrios Rallios, Satoru Tanioka, Alexander Koch, Dietmar Frey, Abdul Qayyum, Moona Mazher, Steven Niederer, Nico Disch, Julius C. Holzschuh, Dominic LaBella, Francesco Galati, Daniele Falcetta, Maria A. Zuluaga, Chaolong Lin, Haoran Zhao, Zehan Zhang, Minghui Zhang, Xin You, Hanxiao Zhang, Guang-Zhong Yang, Yun Gu, Sinyoung Ra, Jongyun Hwang, Hyunjin Park, Junqiang Chen, Marek Wodzinski, Henning Müller, Nesrin Mansouri, Florent Autrusseau, Cansu Yalcin, Rachika E. Hamadache, Clara Lisazo, Joaquim Salvi, Adrià Casamitjana, Xavier Lladó, Uma Maria Lal-Trehan Estrada, Valeriia Abramova, Luca Giancardo, Arnau Oliver, Paula Casademunt, Adrian Galdran, Matteo Delucchi, Oscar Camara, Jialu Liu, Haibin Huang, Yue Cui, Zehang Lin, Yusheng Liu, Shunzhi Zhu, Tatsat R. Patel, Adnan H. Siddiqui, Vincent M. Tutino, Maysam Orouskhani, Huayu Wang, Mahmud Mossa-Basha, Yuki Sato, Sven Hirsch, Susanne Wegener, Bjoern Menze

机构 * Department of Quantitative Biomedicine, University of Zurich, Zurich, Switzerland Institute of Computational Life Sciences, Zurich University of Applied Sciences (ZHAW), Waedenswil, Switzerland Department of Neuroradiology, University Hospital of Zurich, Zurich, Switzerland Department of Neurosurgery, Zhongnan Hospital of Wuhan University, Wuhan, China Department of Radiology at Weill Cornell Medicine, Cornell University, New York, USA Institute for Tissue Engineering School of Computation, Information Technology, Technical University of Munich, Germany Athinoula A. Martinos Center for Biomedical Imaging, Harvard Medical School, Boston, USA School of Medicine Health, TUM Klinikum, Technical University of Munich, Germany Munich Center for Machine Learning, Munich, Germany Department of Computing, Imperial College London, London, UK Image Sciences Institute, UMC Utrecht, Utrecht, The Netherlands Department of Neurology Neurosurgery, University Medical Center Utrecht, Utrecht, The Netherlands Department of Radiology, University Medical Center Utrecht, Utrecht, The Netherlands Electronic \& Information Engineering School, Harbin Institute of Technology (Shenzhen), China Peng Cheng Laboratory, Shenzhen, China Division of Medical Image Computing, German Cancer Research Center (DKFZ), Heidelberg, Germany Faculty of Mathematics Computer Science, Heidelberg University, Germany Helmholtz Imaging, German Cancer Research Center, Heidelberg, Germany Data Science School for Health, Karlsruhe/Heidelberg, Germany Learning Group, Department of Radiation Oncology, Heidelberg University Hospital Department of Radiology, University of Washington, Seattle, WA, USA Department of Radiology, Ren Ji Hospital, Shanghai Jiao Tong University School of Medicine, Shanghai, China Department of Clinical Neurosciences, Division of Neurosurgery, Geneva University Hospitals, Geneva, Switzerland Department of Neurology, University Hospital of Zurich, Zurich, Switzerland Department of Physiology, University of Toronto, Canada Department of Neurosurgery, University Hospital of Zurich, Zurich, Switzerland Department of Diagnostic Imaging, National University Hospital, Singapore University of Chicago, USA Department of Diagnostic Interventional Neuroradiology, University Hospital Berne University of Berne, Berne, Switzerland Centre de Recherche du Centre Hospitalier de l’Université de Montréal (CRCHUM), Montréal, Québec, Canada DEEPNOID Inc., Seoul, South Korea Department of Artificial Intelligence, Korea University, Seoul, South Korea Charité Lab for AI in Medicine (CLAIM), Charité Universitätsmedizin Berlin, Berlin, Germany Lung Institute, Faculty of Medicine, Imperial College London, London, UK Centre for Medical Image Computing, Department of Computer Science, University College London, London, UK Department of Radiation Oncology, Duke University Medical Center, Durham, NC, USA Institute of Medical Technology, Peking University Health Science Center, Beijing, China Hangzhou Genlight MedTech Co., Ltd., China Institute of Medical Robotics, Shanghai Jiao Tong University, Shanghai, China Department of Automation, Shanghai Jiao Tong University, Shanghai, China Department of Artificial Intelligence, Sungkyunkwan University, Seoul, South Korea Department of Electrical Computer Engineering, Sungkyunkwan University, Seoul, South Korea Shanghai MediWorks Precision Instruments Co., Ltd., China Institute of Informatics, HES-SO Valais-Wallis, Switzerland Department of Measurement Electronics, AGH University of Krakow, Poland Laboratoire de Thermique et Energie de Nantes (LTeN), Université Nantes, Polytech’Nantes, Nantes, France Research Institute of Computer Vision Center for Precision Health, McWilliams School of Biomedical Informatics, University of Texas Health Science Center at Houston, USA Physense, BCN-Medtech, Department of Communication Information Technologies, Universitat Pompeu Fabra, Barcelona, Spain Department of Mathematical Modeling Machine Learning, University of Zurich, Zurich, Switzerland Laboratory of Brain Atlas Brain-inspired Intelligence, Institute of Automation, Chinese Academy of Sciences, Beijing, China School of Artificial Intelligence, University of Chinese Academy of Sciences, Beijing, China School of Computer Information Engineering, Xiamen University of Technology, Xiamen, China Vascular Research Center, University at Buffalo, NY, USA Department of Pathology Anatomical Sciences, University at Buffalo, NY, USA Department of Neurosurgery, University at Buffalo, NY, USA LPIXEL Inc., Tokyo, Japan

AI总结 组织TopCoW基准挑战,发布含125对MRA和CTA扫描的注释数据集,参与者提交CoW分割和变体分类算法,经评估,最佳算法在多任务中表现出色,证明CoW分割算法对下游临床应用有可解释性效用。

Comments Summary paper for the TopCoW Challenge: 4 figures, 1 table, and supplementary material in appendix. Accepted for publication in NEJM AI. Datasets and best-performing algorithm Dockers are available at https://zenodo.org/records/15692630 and https://zenodo.org/records/15665435

详情
AI中文摘要

Willis环(CoW)是连接大脑主要循环的重要动脉网络。其血管结构被认为会影响严重神经血管疾病的风险、严重程度和结果。然而,表征高度可变的CoW解剖结构仍然是一项人工且耗时的专家任务。CoW通常通过磁共振血管造影(MRA)和计算机断层血管造影(CTA)这两种非侵入性血管造影成像方式进行成像,但带注释的CoW解剖结构数据集很少,也没有用于比较CoW分割算法的既定基准。我们组织了TopCoW基准挑战,并发布了一个带注释的CoW数据集,其中包含来自同一患者的125对MRA和CTA扫描。使用虚拟现实技术创建了13个血管成分的体素级注释,并由临床专家进行了验证。参与者提交了CoW分割和变体分类算法,我们在包含来自五个以上中心的226次扫描的内部和外部测试集上进行了评估。该基准包括体素级分割、CoW成分检测、CoW变体分类和两个临床应用任务。我们收到了来自六大洲250多名参与者的提交。表现最佳的团队在几乎所有测试集中,CoW分割的Dice分数超过90%,关键血管成分检测的F1分数超过80%,CoW变体分类中的平衡准确率超过70%。最佳算法还通过准确分类胎儿型大脑后动脉并定位与CoW解剖结构相关的动脉瘤,支持了临床相关的下游任务。这个基准证明了CoW分割算法在一些具有可解释性的下游临床应用中的效用。

英文摘要

The Circle of Willis (CoW) is an important network of arteries connecting major circulations of the brain. Its vascular architecture is believed to influence the risk, severity, and outcome of serious neurovascular diseases. However, characterizing the highly variable CoW anatomy remains a manual and time-consuming expert task. The CoW is commonly imaged by two non-invasive angiographic imaging modalities, magnetic resonance angiography (MRA) and computed tomography angiography (CTA), yet few datasets with annotated CoW anatomy exist, and there have been no established benchmarks for comparing CoW segmentation algorithms. We organized the TopCoW benchmark challenge alongside the release of an annotated CoW dataset with 125 paired MRA and CTA scans from the same patients. Voxel-level annotations for 13 vessel components were created using virtual reality technology and verified by clinical experts. Participants submitted algorithms for CoW segmentation and variant classification, which we evaluated on internal and external test sets comprising 226 scans from over five centers. The benchmark includes voxel-level segmentation, CoW component detection, CoW variant classification, and two clinical application tasks. We received submissions from over 250 participants across six continents. Top-performing teams achieved over 90% Dice scores for CoW segmentation, over 80% F1 scores for detecting key vessel components, and over 70% balanced accuracy in CoW variant classification across nearly all test sets. The best algorithms also supported clinically relevant downstream tasks by accurately classifying fetal-type posterior cerebral arteries and localizing aneurysms in relation to CoW anatomy. This benchmark demonstrated the utility of CoW segmentation algorithms for some downstream clinical applications with explainability.

URL PDF HTML 收藏
2607.11758 2026-07-14 cs.LG 新提交

From Global to Factor-Wise Expert Composition in Discrete Diffusion Models

从离散扩散模型中的全局专家组合到因子级专家组合

Haozhe Huang, Yudong Xu, Abhijoy Mandal, Alán Aspuru-Guzik

机构 * University of Toronto(多伦多大学) Vector Institute for Artificial Intelligence(向量人工智能研究所) Mechanical & Industrial Engineering, University of Toronto(多伦多大学机械与工业工程系) Canadian Institute for Advanced Research (CIFAR)(加拿大高级研究所)

AI总结 研究针对离散扩散模型中专家组合方法的局限性,提出因子级组合框架FactorDiff,将样本分解为更小因子,通过动态路由使因子与相关专家匹配,在ARC - AGI基准测试中表现优于全局标量加权方案。

详情
AI中文摘要

离散扩散模型为解决复杂推理任务提供了强大框架,特别是通过组合生成,将多个预训练专家结合以超越其各自训练数据进行泛化。近期理论修正引入了随时间变化的混合权重,以更好地使组合扩散动力学与预期目标对齐。然而,这些方法基于逐个样本工作,整体处理每个生成状态,忽略了不同专家潜在的空间或功能专业化。在本文中,我们提出了FactorDiff——一种用于扩散模型的因子级组合框架,以解决此限制。我们认为样本可进一步分解为更小因子,并提出一种采样过程,将每个因子动态路由到最相关专家。我们用空间/像素级组合实例化此框架,并在ARC - AGI基准上进行验证,表明在需要逻辑一致性和空间解缠的任务上,简单的因子特定路由始终优于复杂的全局标量加权方案。

英文摘要

Discrete diffusion models offer a powerful framework for solving complex reasoning tasks, particularly through compositional generation, which combines multiple pre-trained experts to generalize beyond their individual training data. Recent theoretical corrections introduce time-dependent mixing weights to better align composed diffusion dynamics with the intended target. However, these methods are fundamentally limited by working on a per-sample basis, treating each generated state monolithically and ignoring the potential spatial or functional specializations of different experts. In this work, we address this limitation by proposing FactorDiff - a factor-wise composition framework for diffusion models. We posit that samples can be further decomposed into smaller factors, and propose a sampling process that dynamically routes each factor to the most relevant expert. We instantiate this framework with spatial/pixel-level compositions and validate it on the ARC-AGI benchmark, demonstrating that simple factor-specific routing consistently outperforms complex global scalar weighting schemes on tasks that require logical consistency and spatial disentanglement.

URL PDF HTML 收藏
2607.11090 2026-07-14 cs.CV 新提交

Why Low-Light Cameras Go Color Blind: Removing Color Bias in Raw Denoising

为何低光相机出现色盲现象:去除原始图像去噪中的颜色偏差

Mohammad Mohammadi, Sina Honari, Stavros Tsogkas, Tristan Aumentado-Armstrong, Michael S. Brown, Iqbal Mohomed, Konstantinos G. Derpanis, Alex Levinshtein, Igor Gilitschenski

机构 * University of Toronto(多伦多大学) Vector Institute(向量研究所) AI-Center Toronto, Samsung Electronics(多伦多人工智能中心,三星电子公司) York University(约克大学)

AI总结 研究低光原始图像去噪,提出无需相机校准的范式,引入偏差估计器网络预测黑电平误差,在多个数据集上评估表现出色,还发现SIDD数据集问题并提供校正基准。

Comments Accepted at ICCP 2026

详情
AI中文摘要

原始图像由于光线的随机性和传感器硬件缺陷而固有地存在噪声。随着实际光子数下降,噪声与信号的比率恶化,因此在低光条件下,强大的去噪对于高质量结果尤为重要。虽然最近的数据驱动方法性能强劲,但通常依赖大规模有噪声-无噪声图像对,成本高且难以收集。参数噪声模型可生成合成训练数据,但需要精确相机校准,对未知设备通常不实用。本文提出一种无需相机校准的低光原始图像去噪范式。识别出黑电平误差导致的颜色偏差是性能下降的主要来源并会引起严重颜色偏移。为此引入偏差估计器网络预测黑电平误差作为噪声输入的全局特征。在ELD、SID和LRID数据集上评估该方法,在盲去噪器中表现出色,特别是在颜色校正方面。还揭示广泛使用的SIDD数据集在其真值图像中存在显著颜色偏差,引入新的真值提取框架解决此问题并提供校正数据集上现有方法的基准。

英文摘要

Raw images inherently suffer from noise due to the stochastic nature of light and sensor hardware imperfections. As real photon counts fall, the ratio of this noise to the signal degrades; consequently, for low-light conditions, robust denoising is especially vital for high-quality results. While recent data-driven methods achieve strong performance, they typically rely on large-scale noisy-clean image pairs that are costly and difficult to collect. Alternatively, parametric noise models can generate synthetic training data, but this necessitates precise camera calibration, which is often impractical for unknown devices. In this work, we propose a camera-agnostic, calibration-free paradigm for low-light raw denoising. We identify that color bias from black-level error is a primary source of performance degradation and causes severe color shifts. To mitigate this, we introduce a bias estimator network that predicts the black-level error as a global feature of the noisy input. We evaluate our approach across the ELD, SID, and LRID datasets, demonstrating superior performance among blind denoisers, particularly in terms of color correction. In many cases, we are competitive with-or can even surpass-methods with stronger supervision. Furthermore, we reveal that the widely used SIDD dataset contains significant color bias in its ground-truth images, which yields unrealistic color reproduction in trained models. We introduce a new ground-truth extraction framework to resolve this issue and provide a benchmark of existing methods on the corrected dataset.

URL PDF HTML 收藏
2605.17932 2026-07-14 cs.CL cs.AI 版本更新

Prompt Compression in Diffusion Large Language Models: Evaluating LLMLingua-2 on LLaDA

在扩散大型语言模型中进行提示压缩:在LLDA上评估LLMLingua-2

Sterling Huang, Abigayle Brown, Jiyoo Noh, Jiakang Xu, Wantong Huo, Kaung Myat Kyaw, Jonathan Chan

机构 * University of Toronto(多伦多大学) King Mongkut’s University of Technology Thonburi(泰国科技理工学院)

AI总结 本文研究了提示压缩在扩散大型语言模型中的有效性,通过在LLDA上评估LLMLingua-2,发现提示压缩在数学推理任务中效果不佳,而摘要任务相对稳健,表明为扩散模型设计的提示压缩方法并不适用于所有场景。

Comments Accepted to appear in The 14th International Conference on Advances in Information Technology (IAIT2026)

详情
AI中文摘要

提示压缩可以减少大型语言模型的推理成本和上下文长度,但之前的评估主要集中在自回归架构上。本研究探讨了提示压缩是否能有效转移到扩散大型语言模型(DLLMs)中,使用LLMLingua-2,特别是具有8B参数的DLLM LLaDA。我们在GSM8K、DUC2004和ShareGPT数据集上使用每个数据集约250个提示,以大约2倍的压缩率,在数学推理、提示重建和摘要任务中评估压缩性能。通过精确匹配准确率、BLEU、ROUGE和BERTScore比较原始提示、压缩提示、重建提示和重建提示推理生成的输出。结果表明,语义保持并不必然意味着在扩散模型中下游行为的稳定性。摘要任务在压缩下相对稳健,而数学推理任务在高语义相似度分数下显著退化。重建实验进一步表明,语义相似的提示可能仍然遗漏了稳定去噪所需的关键推理信息。在所有任务中,BERTScore召回率始终低于精度,表明压缩失败主要由信息遗漏驱动,而非语义漂移。这些发现表明,为自回归模型设计的提示压缩方法并不均匀地适用于扩散大型语言模型,从而推动了为扩散模型设计的压缩策略的发展。

英文摘要

Prompt compression reduces inference cost and context length in large language models, but prior evaluations focus mainly on autoregressive architectures. This study examines whether LLMLingua-2 transfers effectively to diffusion large language models (DLLMs), specifically LLaDA-8B-Instruct. We evaluate GSM8K, DUC2004, and ShareGPT using 250 prompts per dataset at an approximate 50\% compression ratio, covering mathematical reasoning, prompt reconstruction, and summarization. Outputs from original, compressed, and reconstructed prompts are compared using exact-match accuracy, BLEU, ROUGE, and BERTScore. Results show that high semantic preservation does not necessarily ensure stable downstream behavior in diffusion models. Summarization remains relatively robust, while mathematical reasoning degrades substantially despite high semantic similarity. Reconstruction further shows that semantically similar prompts may omit reasoning-critical information needed for stable denoising. Overall, compression failures are mainly driven by information omission rather than semantic drift, suggesting that autoregressive prompt compression methods may not transfer uniformly to DLLMs. These findings motivate diffusion-aware compression strategies.

URL PDF HTML 收藏
2605.15133 2026-07-14 cs.LG 版本更新

Causal Foundation Models with Continuous Treatments

具有连续处理的因果基础模型

Christopher Stith, Medha Barath, Vahid Balazadeh, Jesse C. Cresswell, Rahul G. Krishnan

机构 * Layer 6 AI University of Toronto(多伦多大学) Vector Institute(向量研究所)

AI总结 本文提出首个连续处理因果基础模型,通过设计连续处理变量的数据生成先验,生成丰富因果训练语料,并利用Transformer重建个体治疗响应曲线,实现无需额外训练的因果效应预测。

Comments 21 pages, 9 figures; added link to inference code

详情
AI中文摘要

因果推断,从观测数据估计因果效应,是许多学科中的基本工具。在各种领域中,连续处理设置尤为重要,其中干预变量具有连续范围。这种设置远未被探索,与二元处理设置相比,模型需要表示连续处理值范围内的效应。本文提出首个连续处理设置的因果基础模型。我们的模型元学习了在各种未见过的任务中预测因果效应的能力,无需额外训练或微调。首先,我们设计了一个新的先验,用于生成具有连续处理变量的数据生成过程,以生成丰富的因果训练语料。然后,我们训练了一个Transformer,仅利用观测数据重建个体治疗响应曲线,利用上下文学习来缓解昂贵的贝叶斯后验推断。我们的模型在个体治疗响应曲线重建任务上相比专门训练的因果模型实现了最先进的性能。

英文摘要

Causal inference, estimating causal effects from observational data, is a fundamental tool in many disciplines. Of particular importance across a variety of domains is the continuous treatment setting, where the variable of intervention has a continuous range. This setting is far less explored and represents a substantial shift from the binary treatment setting, with models needing to represent effects across a continuum of treatment values. In this paper, we present the first causal foundation model for the continuous treatment setting. Our model meta-learns the ability to predict causal effects across a wide variety of unseen tasks without additional training or fine-tuning. First, we design a novel prior over data-generating processes with continuous treatment variables in order to generate a rich causal training corpus. We then train a transformer to reconstruct individual treatment-response curves given only observational data, leveraging in-context learning to amortize expensive Bayesian posterior inference. Our model achieves state-of-the-art performance on individual treatment-response curve reconstruction tasks compared to causal models which are trained specifically for those tasks. Inference code (including trained model weights) can be found at https://github.com/layer6ai-labs/CCPFN-inference .

URL PDF HTML 收藏
2604.17906 2026-07-14 cs.IR cs.AI

Bayesian Active Learning with Gaussian Processes Guided by LLM Relevance Scoring for Dense Passage Retrieval

基于LLM相关性评分的高斯过程引导的贝叶斯主动学习用于密集段落检索

Junyoung Kim, Anton Korikov, Jiazhou Liang, Justin Cui, Yifan Simon Liu, Qianfeng Wen, Mark Zhao, Scott Sanner

机构 * Sungkyunkwan University(成均馆大学) University of Toronto(多伦多大学)

AI总结 本文提出BAGEL框架,通过高斯过程引导LLM相关性评分,解决传统方法在语义不同聚类中检索失败和相关性信号传播不足的问题,实验证明其在四个数据集上优于LLM重排序方法。

Comments ACL 2026 Findings

Journal ref Findings of the Association for Computational Linguistics: ACL 2026

详情
AI中文摘要

尽管大语言模型(LLM)在零样本相关性建模方面表现出色,但其高计算成本要求将段落检索视为受预算约束的全局优化问题。现有方法被动依赖第一阶段密集检索器,导致两个局限:(1)无法检索语义不同聚类中的相关段落;(2)无法将相关性信号传播到整个语料库。为解决这些局限,我们提出贝叶斯主动学习与高斯过程相结合的BAGEL框架,通过传播稀疏LLM相关性信号来引导全局探索。BAGEL基于LLM相关性评分在整个嵌入空间中建模多模态相关性分布,随后通过策略性平衡高置信度区域的利用与不确定区域的探索来迭代选择段落进行评分。在四个基准数据集和两个LLM基础架构上的广泛实验表明,BAGEL有效探索并捕捉复杂的相关性分布,并在所有四个数据集上优于相同LLM预算下的LLM重排序方法。

英文摘要

While Large Language Models (LLMs) exhibit exceptional zero-shot relevance modeling, their high computational cost necessitates framing passage retrieval as a budget-constrained global optimization problem. Existing approaches passively rely on first-stage dense retrievers, which leads to two limitations: (1) failing to retrieve relevant passages in semantically distinct clusters, and (2) failing to propagate relevance signals to the broader corpus. To address these limitations, we propose Bayesian Active Learning with Gaussian Processes guided by LLM relevance scoring (BAGEL), a novel framework that propagates sparse LLM relevance signals across the embedding space to guide global exploration. BAGEL models the multimodal relevance distribution across the entire embedding space with a query-specific Gaussian Process (GP) based on LLM relevance scores. Subsequently, it iteratively selects passages for scoring by strategically balancing the exploitation of high-confidence regions with the exploration of uncertain areas. Extensive experiments across four benchmark datasets and two LLM backbones demonstrate that BAGEL effectively explores and captures complex relevance distributions and outperforms LLM reranking methods under the same LLM budget on all four datasets.

URL PDF HTML 收藏
2604.15271 2026-07-14 cs.CV cs.AI cs.LG 版本更新

SegWithU: Uncertainty as Perturbation Energy for Single-Forward-Pass Risk-Aware Medical Image Segmentation

SegWithU:不确定性作为扰动能量用于单次前向传递的鲁棒医学图像分割

Tianhao Fu, Austin Wang, Charles Chen, Roby Aldave-Garza, Yucheng Chen

机构 * University of Toronto(多伦多大学) McGill University(麦吉尔大学) University of Waterloo(滑铁卢大学) Vector Institute(向量研究所) Project Neura University of Toronto Machine Intelligence Student Team(多伦多大学人工智能学生团队) Amplimit

AI总结 SegWithU通过引入轻量级不确定性头,提升单次前向传递医学图像分割的鲁棒性,实现高可靠性分割结果。

详情
AI中文摘要

可靠的不确定性估计对于医学图像分割至关重要,其中自动轮廓为后续量化和临床决策支持提供数据。许多强大的不确定性方法需要多次推理,而高效的单次前向传递替代方案往往提供较弱的失败排名或依赖于限制性的特征空间假设。我们提出了SegWithU,一个后处理框架,它将冻结的预训练分割主干网络与轻量级不确定性头相结合。SegWithU利用主干网络的中间特征,并在紧凑的探测空间中将不确定性建模为扰动能量,使用秩1后验探测器。它生成两个体素级不确定性图:一个用于概率调温的校准图,一个用于错误检测和选择性预测的排名图。在ACDC、BraTS2024和LiTS数据集上,SegWithU是最强且最一致的单次前向传递基线,分别达到AUROC/AURC为0.9838/2.4885、0.9946/0.2660和0.9925/0.8193,同时保持分割质量。这些结果表明,基于扰动的不确定性建模是实现可靠意识医学分割的有效且实用的途径。

英文摘要

Reliable uncertainty estimation is critical for medical image segmentation, where automated contours feed downstream quantification and clinical decision support. Many strong uncertainty methods require repeated inference, while efficient single-forward-pass alternatives often provide weaker failure ranking or rely on restrictive feature-space assumptions. We present $\textbf{SegWithU}$, a post-hoc framework that augments a frozen pretrained segmentation backbone with a lightweight uncertainty head. SegWithU taps intermediate backbone features and models uncertainty as perturbation energy in a compact probe space using rank-1 posterior probes. It produces two voxel-wise uncertainty maps: a calibration-oriented map for probability tempering and a ranking-oriented map for error detection and selective prediction. Across ACDC, BraTS2024, and LiTS, SegWithU is the strongest and most consistent single-forward-pass baseline, achieving AUROC/AURC of $0.9838/2.4885$, $0.9946/0.2660$, and $0.9925/0.8193$, respectively, while preserving segmentation quality. These results suggest that perturbation-based uncertainty modeling is an effective and practical route to reliability-aware medical segmentation. Source code is available at https://github.com/ProjectNeura/SegWithU.

URL PDF HTML 收藏
2603.10407 2026-07-14 cs.RO 版本更新

Rethinking Gaussian Trajectory Predictors: Calibrated Uncertainty for Safe Planning

重新思考高斯轨迹预测器:为安全规划校准不确定性

Fatemeh Cheraghi Pouria, Mahsa Golchoubian, Katherine Driggs-Campbell

机构 * Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校电子与计算机工程系) Department of Mathematical and Computational Sciences, University of Toronto(多伦多大学数学与计算科学系)

AI总结 本文提出了一种新的损失函数,通过核密度估计校准高斯轨迹预测器的不确定性,以提高安全规划性能。

详情
AI中文摘要

准确的轨迹预测对于在拥挤环境中安全自主导航至关重要。虽然许多轨迹预测器输出高斯分布以表示未来行人位置的多模分布,但其置信度的可靠性往往未被考虑。这一限制可能导致在与不确定性感知规划器集成时出现不安全或过于保守的运动规划。现有的高斯轨迹预测器主要依赖于负对数似然损失,这容易预测过高或过低的置信度分布,并可能影响下游规划器的安全性。本文引入了一种新的损失函数,用于校准预测不确定性,该函数利用核密度估计来估计置信度水平的经验分布。所提出的公式通过显式匹配估计的经验分布到卡方分布,从而确保与高斯假设的一致性。为了确保准确的均值预测,还在最终损失公式中加入了均方误差项。在真实世界轨迹数据集上的实验结果表明,我们的方法显著提高了不同前沿高斯轨迹预测器预测置信度的可靠性。我们还展示了为规划器提供可靠概率见解(即校准的置信度)在复杂场景中实现无碰撞导航的重要性。为此,我们将使用我们损失函数训练的高斯轨迹预测器与不确定性感知的模型预测控制相结合,在从真实世界数据集中提取的场景中实现改进的规划性能通过校准的置信度。

英文摘要

Accurate trajectory prediction is critical for safe autonomous navigation in crowded environments. While many trajectory predictors output Gaussian distributions to represent the multi-modal distribution over future pedestrian positions, the reliability of their confidence levels often remains unaddressed. This limitation can lead to unsafe or overly conservative motion planning when the predictor is integrated with an uncertainty-aware planner. Existing Gaussian trajectory predictors primarily rely on the Negative Log-Likelihood loss, which is prone to predict over- or under-confident distributions, and may compromise downstream planner safety. This paper introduces a novel loss function for calibrating prediction uncertainty which leverages Kernel Density Estimation to estimate the empirical distribution of confidence levels. The proposed formulation enforces consistency with the properties of a Gaussian assumption by explicitly matching the estimated empirical distribution to the Chi-squared distribution. To ensure accurate mean prediction, a Mean Squared Error term is also incorporated in the final loss formulation. Experimental results on real-world trajectory datasets show that our method significantly improves the reliability of confidence levels predicted by different State-Of-The-Art Gaussian trajectory predictors. We also demonstrate the importance of providing planners with reliable probabilistic insights (i.e. calibrated confidence levels) for collision-free navigation in complex scenarios. For this purpose, we integrate Gaussian trajectory predictors trained with our loss function with an uncertainty-aware Model Predictive Control on scenarios extracted from real-world datasets, achieving improved planning performance through calibrated confidence levels.

URL PDF HTML 收藏
2601.22146 2026-07-14 cs.CL cs.LG 版本更新

FineInstructions: Scaling Synthetic Instructions to Pre-Training Scale

精细指令:将合成指令扩展到预训练规模

Ajay Patel, Colin Raffel, Chris Callison-Burch

机构 * University of Pennsylvania(宾夕法尼亚大学) University of Toronto(多伦多大学) Vector Institute(向量研究所)

AI总结 研究针对大语言模型监督训练数据有限的问题,提出将互联网规模预训练文档知识转化为合成指令和答案训练对的程序,生成FineInstructions数据集,经实验验证该方法在预训练中表现优于其他技术。

详情
AI中文摘要

由于监督训练数据有限,大语言模型通常通过在大量非结构化文本数据上进行自监督的“预测下一个单词”目标来预训练。为使模型对用户有用,还会在由指令和响应的监督训练示例组成的少量“指令微调”数据上进一步训练。为克服监督数据量有限的问题,我们提出一种程序,可将互联网规模预训练文档中的知识转化为数十亿个合成指令和答案训练对。由此产生的数据集FineInstructions使用从真实用户编写的查询和提示中创建的约1800万个指令模板。这些指令模板与非结构化预训练语料库中的人工编写源文档匹配并实例化。利用这种规模生成的“监督”合成训练数据,大语言模型可以仅通过指令微调目标从头开始预训练,这与大语言模型预期的下游使用(响应用户提示)更符合分布。我们进行了逐token的受控训练实验,发现在衡量自由形式响应质量的标准基准上,在FineInstructions上进行预训练优于标准预训练和其他提出的合成预训练技术。我们的资源可在这个https网址找到。

英文摘要

Due to limited supervised training data, large language models (LLMs) are typically pre-trained via a self-supervised "predict the next word" objective on a vast amount of unstructured text data. To make the resulting model useful to users, it is further trained on a far smaller amount of "instruction-tuning" data comprised of supervised training examples of instructions and responses. To overcome the limited amount of supervised data, we propose a procedure that can transform the knowledge in internet-scale pre-training documents into billions of synthetic instruction and answer training pairs. The resulting dataset, called FineInstructions, uses ~18M instruction templates created from real user-written queries and prompts. These instruction templates are matched to and instantiated with human-written source documents from unstructured pre-training corpora. With "supervised" synthetic training data generated at this scale, an LLM can be pre-trained from scratch solely with the instruction-tuning objective, which is far more in-distribution with the expected downstream usage of LLMs (responding to user prompts). We conduct controlled token-for-token training experiments and find pre-training on FineInstructions outperforms standard pre-training and other proposed synthetic pre-training techniques on standard benchmarks measuring free-form response quality. Our resources can be found at https://huggingface.co/fineinstructions .

URL PDF HTML 收藏
2607.09138 2026-07-13 cs.RO 新提交

BeyondSight: Object Permanence for End-to-End Autonomous Driving

超越视野:端到端自动驾驶中的物体持久性

Sandro Papais, Letian Wang, Mudit Jain, Behnaz Rezaei, Steven L. Waslander

机构 * University of Toronto(多伦多大学) Qualcomm Technologies, Inc.(高通技术公司)

AI总结 研究针对自动驾驶中物体易被遮挡问题,提出超越视野框架,通过维持持久物体假设解耦物体存在与可观测性,引入nuScenes - Permanence用于训练评估,实验证明该框架显著提升遮挡推理能力,凸显物体持久性对自动驾驶的重要性。

Comments Accepted to ECCV 2026

详情
AI中文摘要

自动驾驶运行在部分可观测环境中,物体可能被其他车辆或基础设施完全遮挡。大多数端到端驾驶系统将物体的存在与即时观测隐含地联系在一起,导致在长时间遮挡期间物体假设退化或消失,使潜在关键物体从下游预测和规划中消失。我们引入了超越视野(BeyondSight),这是一个具有持久性感知的端到端驾驶框架,通过随时间维持持久的物体假设,将物体的存在与可观测性解耦。超越视野在时间上传播物体查询,并用观测条件证据更新它们,即使物体暂时不可观测,也能使联合感知、预测和规划对物体进行推理。为了对具有持久性感知的模型进行有原则的训练和评估,我们进一步引入了nuScenes - Permanence,它是nuScenes的扩展,为不可观测物体提供监督和基于可观测性的评估。实验表明,超越视野显著提高了遮挡情况下的推理能力,将不可观测物体的检测性能从0提高到0.249 mAP,同时将规划误差从0.61降低到0.54 L2avg。这些结果凸显了物体持久性作为稳健端到端自动驾驶重要建模原则的地位。

英文摘要

Autonomous driving operates in partially observable environments where actors may become fully occluded by other vehicles or infrastructure. Most end-to-end driving systems implicitly couple actor existence to instantaneous observations, causing actor hypotheses to degrade or disappear during prolonged occlusion and removing potentially critical agents from downstream prediction and planning. We introduce BeyondSight, a permanence-aware end-to-end driving framework that decouples actor existence from observability by maintaining persistent actor hypotheses over time. BeyondSight propagates actor queries temporally and updates them with observation-conditioned evidence, enabling joint perception, prediction, and planning to reason about actors even when they are temporarily unobservable. To enable principled training and evaluation of persistence-aware models, we further introduce nuScenes-Permanence, an extension of nuScenes that provides supervision and observability-conditioned evaluation for unobservable actors. Experiments show that BeyondSight substantially improves reasoning under occlusion, increasing detection performance for unobservable actors from 0 to 0.249 mAP while reducing planning error from 0.61 to 0.54 L2avg. These results highlight object permanence as an important modeling principle for robust end-to-end autonomous driving.

URL PDF HTML 收藏
2607.08932 2026-07-13 cs.CV 新提交

Vision Transformers Learn Gestalt-Like Figure-Ground Cues from Natural Images

视觉Transformer从自然图像中学习格式塔样的图形-背景线索

Matthias Tangemann, Benjamin Lo, Zygmunt Pizlo, Kaleem Siddiqi, Dirk B. Walther, Sven Dickinson

机构 * University of Toronto(多伦多大学) Vector Institute(向量研究所) McGill University(麦吉尔大学) MILA(蒙特利尔学习算法研究院) UC Irvine(加州大学欧文分校)

AI总结 研究评估视觉Transformer中基于形状的图形-背景组织,通过拟合线性探针,用自然图像和人工刺激测试25个ViT,发现其能编码被包围性和凸性,自然图像训练的探针可零样本泛化,对称性结果有别,证明线索可从自然场景学,ViT是研究感知组织的有力模型。

详情
AI中文摘要

人类视觉系统中的图形-背景组织依赖于多种基于形状的线索,包括被包围性、凸性和对称性。虽然这些线索已通过抽象刺激得到广泛研究,但对于它们在自然条件下如何运作或如何从自然场景统计中产生却知之甚少。深度神经网络提供了一条有前景的道路:一个依赖与人类相同图形-背景线索的模型将为潜在机制提供易于处理的实验途径。在本研究中,我们评估了视觉Transformer(ViT)中基于形状的图形-背景组织,此前工作已证明其出现基于对象的分组。我们通过拟合线性探针,使用自然图像和隔离单个线索的受控人工刺激,从中间补丁表示预测图形-背景分配,测试了25个跨越监督和自监督训练目标的ViT。结果表明,ViT能稳健地编码被包围性和凸性,且在自然图像上训练的探针能在多个模型上零样本泛化到人工刺激。对于对称性,结果不一:均匀着色区域能编码该线索,纹理区域则不能。总之,我们的发现表明格式塔样的图形-背景线索可从自然场景统计中学习,并将ViT定位为研究感知组织计算机制的有力模型系统。代码和数据可在该https网址获取。

英文摘要

Figure-ground organization in the human visual system relies on several shape-based cues, including surroundedness, convexity, and symmetry. While these cues have been extensively studied using abstract stimuli, little is known about how they operate under natural conditions or how they arise from the statistics of natural scenes. Deep neural networks offer a promising path forward: a model that relies on the same figure-ground cues as humans would provide tractable experimental access to the underlying mechanisms. In this study, we evaluate shape-based figure-ground organization in Vision Transformers (ViTs), for which prior work has demonstrated the emergence of object-based grouping. We test 25 ViTs spanning supervised and self-supervised training objectives, by fitting linear probes to predict figure-ground assignment from intermediate patch representations using both natural images and controlled artificial stimuli that isolate individual cues. Our results show that ViTs robustly encode surroundedness and convexity, and that probes trained on natural images generalize zero-shot to artificial stimuli across several models. For symmetry we observe mixed results: the cue is encoded for uniformly colored but not for textured regions. Taken together, our findings demonstrate that Gestalt-like figure-ground cues can be learned from natural scene statistics and position ViTs as a compelling model system for studying the computational mechanisms of perceptual organization. Code and data is available at https://github.com/mtangemann/mlvbench

URL PDF HTML 收藏
2606.26408 2026-07-13 cs.RO 新提交

Exploring the Intrinsic Geometry of Diffusion Models with Constrained Inverse Kinematics

探索扩散模型在约束逆运动学中的内在几何结构

Miguel Angel Rogel Garcia, Phone Thiha Kyaw, Jonathan Kelly

机构 * Institute for Aerospace Studies, University of Toronto(航空航天研究所以及多伦多大学)

AI总结 通过约束逆运动学问题,研究扩散模型能否恢复数据流形的内在几何结构,实验表明模型得分函数恢复的内在维度与解析自由度匹配,且潜在空间线性插值保持约束流形结构。

Comments Accepted to Robotics: Science and Systems (RSS) 2026 Workshop on Diffusion for Robot Learning

详情
AI中文摘要

最近的研究表明,扩散模型可以恢复其训练数据流形中的几何结构,但迄今为止的支持证据主要来自自然图像数据,其底层几何结构本身是未知的。我们在一个几何结构可解析处理的设置中研究这个问题:约束逆运动学(IK)。每个任务空间约束定义一个具有已知内在维度的配置空间流形,为评估模型学习的几何结构提供了直接的真实数据。对于6自由度UR5和7自由度Franka,我们训练了一个单一的条件扩散模型,涵盖七个约束族,从离散IK分支到自运动流形。我们的实证结果表明,从模型得分函数恢复的内在维度与两个机器人上相应约束流形的解析自由度相匹配。此外,潜在空间中的线性插值导致生成的解保持接近适当的约束流形,表明学习到的表示进一步捕获了约束族的内在维度之外的几何结构。因此,约束逆运动学为研究扩散模型学习的内在几何结构提供了一个受控环境。

英文摘要

Recent studies suggest that diffusion models can recover geometric structure in the data manifolds they are trained on, yet the supporting evidence has so far come mostly from natural-image data, where the underlying geometry itself is unknown. We study this question in a setting where the geometry is analytically tractable: constrained inverse kinematics (IK). Each task-space constraint defines a configuration-space manifold with known intrinsic dimension, giving direct ground truth for evaluating the geometry learned by the model. For each of the 6-DoF UR5 and 7-DoF Franka, we train a single conditional diffusion model across seven constraint families, spanning solution manifolds from discrete IK branches to self-motion manifolds. Our empirical results reveal that the intrinsic dimension recovered from the model's score function matches the analytical degrees of freedom of the corresponding constraint manifold across both robots. Moreover, linear interpolation in the latent space leads to generated solutions that remain close to the appropriate constraint manifold, indicating that the learned representation further captures geometric structure of the constraint family beyond intrinsic dimension alone. Constrained IK therefore offers a controlled setting for studying the intrinsic geometry learned by diffusion models.

URL PDF HTML 收藏
2604.16238 2026-07-13 cs.LG physics.ao-ph stat.ML 版本更新

Enhancing AI and Dynamical Subseasonal Forecasts with Probabilistic Bias Correction

通过概率性偏误校正增强人工智能和动力学亚季预测

Hannah Guan, Soukayna Mouatadid, Paulo Orenstein, Judah Cohen, Haiyu Dong, Zekun Ni, Jeremy Berman, Genevieve Flaspohler, Alex Lu, Jakob Schloer, Joshua Talib, Jonathan A. Weyn, Lester Mackey

机构 * Harvard College(哈佛学院) University of Toronto(多伦多大学) Instituto de Matemática Pura e Aplicada(数学与应用数学研究所) Massachusetts Institute of Technology(麻省理工学院) Atmospheric and Environmental Research(大气与环境研究) Microsoft Corporation(微软公司) Rhiza Research(Rhiza研究) Microsoft Research New England(微软新英格兰研究院) European Centre for Medium-Range Weather Forecasts(欧洲中期天气预报中心)

AI总结 本文提出概率性偏误校正方法,通过学习历史概率预测来减少系统性误差,显著提升亚季预测能力,应用于ECMWF模型后,AI预测系统技能翻倍,操作性去偏模型在91%压力、92%温度和98%降水目标上表现更优。

详情
AI中文摘要

决策者依赖天气预报来种植作物、管理野火、分配水和能源以及应对极端天气。如今,得益于物理基础动力学模型和数据驱动的人工智能(AI)模型的持续进步,预报在两周内具有前所未有的准确性。然而,在亚季时间尺度(提前2-6周)上,模型技能急剧下降,这是由于累积误差和持续偏误的叠加。为应对这种退化,我们引入了概率性偏误校正(PBC),一种机器学习框架,通过学习纠正历史概率预测来大幅减少系统性误差。当应用于欧洲中期天气预报中心(ECMWF)的领先动力学和AI模型时,PBC使AI预测系统在亚季预测中的技能翻倍,并提高了操作性去偏动力学模型在91%的压力、92%的温度和98%的降水目标上的技能。我们为PBC设计了用于运营部署,并在ECMWF的2025实时预测竞赛中,其全球预报在所有天气变量和预报时间上均排名第一,优于六个运营预测中心的动力学模型、一个国际动力学多模型集合、ECMWF的AI预测系统以及34个全球团队的预测系统。这些概率技能提升转化为对极端事件的更准确预测,并有潜力改善易受损害社区的农业规划、能源管理和灾害准备。

英文摘要

Decision-makers rely on weather forecasts to plant crops, manage wildfires, allocate water and energy, and prepare for weather extremes. Today, such forecasts enjoy unprecedented accuracy out to two weeks thanks to steady advances in physics-based dynamical models and data-driven artificial intelligence (AI) models. However, model skill drops precipitously at subseasonal timescales (2 - 6 weeks ahead), due to compounding errors, systemic model biases, and the chaotic nature of the atmosphere. To counter this degradation, we introduce probabilistic bias correction (PBC), a machine learning framework that substantially reduces systematic error by learning to correct historical probabilistic forecasts. When applied to the leading dynamical and AI models from the European Centre for Medium-Range Weather Forecasts (ECMWF), PBC doubles the modest subseasonal skill of the AI Forecasting System and improves the skill of the operationally-debiased dynamical model for 91% of pressure, 92% of temperature, and 98% of precipitation targets. We designed PBC for operational deployment, and, in ECMWF's 2025 real-time forecasting competition, its global forecasts placed first for all weather variables and lead times, outperforming the dynamical models from six operational forecasting centers, an international dynamical multi-model ensemble, ECMWF's AI Forecasting System, and the forecasting systems of 34 teams worldwide. These probabilistic skill gains translate into more accurate prediction of extreme events and have the potential to improve agricultural planning, energy management, and disaster preparedness in vulnerable communities.

URL PDF HTML 收藏
2512.16861 2026-07-13 cs.RO cs.AI cs.LG 版本更新

ReinforceGen: Hybrid Skill Policies with Automated Data Generation and Reinforcement Learning

ReinforceGen:具有自动数据生成和强化学习的混合技能策略

Zihan Zhou, Animesh Garg, Ajay Mandlekar, Caelan Garrett

机构 * University of Toronto(多伦多大学) Vector Institute(向量研究所) Georgia Institute of Technology(佐治亚理工学院) NVIDIA Research(NVIDIA研究)

AI总结 针对机器人长期操纵挑战,ReinforceGen系统结合任务分解、数据生成、模仿学习与运动规划形成初始方案,经强化学习微调,在Robosuite数据集基准测试中成功率达80%,消融研究显示微调使性能平均提升89%,实际评估也有显著改进。

详情
AI中文摘要

长期操纵一直是机器人领域的长期挑战。我们提出了ReinforceGen系统,它结合任务分解、数据生成、模仿学习和运动规划来形成初始解决方案,并通过基于强化学习的微调改进每个组件。ReinforceGen首先将任务分割为多个局部技能,通过运动规划连接。技能和运动规划目标在由10次人类演示生成的数据集上用模仿学习训练,然后通过在线自适应和强化学习进行微调。在Robosuite数据集上进行基准测试时,ReinforceGen在最高重置范围设置下的所有视觉运动控制任务中成功率达到80%。额外的消融研究表明,我们的微调方法使平均性能提高了89%。最后,ReinforceGen在实际评估中通过微调展示了显著改进。更多结果和视频可在该https网址获取。

英文摘要

Long-horizon manipulation has been a long-standing challenge in the robotics community. We propose ReinforceGen, a system that combines task decomposition, data generation, imitation learning, and motion planning to form an initial solution, and improves each component through reinforcement-learning-based fine-tuning. ReinforceGen first segments the task into multiple localized skills, which are connected through motion planning. The skills and motion planning targets are trained with imitation learning on a dataset generated from 10 human demonstrations, and then fine-tuned through online adaptation and reinforcement learning. When benchmarked on the Robosuite dataset, ReinforceGen reaches 80% success rate on all tasks with visuomotor controls in the highest reset range setting. Additional ablation studies show that our fine-tuning approaches contribute to an 89% average performance increase. Finally, ReinforceGen demonstrates significant improvement through fine-tuning in our real-world evaluations. More results and videos are available at https://reinforcegen.github.io.

URL PDF HTML 收藏