Neural Slack Variables for Shape Constraints
形状约束的神经松弛变量
机构 * Imperial College London（伦敦帝国理工学院） ； University of St. Gallen（圣加仑大学）
AI总结 提出神经松弛变量方法，将约束强制执行转化为回归问题，通过联合学习辅助网络实现零违规，应用于单调性和凸性约束及金融波动曲面学习。
高校专区
Imperial College London（帝国理工学院）
Detecting Functional Memorization in Code Language Models
检测代码语言模型中的功能记忆
机构 * Meta ； Imperial College London（伦敦帝国学院）
AI总结 研究代码语言模型的功能记忆现象，通过反事实设置对比暴露目标代码的模型与未暴露的参考模型，使用文本和功能相似性度量，发现功能记忆超出文本重叠的检测范围。
AfriSUD: A Dependency Treebank Collection for Evaluating Models on African Languages
AfriSUD：用于评估非洲语言模型的依存树库集合
机构 * Princeton University（普林斯顿大学） ； Laboratory for Artificial Intelligence, Princeton University（普林斯顿大学人工智能实验室） ； Gaston Berger University（加斯顿·伯杰大学） ； Mila, McGill University（麦吉尔大学米拉研究所） ； Canada CIFAR AI Chair（加拿大CIFAR人工智能教席） ； Paris Nanterre University（巴黎南泰尔大学） ； Paris-Saclay University（巴黎-萨克雷大学） ； CNRS（法国国家科学研究中心） ； Inria（法国国家信息与自动化研究所） ； LORIA（洛林计算机科学实验室） ； Université de Lorraine（洛林大学） ； University of Trento（特伦托大学） ； University of Minnesota–Twin Cities（明尼苏达大学双城分校） ； Imperial College London（伦敦帝国学院） ； Binghamton University（宾汉姆顿大学） ； Makerere University（马凯雷雷大学） ； Penn State University（宾夕法尼亚州立大学） ； Mbarara University of Science and Technology（姆巴拉拉科技大学） ； Chalmers University of Technology（查尔姆斯理工大学） ； University of Ibadan（伊巴丹大学） ； Nnamdi Azikiwe University（纳姆迪·阿齐基韦大学） ； South African Centre for Digital Language Resources（南非数字语言资源中心）
AI总结 为弥补非洲语言在NLP资源上的不足，构建了首个大规模九种非洲语言句法标注树库AfriSUD，评估多种模型发现显著句法差距。
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Pythagoras-Prover: 通过增强型Lean形式化推进高效形式化证明
机构 * Imperial College London（伦敦帝国学院） ； University of Edinburgh（爱丁堡大学） ； Nanyang Technological University（南洋理工大学） ； MBZUAI（穆罕默德·本·扎耶德人工智能大学）
AI总结 提出Pythagoras-Prover系列，包括自回归和扩散模型，通过课程SFT、动态过滤和增强型Lean形式化（ALF）扩展验证数据，在MiniF2F-Test上以更少参数超越DeepSeek-Prover-V2。
Comments Pythagoras-Prover: Technical Report
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
DecompSR：用于组合多跳空间推理分解分析的数据集
机构 * The Alan Turing Institute（艾伦·图灵研究所） ； Imperial College London（帝国理工学院伦敦分校） ； The University of Leeds（利兹大学） ； City St George’s University of London（伦敦城市圣乔治大学）
AI总结 提出DecompSR数据集（超500万数据点），通过程序化生成独立控制组合性的多个方面（如推理深度、语言变异性），用于细粒度评估大语言模型的空间推理能力。
Echo2ECG: Enhancing ECG Representations with Cardiac Morphology from Multi-View Echos
Echo2ECG：利用多视角超声心动图的心脏形态增强心电图表示
机构 * Chair for AI in Healthcare and Medicine, Technical University of Munich (TUM) and TUM University Hospital（人工智能在医疗与医学中的中心，慕尼黑技术大学（TUM）和慕尼黑大学医院） ； Department of Cardiology, TUM University Hospital（心血管科，慕尼黑大学医院） ； Department of Computing, Imperial College London（计算系，伦敦帝国理工学院） ； Munich Center for Machine Learning (MCML)（慕尼黑机器学习中心（MCML））
AI总结 提出Echo2ECG多模态自监督学习框架，通过多视角超声心动图丰富心电图表示，在结构表型分类和超声检索任务上优于现有方法，模型大小仅为最大基线的1/18。
Comments Accepted at MICCAI 2026
MA-DLE: Speech-based Automatic Depression Level Estimation via Memory Augmentation
MA-DLE: 基于记忆增强的语音自动抑郁程度估计
机构 * Tianjin Normal University（天津师范大学） ； Tsinghua University（清华大学） ； Technical University of Munich（慕尼黑技术大学） ； Imperial College London（伦敦帝国理工学院）
AI总结 提出记忆增强特征方法，通过选择性整合历史时序特征和动态记忆特征，结合层次注意力融合模块，在DAIC-WOZ和E-DAIC数据集上实现最优性能。
Comments Accepted at IEEE TAC
DynaTok: Token-Based 4D Reconstruction from Partial Point Clouds
DynaTok: 基于Token的部分点云4D重建
机构 * Technical University of Munich（慕尼黑工业大学） ； Google（谷歌） ； Imperial College London（伦敦帝国理工学院） ； University of Bonn（波恩大学）
AI总结 提出DynaTok框架，通过Transformer时空编码器和流匹配解码器，从部分点云序列中无对应地重建完整且时间一致的4D点云，无需图像。
Comments ICML 2026. Project page: https://wrchen530.github.io/dynatok/
How Low Can You Go? Active Learning for Sparse Model Discovery in the Ultra-Low-Data Limit
你能低到多少？超低数据极限下稀疏模型发现的主动学习
机构 * Department of Mechanical Engineering, University of Washington（华盛顿大学机械工程系） ； NSF AI Institute in Dynamic Systems, University of Washington（华盛顿大学NSF动态系统人工智能研究所） ； Department of Aeronautics, Imperial College London（伦敦帝国理工学院航空系）
AI总结 针对超低数据极限下动力学系统方程发现的数据稀缺问题，提出基于E-SINDy的主动学习策略，通过迭代优先采样信息量大的区域，在Lorenz、Burgers和Kuramoto-Sivashinsky系统上验证了比随机采样更少数据即可准确识别动力学。
Comments 20 pages, 10 figures
Compiler-First State Space Duality and Portable $O(1)$ Autoregressive Caching for Inference
编译器优先的状态空间对偶性与可移植的 $O(1)$ 自回归缓存推理
机构 * Imperial College London（帝国理工学院伦敦分校）
AI总结 提出一种基于编译器优先的状态空间对偶性（SSD）结构的推理方法，通过标准JAX原语实现无自定义内核的单源推理路径，在TPU和GPU上达到高硬件利用率，且缓存解码速度比全前缀重计算快27-36倍。
Comments 21 pages, 6 figures. Code available at: https://github.com/CosmoNaught/mamba2-jax
Superficial Beliefs in LLM Decision-Making
LLM决策中的表面信念
机构 * Department of Computing, Imperial College London（帝国理工学院计算系）
AI总结 研究大型语言模型在二元选择中是否仅模仿理由，通过合成决策实验发现模型行为有系统性但自我报告与行为推断的驱动因素不完全一致，表明存在“表面信念”。
Comments Under review
Multi-task LLMs for Bug Classification: Efficient Inference with Auxiliary Decoding Heads
多任务大语言模型用于缺陷分类：基于辅助解码头的高效推理
机构 * Recurse Ltd. ； Department of Computing, Imperial College London（帝国理工学院计算机系）
AI总结 提出一种轻量级多任务大语言模型（MLC），通过令牌对齐算法和优化训练策略，实现全文件上下文下的行级缺陷定位，性能与代理方法相当但推理延迟降低数个数量级。
Comments 8 pages, 6 pages appendix
Interactions Between Crosscoder Features: A Compact Proofs Perspective
交叉编码器特征间的交互：一个紧凑证明的视角
机构 * Anthony J. Leggett Institute for Condensed Matter Theory（安东尼·J·莱格特凝聚态理论研究所） ； MATS ； UK AI Security Institute (AISI)（英国人工智能安全研究所） ； Imperial College London（帝国理工学院伦敦分校） ； Goodfire ； University of Cambridge（剑桥大学） ； Theorem Labs（定理实验室）
AI总结 本文从紧凑证明角度形式化交叉编码器特征交互，提出交互度量并应用于计算稀疏性、语义聚类和检测休眠代理。
Comments Accepted at the NeurIPS 2025 Workshop on Mechanistic Interpretability
PreAct-Bench: Benchmarking Predictive Monitoring in LLMs
PreAct-Bench：大语言模型中的预测性监控基准
机构 * King’s College London（伦敦国王学院） ； National University of Singapore（新加坡国立大学） ； Southern University of Science and Technology（南方科技大学） ； Thomson Reuters Foundational Research（汤姆森路透基础研究） ； Imperial College London（伦敦帝国学院） ； The Alan Turing Institute（艾伦·图灵研究所）
AI总结 提出预测性监控任务，在动作执行前判断是否会导致不道德行为，并构建PreActBench基准，评估多种模型发现该任务具有挑战性。
Neurosymbolic Learning for Inference-Time Argumentation
用于推理时间论证的神经符号学习
机构 * Department of Computing, Imperial College London（伦敦帝国理工学院计算机系）
AI总结 本文提出了一种用于三元主张验证的可训练神经符号框架，通过在训练和推理过程中结合形式论证语义来指导大语言模型生成论证并分配基础分数，从而提高三元预测的准确性。
Comments Under review
Topological Neural Operators
拓扑神经算子
机构 * Imperial College London（伦敦帝国学院） ； University of San Francisco（旧金山大学）
AI总结 提出拓扑神经算子(TNOs)，利用离散外微积分在细胞复形上实现跨维度耦合，并通过分层结构提升长程信息传播，在PDE基准上优于现有算子。
Hybrid Robustness Verification for Spatio-Temporal Neural Networks
时空神经网络的混合鲁棒性验证
机构 * Imperial College London（伦敦帝国学院）
AI总结 针对3D CNN在视频和体素输入中的鲁棒性验证，提出时空约束建模和STBP框架，实现精确闭式传播与可扩展近似，在UCF-101等基准上提升1.7倍认证鲁棒准确率。
Comments Accepted at the 9th International Symposium on AI Verification (SAIV 2026)
Powering the Future of AI: Navigating the Trade-offs for Europe's Energy Transition and Net-Zero Goals
赋能AI未来：应对欧洲能源转型与净零目标的权衡
机构 * Department of Chemical Engineering, Sargent Centre for Process Systems Engineering, University College London (UCL)（化学工程系、过程系统工程中心、伦敦大学学院（UCL）） ； Centre for Environmental Policy, Imperial College London（环境政策中心、伦敦帝国理工学院）
AI总结 通过21种AI增长情景下的空间优化模型，量化AI对欧洲电力需求、容量、排放和运行的影响，发现AI到2050年可能增加73-723 TWh需求，导致2030-2050年累计排放超调67-181 MtCO2，且AI基础设施选址将更依赖稳定电源和系统灵活性。
Bayesian Selective Latent Inference for Wastewater-First Influenza Monitoring
贝叶斯选择性潜在推断用于污水优先的流感监测
机构 * University of Copenhagen（哥本哈根大学） ； Rutgers University（罗格斯大学） ； Imperial College London（帝国理工学院）
AI总结 提出贝叶斯选择性潜在推断（BSLI），通过后验分布、可回答性认证和成本校准的Bellman策略，在污水优先流感监测中优化查询与弃权决策。
Comments Corresponding authors: Hengguan Huang and Samir Bhatt. Hengguan Huang is the lead corresponding author
Now You (Still) See Me: Detecting Evasive Steganographic Payloads in LLMs
现在你（仍然）能看到我：检测大语言模型中的隐蔽隐写载荷
机构 * UCL Centre for AI（UCL人工智能中心） ； University College London（伦敦大学学院） ； ML Alignment Theory Scholars（机器学习对齐理论学者） ； Department of Computer Science（计算机科学系） ； School of Computing and Communications（计算与通讯学院） ； ETH Zürich（苏黎世联邦理工学院） ； University of Sussex（Sussex大学） ； Imperial College London & University of Oxford（伦敦帝国学院与牛津大学）
AI总结 针对大语言模型隐写外泄风险，提出一种基于非线性MLP探针的对抗性微调方法可系统规避现有线性探针检测，但通过信息论指导的数据级干预可恢复检测能力。
Are Reasoning Vision-Language Models Robust to Semantic Visual Distractions?
推理视觉语言模型对语义视觉干扰具有鲁棒性吗？
机构 * University of Manchester（曼彻斯特大学） ； Marex ； Imperial College London（帝国理工学院）
AI总结 针对推理VLM在真实场景中易受语义视觉干扰的问题，提出Distract-Bench基准，发现推理VLM对语义干扰的鲁棒性低于感知退化，且干扰常被纳入推理过程导致错误答案。
Bayesian Optimization of a Multi-Product Chemical Reactor Using Composite Models and Partial Physics Knowledge
使用复合模型和部分物理知识的多产品化学反应器贝叶斯优化
机构 * Department of Chemical Engineering, Imperial College London（化学工程系，帝国理工学院伦敦分校） ； DCSC, Delft University of Technology（Delft理工大学DCSC）
AI总结 提出一种复合贝叶斯优化方法，利用高斯过程预测物理量并计算利润，结合能量平衡残差惩罚和约束处理，实现多产品反应器的数据驱动实时经济优化。
Comments Accepted to IFAC 2026. 11 pages, 4 figures
SynthICL: Scalable In-context Imitation Learning with Synthetic Data
SynthICL: 基于合成数据的可扩展上下文模仿学习
机构 * The Robot Learning Lab（机器人学习实验室） ； Imperial College London（伦敦帝国理工学院）
AI总结 提出SynthICL框架，利用纯RGB合成数据训练上下文模仿学习策略，避免深度传感和真实数据，通过子目标预测提升控制精度，在16个真实操作任务中平均成功率79%。
VisualFLIP: Do Predictions Depend on Task-Critical Visual Evidence in Multimodal Reasoning?
VisualFLIP: 在多模态推理中，预测是否依赖于任务关键的视觉证据？
机构 * Imperial College London（伦敦帝国理工学院）
AI总结 提出VisualFLIP基准，通过成对图像扰动测试多模态大模型是否真正依赖关键视觉证据，发现正确预测与证据依赖存在分离。
Non-Archimedean Polydisc Spaces and Applications to Optimisation
非阿基米德多圆盘空间及其在优化中的应用
机构 * London School of Geometry and Number Theory（伦敦几何与数论学院） ； Department of Mathematics, Imperial College London（伦敦帝国学院数学系） ； Department of Mathematics, Durham University（杜伦大学数学系）
AI总结 受Berkovich几何启发，提出非阿基米德多圆盘空间，保留刚性层次结构并具备良好几何性质，证明其可嵌入度量树，提出多项式绝对值线性组合的函数类，建立优化理论并给出算法与开源实现。
Comments 54 pages, 23 figures. Comments welcome
Repetition Mismatch: Why Data Mixture Experiments Don't Scale and How to Fix Them
重复不匹配：为什么数据混合实验无法扩展以及如何修复
机构 * Imperial College London（帝国理工学院） ； Cohere
AI总结 针对预训练数据混合中因高质量数据重复率变化导致的小规模实验外推失败问题，提出重复控制子采样方法，在1/16目标token预算下实现接近最优混合，揭示了重复动态而非规模决定实验泛化性。
ThinkBooster: A Unified Framework for Seamless Test-Time Scaling of LLM Reasoning
ThinkBooster: 一种用于LLM推理无缝测试时扩展的统一框架
机构 * MBZUAI ； ETH Zürich（苏黎世联邦理工学院） ； Imperial College London（伦敦帝国理工学院） ； NUS（国立大学新加坡） ； Accenture（埃森哲） ； Innopolis University（因诺普里斯大学） ； Independent Researcher（独立研究者）
AI总结 提出ThinkBooster框架，通过模块化库、联合评估基准和可部署代理服务，实现LLM推理的测试时计算扩展，在数学和编码任务上验证了性能-计算权衡。
AnyHand: A Large-Scale Synthetic Dataset for RGB(-D) Hand Pose Estimation
AnyHand：一个大规模合成数据集用于RGB（-D）手姿态估计
机构 * University of California, San Diego（加州大学圣迭戈分校） ； Lambda, Inc（Lambda公司） ； Imperial College London（伦敦帝国理工学院） ； Nanyang Technological University（南洋理工大学）
AI总结 AnyHand通过提供大规模RGB-D图像和丰富的几何标注，提升了3D手姿态估计的性能，证明了数据多样性和质量对模型效果的重要性。
Dr. SHAP-AV: Decoding Relative Modality Contributions via Shapley Attribution in Audio-Visual Speech Recognition
Dr. SHAP-AV：通过Shapley归因解码音频-视觉语音识别中的相对模态贡献
机构 * Imperial College London, UK（伦敦帝国学院，英国） ； NatWest AI Research, UK（英国NatWest人工智能研究）
AI总结 本文提出Dr.SHAP-AV框架，通过Shapley值分析音频-视觉语音识别中模态贡献，揭示噪声环境下模型对视觉的依赖及音频贡献的稳定性，推动模态加权机制和Shapley归因作为标准诊断工具。
Comments Accepted to INTERSPEECH 2026 [Long Paper track]. Project website: https://umbertocappellazzo.github.io/Dr-SHAP-AV
Enhanced Detection of Tiny Objects in Aerial Images
航拍图像中微小目标的增强检测
机构 * 1 Dept. of Electrical \& Electronic Engineering, Imperial College London 2 Center for Vision, Speech ； Signal Processing, University of Surrey
AI总结 针对YOLOv8在航拍图像中检测微小目标性能不足的问题，提出四种增强策略，并设计MoonNet管道，通过集成多种注意力模块提升检测精度，在微小目标基准上达到最优性能。
Comments Accepted at IEEE ICIP 2026
