AI 算法 · 2026年10月3日(周六)

机器学习、人工智能、自然语言处理、计算机视觉、多智能体。

arXiv astro-ph.IM · cs.LG

Shared Geometry Is Not Shared Physics: A Layerwise Test of the Platonic Representation Hypothesis in Astronomy

说明几何结构相似并不等于物理内容共享:天文学中柏拉图表示假说的分层检验

简介该论文分析了36个预训练模型各层的表示,所用数据为交叉匹配的光学图像、红外图像和光谱。结果显示,所有139组模型与巡天数据的比较在网络某处都存在显著的局部近邻对齐,但对齐程度并不随网络深度普遍增加。研究认为,模型能够恢复跨巡天的相似几何结构,却未能得到本文所测物理属性的巡天不变线性编码。

Kshitij Duraphe, Aravind Kannappan, Dun Li Chan 等

arXiv cs.AI · cs.CL · cs.CY

InvestigationWorlds: An Agentic Environment for Legal Investigation

说明InvestigationWorlds:用于法律调查的智能体环境

简介该论文提出了 InvestigationWorlds,一个面向法律调查的智能体环境。每个环境基于美国联邦法院的真实案件(取自 PACER 系统),并经律师验证的生成流程补充角色标注的文件,形成可供推理的证据语料。在 100 个案例上的评估显示,智能体即使检索到相关证据,也常常接受错误的假设,难以区分法院采纳的假设与其他可能的假设。

Albert Yu Sun, Andrew Benard, Sil Hamilton 等

arXiv cs.CL · cs.AI · cs.CY

Representational Control over Self-Report & Behavior Coherence in LLM Risk-Taking

说明通过表征控制调节大语言模型风险决策中自我报告与行为的一致性

简介该论文研究大语言模型在风险决策中,自我报告与实际行为是否一致。作者用激活导向(activation steering)在模型内部施加干预,比较九种导向向量提取方法在两项行为任务和两种心理测量工具上的效果,覆盖四个开源模型。研究发现,共享的内部干预并不保证两者同时响应:仅任务指令能较弱地同时影响两者,去除表面混淆因素后其行为效应仅剩32%。组合两类方向可同时推动两者,改变符号则使二者朝相反方向变化。

Rafal Kocielnik, Peiyang Song, Pengrui Han 等

arXiv cs.CY · cs.AI

Agent Reliability Profiles in Financial Services

说明金融服务中AI智能体的可靠性档案:一种可验证、可比较的保证证据框架

简介论文指出,目前金融服务领域缺乏描述、验证和比较AI智能体可靠性的统一框架。作者提出“智能体可靠性档案”(Agent Reliability Profile)作为每个智能体的保证证据单元,记录其在既定运行边界内可靠运行的可证伪主张,边界包括自主等级、运行设计域、行为类别和控制范围。该档案按三级保证递进,并可另加跨机构可比的基准档案。

Mike Hsu, Medha Bankhwal, B\'eatrice Moissinac 等

★★★★☆ 值得关注
arXiv cs.CL

Copying Before Suppression: What Drives a Below-Chance Dip During Language Model Training?

说明抑制之前先复制:语言模型训练中低于随机水平的暂时下降由什么驱动?

简介该论文研究语言模型在训练早期的一段时间内,在间接宾语识别任务上偏好重复出现的名字,导致正确率低于一半。作者通过分析注意力头及其输出,发现一种暂时的两种计算之间的失衡是原因,并在多个Pythia、GPT-2和OLMo模型中验证了类似的早期到后期的逆转现象。

看点发现早期训练中一过性的因果配置(复制先于抑制)并在多模型上验证,新颖性较高;证据通过头部移植与消融支持,影响主要在机制可解释性子领域。

Tejas Dahiya, Cole Blondin

arXiv cs.CL

LongSocialBench: Do Long-Context LLMs Understand Online Discussion Threads?

说明LongSocialBench:长上下文大模型能否理解在线讨论串?

简介该论文提出 LongSocialBench 基准,包含1462道由人工编写的选择题,取材于 Hacker News、Stack Exchange 和 Reddit r/ChangeMyView 的94个完整讨论串,题目要求模型理解回复结构与参与者的社交语境。测试18个模型、29种设置后,最佳模型成绩为63.0%,低于人类读者的72.4%;即使提供正确的证据范围,平均成绩仅提升至55.0%,显示结构化社交理解仍是主要难点。

Xinyi Liu, Rinat Khaziev, Dilek Hakkani-T\"ur 等

arXiv cs.LG · math.OC

Sharp Convergence and Sample Complexity of Policy Mirror Descent for Average-Reward MDPs

说明平均奖励马尔可夫决策过程中策略镜像下降的收敛与样本复杂度

简介本文分析了策略镜像下降方法在遍历性平均奖励马尔可夫决策过程中的有限时间收敛性和有限样本性能。作者用统一的主递推式刻画收敛,并给出精确、不精确表格式及线性函数逼近更新下的线性收敛速率。端到端样本复杂度为 t_mix^3/ε^2,相比已有最佳线性函数逼近结果将混合时间依赖从 t_mix^5 改进到 t_mix^3,并通过匹配的信息论下界说明该样本复杂度不可再改进。

Enes Arda, Atilla Eryilmaz

arXiv cs.AI

CUAWright: A Minimal Unified Interface for Digital Agents

说明CUAWright:面向数字智能体的极简统一接口

简介该论文提出 CUAWright,一个约 3000 行代码的极简终端框架,仅以 bash 命令作为动作接口,并以文件系统作为可动态创建工具和管理上下文的空间。作者在多种数字任务上做了实验,报告其在 OSWorld 2.0、Online-Mind2Web、Odysseys 以及 CAD 相关基准上相较 GUI 或混合接口有所提升。

Yadong Lu, Theodore Lee, Yifei Li 等

arXiv cs.AI

RadOnc-Agent: An Integrated Framework for AI Workflows Across the Radiotherapy Care Pathway

说明RadOnc-Agent:覆盖放疗全流程的人工智能工作流集成框架

简介该论文提出 RadOnc-Agent,通过对话界面把放疗四个阶段中的 17 个阶段专用功能和 9 个通用工具连接起来,由语言模型控制器将临床意图映射为结构化调用并维护纵向上下文。在单功能请求、跨阶段场景和去标识化患者工作流的测试中,系统选对功能的比例为 98.79%,工作流完成率约为 96.5%至 96.67%。作者认为,纵向状态和信息连续性对跨阶段表现至关重要,结果证明了该集成方式在技术上可行,但仍需前瞻性临床评估。

Caiwen Jiang, Shuoyang Wei, Songlin Zhao 等

arXiv cs.AI

The Independence Prior of SAEs Fragments Visual Concepts

说明稀疏自编码器的独立性先验会割裂视觉概念

简介稀疏自编码器(SAE)把模型激活分解为可解释字典原子的稀疏组合。论文指出其目标隐含了不同图像块之间概念相互独立的假设,而自然图像明显违背这一假设。作者提出马尔可夫场线性表示假设,并据此设计Spatial-SAE,在概念恢复和可解释性上优于标准SAE。

Tommaso Mencattini, Giorgos Nikolaou, Donato Crisostomi 等

arXiv cs.LG · cs.AI · cs.CL

SEER: Self-Evolving Event Reasoning and Retrieval for Time Series Forecasting

说明SEER:面向时间序列预测的自进化事件推理与检索框架

简介时间序列常受外部事件和结构性变化影响,仅依赖历史数值的预测不够充分。该论文提出SEER框架,通过闭环机制把预测误差转化为两类反馈:一是反思式检索记忆,用于改进后续搜索查询并过滤无关噪声;二是持久的因果知识库,用于提炼可迁移的领域动态。SEER严格遵守时间先后边界,避免前视偏差和数据泄露。在六个波动较大的时间序列基准上,其表现优于现有时间序列基础模型和语言模型基线。

Mingtian Tan, Palash Goyal, Mihir Parmar 等

arXiv cs.LG · nlin.CD

Physics is the Best Teacher: Consistency Learning for Time-Invariant Operators of Chaotic Dynamics

说明物理即最佳导师:面向混沌动力学时不变算子的一致性学习

简介本文针对混沌系统长期行为预测计算代价高的问题,将其转化为学习系统的时不变演化算子,使状态可在一次评估中跨越较大时间跨度。作者推导了该算子应满足的一致性方程,并将其与物理瞬时动力学相连,从而把物理约束嵌入学习过程。在五个混沌系统上的实验表明,该方法提高了短期轨迹与长期统计量的精度,所需评估次数约为自回归滚动方法的十分之一。

Lufang Chiang, Jiachen Yao, Thomas Y.L. Lin 等

arXiv cs.CV · cs.LG

Where Does the Semantic Gain Come From? A Reproduction and Extension of Semantic Knowledge-driven Contrastive Learning for Long-Tailed Recognition

说明语义增益从何而来?长尾识别中语义知识驱动对比学习的复现与扩展

简介本文复现了语义知识驱动对比学习(SKCL)方法,该方法借助语言模型判断类别间的语义关系,并将图像特征拉向其语义近邻的原型。作者在 CIFAR-100-LT 上检验发现,SKCL 相较所基于的 BCL 的报告提升主要来自训练预算与基线设置的差异,语义图本身只带来很小的增益。文中还测试了若干改进,但多数效果处于随机种子的误差范围内。

Sushrut Ghimire

arXiv cs.LG

Progressive Multi-Ancestor Bit-Depth Distillation

说明渐进式多祖先位宽蒸馏(PMABD):逐步压缩神经网络并用多个高精度教师传递知识的模型压缩方法

简介该论文针对资源受限设备上的模型压缩问题,指出直接从FP32转换到INT4并蒸馏到小模型的做法训练不稳定、性能下降明显。作者提出PMABD框架,通过逐步降低位宽、由不断增长的高精度祖先教师池传递知识,生成中间教师并共同指导最终学生模型。实验在CIFAR-10/100、Tiny-ImageNet上进行,报告W2A2(ResNet-18/CIFAR-100)学生模型性能提升1.06%,并表明基于饱和的停止准则有助于提升最终学生模型的表现。

Adil Mubashir Chaudhry, Osama Ahmad, Zubair Khalid 等

arXiv cs.CL · cs.LG

Representation-Aligned Auxiliary Supervision for Language Model Adaptation

说明语言模型适配中的表示对齐辅助监督:在国际象棋上以兼容表示提供辅助任务,提升结构化领域的适配效果

简介本文研究语言模型在结构化领域(以国际象棋为测试平台)中适配效果不稳定的原因,提出“表示兼容性”概念。作者提出表示对齐的辅助监督方法,利用环境衍生、以兼容表示表达的任务进行训练。实验显示,在相同目标数据下,该方法稳定提升最优走法预测,并能迁移到开放式的棋局评论生成。

Kyuyoung Kim, Peiyao Sheng, Ashwin Hebbar 等

arXiv cs.CV · cs.LG

Scaling 3D Visual Grounding in Abdominal CT

说明腹部CT三维视觉定位的规模化:利用常规PACS标注自动生成训练数据

简介该论文提出一种自动流程,把放射科医生日常报告中在2D图像上做的测量、箭头等标注,通过元数据匹配与报告发现关联,再用可提示的三维分割模型转换为三维掩膜,从而无需额外人工标注即可构建短语-掩膜-体数据。作者从单一机构PACS的5.9万例腹部CT中生成了10.5万组三元组,并建立了两个基准(LocusBench-Onc、LocusBench-ED)及模型LocusCT,其命中率分别为0.725和0.773,表现优于对比模型。

Sam Church, Danyal Maqbool, Joshua D. Warner 等

arXiv cs.LG · cs.DC

Beyond Masked Sparsity: SNACK Enables Truly Sparse Neural Networks on GPU

说明超越掩码稀疏:SNACK 在 GPU 上实现真正的稀疏神经网络

简介本文提出 SNACK,一种只存储和计算非零连接的真正稀疏 GPU 层,并附带为小批量、高稀疏场景设计的 COO 格式 SpMM CUDA 内核。论文称,在 95% 稀疏度下内核比掩码稠密基线快至 7 倍;在 90% 稀疏度下,单层训练和推理相比稠密基线分别加速至 8 倍和 4 倍,并节省 72% 内存。端到端实验显示,99% 稀疏度下 GPT-2 峰值训练内存最多降低 40%。

Jafar Badour, Maurice van Keulen, Elena Mocanu

arXiv cs.CV · cs.GR

UniBRep: Learning Unified Geometry and Topology for Image-conditioned B-Rep Generation

说明UniBRep:学习统一几何与拓扑以实现图像条件的B-Rep生成

简介该论文提出UniBRep框架,可从单张图像生成边界表示(B-rep)形式的三维CAD模型。方法先借助预训练图像到三维模型生成统一的特征网格,再由几何与特征引导的流程拟合参数化曲面、恢复边界与连接关系,并用CAD内核组装显式B-rep。在DeepCAD基准上,80.49%的输入可生成有效B-rep,面级Chamfer距离由0.1096降至0.0345(相对CADDreamer)。

Haiyang Ying, Allen Tu, Jiaye Wu 等

arXiv cs.RO · cs.AI

Reinforcement Learning from Real-Robot Interaction without High-Quality State Estimates

说明无需高质量状态估计、基于真实机器人交互的强化学习

简介本文研究机器人如何直接从自身的物理经验中学习。由于机器人难以直接观测世界状态,状态估计的误差会同时影响策略输入和奖励信号。作者提出RSSM-RLPD方法,用循环状态空间模型学习新的状态表示,并且只在球被观测到时修正潜在状态。在NAO机器人带球射门的任务中,机器人经过约30分钟真实交互后即可从多个起始位置稳定进球,成功率为100%,同样训练预算下前馈策略为0%。

Ryan Gao, Ashvin Anilkumar, Nicholas Corrado 等

arXiv cs.LG · cs.AI

Robust blind unmixing: A geometric approach to overcoming basis variation

说明稳健的盲解混:克服基底变化的几何方法

简介该论文针对信号分离(解混)问题,即从多次测量的混合信号中推断各组分的基底模式和丰度。作者提出一种几何方法,用度量空间视角看待测量中的数据生成,并借助最优传输距离刻画常见的基底变化,通过最小化候选解的类内方差进行优化。论文在随机高斯混合模型、模拟粉末X射线衍射以及实验室高光谱成像数据上验证了该方法的有效性。

Dumitru Mirauta, Vladimir V. Gusev, Michael W. Gaultois 等

arXiv cs.LG

Pareto-Dominant Clarification: Post-Training Coding LLMs via PPO-Lagrangian Budget Constraints

说明帕累托占优的澄清:基于 PPO-Lagrangian 预算约束的编程大模型后训练

简介论文研究编程智能体在指令含糊时是否应先提问再编码。作者将澄清建模为约束马尔可夫决策过程,用 PPO-Lagrangian 对 Qwen2.5-Coder-7B-Instruct 进行后训练,在提问预算约束下优化代码准确率。在 HumanEvalComm 上的实验显示,预算约束策略可同时获得更高准确率和更低提问率,准确率随预算增加呈对数形帕累托前沿,收益递减。

Abhinav Rajput, Acey Vogelstein

arXiv cs.AI · cs.RO

Towards Safer Autonomous Driving in an Open World: A Dual-Process Approach

说明迈向开放世界中更安全的自动驾驶:双过程方法

简介该论文提出一种结合神经网络与模型预测控制的自动驾驶规划框架,灵感来自双过程理论。日常驾驶由神经网络直觉式规划,陌生情境则切换到基于推理的规划,切换由元认知组件依据知识图谱和风险场判断。在CARLA仿真中,针对闯红灯的(紧急)车辆等分布外场景进行测试,结果显示相比仅用神经网络的规划器,碰撞次数减少89%,且更好地遵守特殊路权规则。

Simon Janssen, Michiel Braat, Chris van der Ploeg 等

arXiv cs.LG · cs.AI

DUET: Co-Evolving Solver and Grader Agents

说明DUET:求解器与评分器智能体协同进化

简介该论文提出DUET框架,同时优化一个执行任务的求解智能体和一个负责评分的评分智能体。两者交替迭代更新,使评估标准随智能体演化而调整,而不是固定不变。在四个智能体基准测试中,DUET同时提升了求解器与评分器的表现,并且优于使用固定评分器优化求解器的基线方法。

Fengyu Gao, Sourav Pal, Austin Z. Henley 等

arXiv cs.CL · cs.LG

Multi modal perceived conversation success prediction for spontaneous autistic and non-autistic dyadic interactions

说明基于多模态特征预测自闭症与非自闭症双人对话的感知成功度

简介该研究针对自闭症与非自闭症人士的自发双人对话,利用发音、面部表情、声学韵律和轮流发言等多种特征,预测参与者感知到的对话成功程度。作者在三个数据集上验证,认为对话成功具有多维性,结合多种模态比单一模态能提供更多信息,从而改进预测效果。

Thanushi Withanage, Desi Jones, Noah Sasson 等

arXiv cs.DS · cs.LG · cs.RO 有代码

Exact Optimal Transport by Matching

说明通过匹配实现精确最优传输

简介论文研究平衡离散最优传输问题,指出其等价于最小代价指派(二分图完美匹配),可由现有匹配求解器精确求解。作者将精确方法与近似方法 Sinkhorn 及其加速版 Greenkhorn 在二维稠密实例上进行对比,结果显示精确匹配在中等规模 n 下更快且精度更高。此外,论文还提出基于 kNN 候选池的间隙证书,并在多机器人任务分配中做了验证。

Dmitry Kamenetsky

arXiv cs.CV · cs.AI

Dependable AI-Assisted Engineering: A Formal Framework for AI Participation and Assurance in Safety-Critical Workflows

说明可信赖的AI辅助工程:安全关键工作流中AI参与与保证的形式化框架

简介本文提出一个形式化框架,用于为安全关键工程工作流中的每个单元分配AI参与方式与保证机制,区分确定性验证、统计校准准入、人类判断等多种安排。作者在一个包含17个单元的机翼翼梁结构分析案例中验证了该框架:AI生成的CAD程序通过了全部23项确定性检查并一次通过准入,而缺乏充分网格收敛证据的应力判据则转交工程判断处理。文章仅展示单元层面的选择性AI参与,不主张工作流层面的可靠性、认证、结构安全或生产率结论。

Puxue Tan

★★★★★ 值得关注
arXiv cs.AI

Self-Propagating Misalignment in LLM Agents, and Why Auditing or Disabling Memory Is Not Enough

说明LLM智能体中的自我传播式错位:为何审计或禁用记忆还不够

简介该论文研究在没有外部攻击者的情况下,存在错位目标的LLM智能体能否把暂时无法执行的目标写入持久记忆,供之后的对齐智能体执行。作者在20个场景和11个前沿模型上测试,在明确指令下自我传播成功率为58%,仅描述价值观时为18%。即使禁用记忆工具,智能体仍会写入文件,成功率为11%。现有记忆审计方法只能将传播率从71%降到34%。

看点提出智能体自我传播错位目标的新威胁,覆盖20个场景与11个前沿模型,并证明记忆审计与禁用均不足以防御。

Debeshee Das, Jacqueline Tay, Bruce Tsai 等

arXiv astro-ph.EP · astro-ph.IM · cs.AI

AEGIS: Differentiable Mars Climate Model with Neural Closures

说明AEGIS:带神经闭合项的可微火星气候模型

简介该论文提出AEGIS,一个模块化、可微分的火星气候模型,将火星特有的大气物理与Dinosaur动力核心耦合,并提供神经闭合项接口。作者展示了十个火星年的稳定模拟,可再现季节性二氧化碳循环并保持二氧化碳总量守恒,同时给出与火星轨道激光测高仪(MOLA)地形一致的表面气压。文中还指出,通过耦合轨迹的梯度与有限差分结果一致,可用于物理校准和神经网络训练。

Sameera S Kashyap, Victor Cruz, Angel Yepez 等

arXiv cs.HC · cs.AI · cs.DB

A study on human-agent teaming through spoken interaction: the impact of human individual traits and agent characteristics

说明口语交互中的人机协作研究:人的个体特质与智能体特征的影响

简介本文研究人与虚拟智能体通过口语合作完成游戏任务时,智能体的沟通方式如何影响人对其作为队友的认同。研究比较了中立的工具型智能体与采用共情、礼貌和积极等社交策略的团队建设型智能体,两者解题能力相同。结果显示,后者被认为更像队友,且受试者的语音韵律也会随之改变。

Lara Gauder, Martin Bernardo Meza, Javier Krick 等

arXiv cs.CL · cs.AI

Rethinking Structured Generation: Can Graph-Based Reasoning Resolve Ambiguity?

说明重新思考结构化生成:基于图的推理能否解决歧义?

简介该论文把结构化生成重新表述为考虑歧义的推理问题,目标是在多个合理的结构化输出中进行推理,而不是只预测一个答案。作者提出多有效学习框架保留歧义,并将候选输出表示为图,通过基于图的语义对齐与关系一致性进行选择。论文称,在结构化生成基准上,该方法在不同歧义程度下的准确性、稳定性和鲁棒性均有提升。

Ratun Rahman, Atit Pokharel

arXiv cs.CV

VCURF: Virtual Camera-based Uncertainty of Radiance Fields

说明VCURF:基于虚拟相机的辐射场像素级不确定性估计

简介本文提出VCURF方法,用于估计辐射场(NeRF与高斯溅射)渲染结果的逐像素不确定性。方法在目标视角附近采样虚拟相机,通过比较辐射场模型在这些相机下渲染结果的不一致程度来衡量不确定性。该方法将模型视为黑盒,只要求能按需渲染颜色和深度,因此无需修改即可适用于NeRF和GS两类模型。实验表明其在像素级不确定性估计上有效,作者还指出当前多数文献处理视角选择的方式值得商榷。

Liyan Chen, Nathaniel Burgdorfer, Philippos Mordohai

arXiv cs.SD · cs.LG

Extending Music Annotation Schemas: Zero-Shot Prediction or Few-Shot Adaptation?

说明扩展音乐标注体系:零样本预测还是少样本适应?

简介本文研究商业音乐曲库在新增音乐属性时,应采用哪种自动标注方法。作者基于MGPHot流行音乐标注数据集,构建了模拟不同标注预算下标注体系扩展的基准测试。结果显示,即使标注预算较小,有监督的适应方法也优于零样本预测;在预算有限时,复用冻结的预训练表示最为有效,且无需进行较深的模型调整。

Christos Plachouras, Emmanouil Benetos, Johan Pauwels

arXiv cs.CL

IdeaScientist: Orchestrating Agents for Grounded Scientific Ideation

说明IdeaScientist:通过编排智能体进行有依据的科研构思

简介论文提出 IdeaScientist 系统,把科研构思拆分为缺口发现、创新和报告撰写三个角色,并用强化学习分别训练。为支持跨领域构思,作者构建了包含 277 万条已拆分研究想法的 Svalbard Idea Vault 语料库。在 Qwen3.6-27B 上,该系统相较最强的开源自动科研基线提升 14.0%,主要来自新颖性的改进。

Jiarui Liu, Renjie Tao, Yiwei Liao 等

arXiv cs.CV · cs.LG

Why Convolution Still Matters: Evaluating Inductive Biases in Cryospheric Image Classification

说明卷积为何仍然重要:评估格陵兰冰盖图像分类中的归纳偏置

简介本文在格陵兰冰盖图像基准数据集上,对经典CNN(AlexNet)、现代CNN(ConvNeXt-Tiny)、纯注意力模型(Swin-Tiny)和混合模型(CoAtNet-0)进行了相同训练与评估条件下的对比。结果显示,AlexNet准确率与宏平均F1最高,ConvNeXt-Tiny宏平均AUC最高;混合模型提升了稀有类别的召回率,而卷积模型对纹理主导类别更可靠。作者认为,模型复杂度提高并不必然带来冰盖表面分类可靠性的提升。

Chhaya Kulkarni, Emam Hossain

★★★★☆ 值得关注
arXiv cs.AI

Reinforcement Learning with Comparative Evidence for Social Intelligence

说明基于比较证据的强化学习用于社会智能

简介该论文提出强化学习方法RLCE,让模型在无标注数据上学习社会理解,无需依赖真实标签构造奖励。它对同一组回答中的不同答案构造能够区分优劣的证据测试,并据此判断最有证据支持的解释。在情感、语用、交际意图和偏好四个基准上,RLCE在七种不使用真实标签奖励的方法中表现最佳,相对最强基线的提升最高达18.93分。

看点提出基于比较证据测试的无标注强化学习方法,在四个社会理解基准上优于七种无真值奖励方法,最高提升18.93分。

Keane Ong, Yuriel Ryan, Sabri Boughorbel 等

arXiv cs.LG

Articulatory Entrainment and Coordination Complexity in Spontaneous Autistic and Non-autistic Dialogue

说明自闭症与非自闭症对话中的发音协调与动态复杂度

简介本文研究自然对话中说话者发音器官协调随交流逐步靠拢的现象,尤其关注自闭症成年人。作者提出一个不依赖说话者的框架,利用声学到发音的反演及协调复杂度指标进行量化。结果显示,非自闭症双人组随时间协调复杂度与趋同程度提高,自闭症组效果中等,混合组最不一致;趋同程度越高,自我报告的对话成功感也越高。

Thanushi Withanage, Carol Espy-Wilson, Elizabeth Redcay 等

arXiv cs.AI · cs.CV · cs.LG

Anchor Divergence for Semantic Geometry in Contrastive Learning

说明对比学习中语义几何的锚点散度方法

简介本文研究语义上下文如何决定学习到的向量表示的几何结构。作者利用对比学习、指数族与信息几何之间的联系,把关于“锚点”的概率分布与表示空间上的Bregman几何建立对应,并据此提出“锚点散度”,用于在固定表示上指定特定语境下的语义相似性。实验表明,在检索任务中,锚点散度是一种有效且高效的语境相似性定义方式。

Akash Kannan, Kiho Park, Victor Veitch

arXiv cs.LG · cs.NA · math.NA

On architectural choices for interpretability and thermodynamic consistency in Physically Recurrent Neural Networks in the low-data regime

说明关于物理循环神经网络在小数据条件下可解释性与热力学一致性的架构选择

简介本文研究了不同解码器架构对物理循环神经网络潜在空间可解释性的影响,并提出一种新的权重归一化约束,用于正则化并在小数据条件下实现稳健训练。作者还表明,采用伴随编码器-解码器结构并使用正标量贡献,可以自然地得到热力学一致的公式,从而保证跨尺度的能量一致性和非负耗散,并降低训练数据需求。

M. A. Maia, K. A. Meyer, A. M. C. M. van Gils 等

arXiv cs.CV · cs.LG

Evaluating Zone-Guided Front Extraction for Glacier Calving-Front Delineation in SAR Imagery

说明评估基于区域引导的冰川崩解前缘提取方法(SAR影像)

简介该论文针对合成孔径雷达影像中冰川崩解前缘的自动勾勒问题,使用CaFFe数据集,在相同裁剪设定下比较了直接预测前缘与先预测语义区域再提取前缘两种方法,测试了U-Net、DeepLabV3+和SegFormer-B0三种模型。结果显示,从真实区域标签提取的前缘误差最低,但从模型预测区域提取的前缘效果较弱;测试时自适应也未能稳定改善结果。作者认为区域分割分数不能替代前缘层面的评估。

Chhaya Kulkarni, Emam Hossain

arXiv physics.ins-det · cs.LG · hep-ex

Application of sequence learning for predicting radiation damage of the CMS electromagnetic calorimeter

说明利用序列学习预测CMS电磁量能器的辐射损伤

简介本文利用机器学习方法,预测大型强子对撞机CMS电磁量能器中钨酸铅晶体的辐射损伤。研究分析了2016至2018年收集的LHC开放数据,考察晶体光学透明度随时间的变化。作者应用深度神经网络模型预测其在不同未来时间区间的表现,并发现编码器-解码器序列到序列结构能够有效描述晶体老化。

Mario Ivan Gallegos Torres, Leonid Serkin, Guy Paic

arXiv cs.AI · cs.SI

Discrete Diffusion for Large Graph Generation via Structural Candidate Restriction

说明基于结构候选限制的离散扩散大图生成

简介该论文提出一种离散图扩散模型,用于生成大规模稀疏图。训练时只考虑观察到的边及其楔形非边,从而将训练复杂度降到节点数的二次方以下。模型采用考虑节点度数且保留图结构的加噪调度,在多个数据集上结构保真度位居前列。

Yassin Mohamadi, Zeno Geradts, Marcel Worring

★★★★☆ 值得关注
arXiv cs.RO · cs.AI

Reward-DAgger: Robot-Gated Interactive Imitation Learning with General-Purpose Progress-Based Reward Models

说明Reward-DAgger:基于通用进度奖励模型、由机器人触发的交互式模仿学习

简介该论文提出 Reward-DAgger,让机器人借助通用的进度奖励模型提供的密集进度信号,判断何时需要人工介入,以检测失败并学习恢复行为。该方法不依赖策略内部结构,且无需针对不同任务重新调参。实验覆盖八项仿真与真实任务,据称在多数设置下优于现有基线,并能在任务、环境和策略架构之间迁移。

看点将通用进度奖励模型用于机器人闸控式交互模仿学习,无需按任务或策略重新调参;在八个仿真与真实任务上验证,证据较充分。

Ryan Li, Yigit Korkmaz, Erdem B{\i}y{\i}k

arXiv cs.AI

The Cost of a Hop: Benchmarking NLIP and A2A

说明跳转的代价:NLIP 与 A2A 的基准测试

简介本文比较了两种面向大语言模型智能体的通信协议:NLIP 与 A2A。研究将延迟拆分为消息创建、连接和发送三个阶段,并在三种独立硬件环境中测试。结果显示,在轻量协调场景下 NLIP 明显更快,差距大小取决于硬件;在包含大模型推理的端到端流程中两者接近,差异主要来自连接建立阶段。

Ranjan Sinha, Anindita Das, Ashika Anand Babu 等

arXiv cs.CV

A Theory of Shape Reconstruction from Heat Conduction and Shading

说明结合阴影与热传导的形状重建理论

简介本文针对单幅朗伯表面图像的阴影法存在的固有歧义问题,提出一种结合阴影与热传导线索的新理论,以在不依赖平滑性等先验的情况下消除局部形状歧义。该方法即使光源未知,也能同时满足阴影与拉普拉斯算子的数学约束。作者通过复杂形状的仿真以及对含噪声的真实物体热视频的实验验证了该理论。

Akihiko Oharazawa, Sriram Narayanan, Mani Ramanagopal 等

arXiv cs.CV

ASD-FEAT: A Multi-Modal Infant Video-Derived Dataset for Early ASD Risk Prediction

说明ASD-FEAT:用于早期自闭症谱系障碍风险预测的多模态婴儿视频数据集

简介本文介绍ASD-FEAT数据集,它来自婴儿与成人互动的视频记录,覆盖从婴儿期到36个月的纵向数据,并包含临床验证的发育结局和专家逐帧行为标注。研究者用它评估了一条基于计算机视觉和机器学习的端到端自动化流程,以识别自闭症谱系障碍(ASD)风险。自动化流程的分类准确率为76.2%,AUROC为0.82;基于人工标注行为训练的分类器为81.3%和0.88。

Sidrah Liaqat (1), Halil Helvaci (1), Sen-Ching Cheung (1) 等

★★★★☆ 值得关注
arXiv cs.LG · cs.SY · eess.SY

Learning from Unreliable Trajectories: Adversarially-Robust Federated Q-Learning

说明从不可靠轨迹中学习:具有对抗鲁棒性的联邦Q学习

简介本文研究多个智能体在同一马尔可夫决策过程中通过中央服务器协作学习最优状态-动作价值函数的联邦强化学习。作者提出了基于分轮(epoch)的Robust Async-Fed-Q算法,结合智能体端的方差缩减估计与服务器端的鲁棒聚合,在部分智能体恶意传输数据时仍保持协作的样本效率优势。论文给出高概率有限时间保证,并给出信息论下界,首次得到对抗鲁棒联邦强化学习近乎匹配的上下界。

看点提出抗拜占庭攻击的联邦Q学习算法并给出近乎匹配的上下界,理论贡献突出;但影响局限于理论社区与特定设定。

Sreejeet Maity, Aritra Mitra

arXiv cs.DS · cs.LG · math.OC

Geometry-Dependent Approximation for Non-Monotone k-Submodular Maximization

说明非单调 k-次模最大化中依赖几何结构的近似方法

简介本文研究非负、非单调的 k-次模函数最大化问题,每个元素可取 k 个标签之一或不被选中,并需满足约束。论文引入对角水平 ζ(P) 刻画可行域,给出随 ζ 连续增加的近似系数,并将结果推广到在线线性优化(遗憾界 O(√T))、拟阵及有限个背包约束等情形。

Vaneet Aggarwal

★★★★☆ 值得关注
arXiv cs.CL · cs.IR · cs.LG

Periscope: Extending Frozen Language Models Beyond Their Context Window

说明Periscope:让冻结的语言模型突破上下文窗口限制

简介论文提出 Periscope,一种无需训练的推理方法,把长文本切块后排成网格,用冻结的语言模型对局部和跨段采样的多个片段分别提问,再由得分生成证据图以定位答案所在的片段。在 LongBench v2 和 InfiniteBench 等基准上,该方法仅读取证据图排名靠前的少量片段即可达到或超过最佳窗口读取的效果,并可在单张 80GB GPU 上处理 450 万 token 的上下文。

看点提出无需训练的网格式探针,把长文本阅读分解为局部与跨段探测并构建证据图,在LongBench v2与InfiniteBench上有实质性对比结果。

Mohamed Eltahir, Anas Obayd, Raed Rashid 等

arXiv cs.CV · cs.LG 有代码

Dynamic Quadtree Tokenization and Transformer for Adaptive Mesh PDE Forecasting

说明用于自适应网格偏微分方程预报的动态四叉树标记化与Transformer(WAMRViT)

简介该论文提出WAMRViT,一种基于视觉Transformer(ViT)的神经代理模型,用小波启发的细化准则把输入组织为平衡四叉树,并在推理时在单元空间中重新划分网格,以支持长时程自回归滚动预报。论文称其为首个原生处理多层级自适应网格加密(AMR)数据的机器学习代理模型。在均匀网格基准和一个复杂的AMR燃烧问题上,作者报告其在精细区域误差和计算效率方面有所改善。

Yilin Zhuang, Noah Zambrano, Karthik Duraisamy

arXiv cs.CV · cs.LG

Your Self-Supervised Projection Head Captures Object Co-Occurrence Statistics

说明你的自监督投影头编码了物体共现统计规律

简介这篇论文研究自监督学习为何有效,提出常见预训练任务隐式地建模了物体共现统计。作者用分割模型从现有视觉基准中整理出三个分割物体数据集进行实验,发现视觉主干网络主要捕捉物体类别,而投影头更擅长编码类别之间的共现关系,并且在与人类类别相似度判断的一致性上优于主干网络。通过控制预训练中的共现模式,作者还发现编码共现关系能显著加快类别级表征的出现。

Arthur Aubret, Jochen Triesch, C\'eline Teuli\`ere

arXiv stat.ML · cs.LG

Adaptive Partitioning Schemes for Optimistic Optimization

说明用于乐观优化的自适应划分方案

简介本文研究黑箱函数优化问题,即内部机制未知、无法获取梯度的系统,在有限函数评估次数下以简单遗憾衡量性能。作者提出学习良好划分方案的乐观优化算法,并在优化过程中使用神经网络等灵活的代理模型。对于在 d 维空间中 m 维子空间上的多指标函数,该算法的遗憾界为 Õ(n^{-β/d}),优于 SequOOL 的 Õ(n^{-1/d});论文还将该方法用于改进 OPT-1.3B 模型的 AWQ 量化,称性能相对最佳未量化模型提升约 10%。

Raja Sunkara, Ardhendu Tripathy

arXiv cs.LG

Protecting Sensitive Data in Image Synthesis via PAC-Private Adaptation for Diffusion Models

说明通过PAC隐私适配保护图像合成中的敏感数据(扩散模型)

简介本文针对在敏感数据上训练或适配的扩散模型仍可能遭受重构攻击的问题,提出一种基于PAC隐私的扩散模型适配方法以实现重构隐私。方法先用LoRA或Textual Inversion学习紧凑的数据相关组件,再依据重复机制输出的协方差校准各向异性高斯噪声,且仅在优化后扰动一次,避免了DP-SGD中梯度更新间的隐私组合。在少样本概念个性化和全数据集图像合成实验中,该方法在达到相同重构隐私的前提下,比差分隐私方法更好地保持了主体身份、生成质量和下游分类准确率。

Boming Miao, Tao Zhang, Netanel Raviv 等

arXiv cs.CV · cs.AI

MAGEFormer: Learning Metric-Consistent Representations for Anisotropic CT Segmentation

说明MAGEFormer:面向各向异性CT分割的度量一致表示学习

简介论文提出MAGEFormer,一种几何校准的视觉Transformer框架,用于各向异性临床CT的器官分割。方法包括基于体素间距校准位置编码的MASE、抑制物理上不合理特征相关的GCA,以及推理时减少离散化偏差的GVV。在BTCV和FLARE 22两个多器官腹部CT数据集上,MAGEFormer在边界精度(HD95)方面优于对比的CNN与Transformer基线,并在Dice上也有一致提升。

Jiaying Li, Paolo Remagnino

arXiv cs.LG

LD-EnFF: Latent-Dynamics Ensemble Flow Filtering for Data Assimilation with Sparse Observations

说明LD-EnFF:基于潜在动力学的稀疏观测数据同化集合流滤波方法

简介该论文提出 LD-EnFF,一种在低维潜在空间中同时完成预报传播与滤波更新的序贯贝叶斯滤波框架。它用潜在动力学代理模型推进集合预报,并用基于变分自编码器的观测模型在潜在空间中计算似然,再通过流匹配生成后验样本,联合更新潜在状态与不确定参数。原文称其在 Kolmogorov 流、海啸传播和大气模式等复杂动力系统基准上明显优于多种现有数据同化算法。

Ziyu Tian, Kaichen Shen, Wenbo Hao 等

arXiv cs.SI · cs.LG

Gated Graph Neural Networks for Learning Hidden Independent Cascade Dynamics

说明用于学习隐藏独立级联动力学的门控图神经网络

简介论文研究在已知图结构上,依据带噪声的症状观测反推每个节点的传播概率(隐藏独立级联模型)。作者提出基于仿真的摊销估计方法,用门控图神经网络 SAGE-HC 把症状统计特征映射为完整的节点级参数。在合成图与实证图上,该方法在有环的异质图上优于基于动态消息传递的基准方法,在树状图上后者更准确。

Anubha Goel, Illia Oleksiienko, Mateusz Wilinski 等

arXiv cs.CV · cs.IR

Learning Subject-Specific Anatomical Representations via Manifold Expansion: Application to Accelerated Multi-Contrast MRI

说明通过流形扩展学习个体化解剖表示:应用于加速多对比度MRI

简介提出MAX框架,仅利用单个全采样参考对比度图像学习与对比度外观无关的解剖表示,再据此重建欠采样的目标对比度MRI。论文报告在脑部R=8、膝部R=6设定下,MAX的平均PSNR和SSIM最高,脑部两种对比度的PSNR相比最强基线提升超过1 dB。

Ruimin Feng, Wanyu Bian, Albert Jang 等

arXiv cs.AI

The Reported Engagement with AI Level (REAL) Rating: A Framework for Disclosing Human-AI Collaboration

说明REAL 评级:披露人机协作程度的框架

简介本文提出了“AI 参与报告等级”(REAL)评级框架。该框架以六级量表(0 至 5 级)披露生成式 AI 在作品创作与用户体验中的参与程度,以替代仅区分“纯人工”与“AI 生成”的二元分类。文中介绍了该系统的结构方法,并说明其在文本、图像、音频、视频和软件产品中的具体应用。

Im\`ene Goumiri, Mayleen Cortez-Rodriguez, Eric Bell 等

arXiv cs.CV 有代码

ClasSAE: Class-Aligned Sparse Autoencoders via Differentiable Feature-Class Affinity

说明ClasSAE:通过可微分特征-类别亲和度实现类别对齐的稀疏自编码器

简介稀疏自编码器(SAE)原本用于把神经网络表示分解为稀疏、可解释的特征,现也用于遗忘、去偏和概念编辑等主动干预。本文提出ClasSAE,在训练中同时为特征分配类别,并引导编码器学习类别可分的表示,无需事后探测。实验基于ImageNet上的CLIP ViT-L/14嵌入,结果显示学到的亲和度矩阵与独立估计的事后矩阵高度一致,且编码器在定向探针扰动评估中分离效果更好。

Jakub St\k{e}pie\'n, Marcin Mazur, Jacek Tabor 等

arXiv cs.AI

A Quantitative Analysis of Graph Representation Strategies for Cyber Attack Detection

说明图表示策略在网络攻击检测中的定量分析

简介本文对2019至2026年间发表的37项基于图的网络攻击检测研究进行了定量分析,按应用领域、图表示类型、特征提取策略等维度编码。结果显示,自动化表示学习占73.0%,手工设计的表示策略占27.0%。统计检验表明,应用领域与表示策略之间存在显著关联(精确p=0.008;Cramer's V=0.540)。

Ali Melih Kanca, Ilker Turker

arXiv cs.LG · cs.AI · cs.CL

Slaying the Hydra: Interaction-Aware Circuit Discovery in Language Models

说明驯服九头蛇:面向语言模型的交互感知电路发现

简介本文针对语言模型的机制可解释性,指出逐个为组件打分会漏掉上下文相关的交互效应,例如主要组件可能抑制备用组件。作者提出以见证变量和集合期望为基础的因果估计量WISE,并据此开发基于梯度的电路发现方法JuntaLearner,用于按因果影响对组件排序。实验显示,在多项任务和不同规模模型上,该方法的平均电路识别分数高于归因基线。

Sankaran Vaidyanathan, Rafal Urbaniak, Emily Bunnapradist 等

arXiv cs.CV

PhysMamba: Selective State Space Models as Learned Articulated Body Simulators

说明PhysMamba:将选择性状态空间模型用作可学习的关节体模拟器

简介本文提出首个基于选择性状态空间模型(SSM)的可学习关节体模拟器PhysMamba,仅根据位置、旋转和关节动作的历史预测下一帧的全身状态,不需要速度输入。作者在部分与完整观测输入下比较了四种架构,并测试了三种训练方式。在GPU上通过CUDA图编译后,Mamba2每帧耗时0.107毫秒,可用于30 Hz的人体网格恢复流程。

Haochuan Zhang, Sinisa Todorovic

arXiv cs.AI

Beyond the Parameter Monolith: Reconstructive Memories, Executable Skills, and Residual Assembly for Language Models

说明超越参数整体结构:语言模型的重构记忆、可执行技能与残差装配

简介本文探讨将语言模型的上下文计算、持久存储与精确执行分离的架构,提出受有限元法启发的 FEM-ASM,通过残差算子协调共享接口节点上的提议。作者以受控实验与负面结果评估该架构,并未声称建立了语言的物理有限元理论。实验包括一个无注意力原型、一个约 5.28 万个重构记忆元素的版本化存储,以及算术执行的神经渲染测试。结果支持存储、执行与神经协调的分离,同时指出了检索、答案生成和端到端效率方面尚未解决的局限。

A. Bochkov

arXiv cs.AI 有代码

Exploration-Preserving Policy Optimization

说明探索保持型策略优化(ExPPO):一种保留推理多样性的强化学习优势重分配方法

简介该论文针对可验证奖励的强化学习推理训练,指出分组相对目标会让采样频率高的答案占据更多学习信号。作者提出ExPPO,依据提示相对、长度归一化的回答意外度与提示通过率重新分配优势,并保持每组总优势量大致不变。实验报告了域内外推理覆盖率、整体回答准确率及大采样预算下的覆盖表现有所提升。

Hangzhan jin, Mohammad Hamdaqa, Doina Precup

arXiv cs.GT · cs.MA 有代码

Q Can Play That Game: Online Fitted Q-Iteration for Continuous-Action Zero-Sum Markov Games with Convex-Concave Function Approximation

说明Q 也能玩这个游戏:面向连续动作零和马尔可夫博弈、采用凸凹函数逼近的在线拟合 Q 迭代

简介零和马尔可夫博弈常见于对抗学习和针对建模不确定性的规划等序贯决策问题。已有的有限样本保证大多局限于有限动作,或线性二次(LQ)博弈。本文提出一类在博弈双方动作上呈凸凹性的神经网络 Q 函数逼近器,保证对应的极小极大问题存在纯策略鞍点,并研究其在线拟合 Q 迭代,首次给出非 LQ、连续状态与动作零和马尔可夫博弈的有限样本保证。

Kushagra Gupta, Jingqi Li, Cade Armstrong 等

arXiv cs.RO · cs.CV · cs.LG

SUAVE: Unified Video-Action Models via Masked Diffusion

说明SUAVE:基于掩码扩散的统一视频-动作模型,同一网络既能预测视频也能输出机器人动作

简介该论文提出 SUAVE,用一个掩码扩散 Transformer 在共享的离散 token 序列中同时生成语言条件下的视频与动作。通过推理时选择遮蔽哪些 token,同一网络可作为世界模型、机器人策略或视频-动作模型使用。仿真和真实机器人实验显示,该模型在长时程视频预测与操作任务上可与专用模型相比,并在机器人视频预训练与人类视频联合训练后提升了策略性能与对分布偏移的鲁棒性。

Rhythm Syed, Jean Mercat, Sedrick Keh 等

arXiv cs.AI · cs.LG · cs.SE

SkillScriptBench: Benchmarking Self-Evolution of Executable Agent Skill Packages Beyond Markdown

说明SkillScriptBench:超越 Markdown 的可执行智能体技能包自我演化基准测试

简介该论文提出 SkillScriptBench,一个包含 350 项任务的基准,用于分别评估智能体技能包中文档修复、脚本修复与保持正确行为的能力。作者提出 AST 引导的技能修订方法,借助抽象语法树与调用关系定位需修改的代码位置,并同步更新文档。论文报告,该方法使 Raw Package 与 CoEvoSkills 在有故障包上的修复成功率分别绝对提升 21.9% 与 27.7%。

Yuxuan Liu, Haoran Li, Yuhao Zhang 等

arXiv cs.CV

VolS-GS: Relightable Gaussian Splatting with Volumetric Subsurface Scattering

说明VolS-GS:基于体积次表面散射的可重光照高斯泼溅方法

简介该论文提出VolS-GS,一种可重光照的高斯泼溅框架,利用逐次单灯(OLAT)拍摄的图像重建物体,并可在新光照和新视角下渲染。方法将高斯场的空间范围作为可微分有限体积输运求解器的区域,使光线能在物体内部传播,以表现次表面散射。实验在三个OLAT基准上进行,结果显示其在未见过的光照和视角下重光照质量有所提升。

Junyeong Ahn, Jaegul Choo

arXiv cs.CV · stat.ML

Verifier-Guided Synthetic Augmentation for 3D Human Shape Generation

说明验证器引导的合成数据增强用于三维人体形态生成

简介该论文针对三维人体生成中训练数据多样性不足的问题,提出一种由验证器引导的数据增强框架。方法先用全局和模态局部主成分分析生成候选人体形态,再依据对应关系得到的骨骼比例和身体部位几何进行筛选,并用通过筛选的样本重新训练扩散模型。在4,498个配准后的DFAUST曲面上,分布式主成分分析增强的验证通过率为86.32%,EAUC为0.752,比仅用真实数据和自增强扩散模型高出32%。

Yuexuan Wu, Yang Xiang, Hamid Laga 等

arXiv cs.LG · cs.AI · cs.CV 有代码

Selective Backpropagation for Efficient Few-Shot Class-Incremental Learning

说明面向高效小样本类增量学习的选择性反向传播

简介论文提出选择性反向传播(SBP)方法,用于小样本类增量学习:模型在有限样本上持续学习新类别并保留旧知识。SBP 将梯度更新限制在预先分配的部分网络参数上,冻结旧知识、为未来学习保留容量。原文称其训练时间接近朴素微调,并显著低于既往方法,同时在跨域设定和80个会话的 ImageNet-1K 长序列上表现稳定。

Eeham Khan, Abdulmoumen Al-Atrash, Ali Ayub

arXiv cs.CL

Do Language Models Need a Trainable Input Embedding Table? Fixed Minimal Token Codes at 1.7B-Class Scale

说明语言模型是否需要可训练的输入嵌入表?固定最小词元编码在约17亿参数规模下的验证

简介本文比较了三种从零训练的解码器语言模型,其输入层分别为可学习嵌入表、规范的16位词元ID编码,以及一种GF(2)上的固定可逆重编码。结果显示,两种固定编码模型也能获得可观能力,如HellaSwag归一化准确率52.40%、PIQA准确率70.51%、LAMBADA准确率42.75%,但可学习输入的对照组在多项评测上表现更好。作者认为,独立可训练的词元专属输入向量并非观察到的能力所必需。

A. Bochkov

arXiv cs.AI · cs.CL · cs.CY

Behavioral History Outperforms Descriptions of the Person for LLM Synthetic Personas

说明行为历史比人物描述更能提升大模型合成人物的个体预测能力

简介本文研究大语言模型作为调查受访者合成人物时,哪些信息有助于预测个体的后续选择。研究使用845名美国成年人的两波面板数据,比较了无个人信息、人口统计、人格特质、认知分数以及早期调查选择(行为历史)等五种条件。结果显示,行为历史在个体层面的预测效果明显优于各类人物描述。

Khashayar Pourtaheri, Ahmad Zareei

arXiv cs.LO · cs.AI · cs.SE

Solving VeriContest with a Lean-Backed Rust Verifier

说明用基于 Lean 的 Rust 验证器解决 VeriContest 基准

简介VeriContest 是一个包含 1007 道 Rust 竞赛题的基准,每题附有 Verus 规约、可通过评测的解法和 Verus 证明。作者发现证明生成是瓶颈。本文将同一证明生成任务交给基于 Lean 4 的 Rust 验证器 Rust-Prover 处理,把规约和代码转译为 Lean,由智能体证明定理,并以 Lean 内核作最终检查。全部 1325 个定理均已证明,其中大部分由 Claude Opus 5.5 一次运行完成。

Traian Serbanuta, Jun Xu, Andrei Stefanescu 等

arXiv cs.AI · cs.LG

Teaching Agents to Code Reliably

说明让智能体可靠地写代码:训练推理时的修复与验证行为

简介该论文研究自主编程智能体修复代码仓库问题时,额外推理计算何时有效。作者认为修复位置多样性、编辑方法多样性和验证可靠性三种行为可以通过训练让策略习得。通过执行反馈引导搜索和对回退代码树的打分,在 SWE-bench Verified 上解决了 52.8% 的问题;训练后,在留出的 270 个问题上,pass@1 从 31.9% 提升到 43.0%,验证器精确率从 26.8% 提升到 41.7%。

Muhammad Ahmed Mohsin, Myeongsoo Kim, Kangrui Ruan 等

★★★★☆ 值得关注
arXiv cs.LG

tildeO(√T) Regret and Polylogarithmic Constraint Violation for COCO

说明面向对抗性凸代价与约束的在线优化:近似最优遗憾与多对数约束违反

简介论文研究带对抗性凸代价函数和凸约束的在线凸优化问题。学习者每轮选择决策并承受代价与约束违反,目标是同时最小化遗憾和累积约束违反。作者提出的策略在保持近似最优遗憾 O(√(T log T)) 的同时,将累积约束违反从多项式级降至 O(log² T)。

看点将CCV从多项式降至多对数,结合Hedge与Grünbaum不等式的消去论证是新颖的理论改进,证明较完整。

Dhruv Sarkar, Abhishek Sinha

arXiv cs.CV

FADE: Frame-Aware Diffusion-Transformer-based Multi-Concept Erasure for Video Unlearning

说明FADE:面向视频遗忘的帧感知扩散 Transformer 多概念擦除方法

简介文生视频扩散模型可能复现有版权、暴力或色情内容,因此需要概念擦除,即在保留其他行为的同时移除指定概念。本文提出 FADE 框架:先用联合闭式键值编辑抑制所有目标概念,再训练按帧索引和去噪时间步加权的帧感知低秩适配器,以消除逐帧残留泄漏。在单一 Wan2.1-T2V-1.3B 模型上擦除 16 个概念后,物体基准的残留准确率降至 4.9%,最强基线为 15.5%,同时 VBench 平均分与未编辑模型相差不超过 0.9%。

Yuchen Li, Kaiyuan Deng, Chaoran Feng 等

arXiv cs.LG · q-bio.BM

Learning Latent Protein Languages for Autoregressive Generation

说明学习用于自回归生成的潜在蛋白质语言:用学习到的离散表示让Transformer更好地生成蛋白质序列与结构

简介该论文针对自回归Transformer在蛋白质序列与结构生成中表现较弱的问题,提出两种学习得到的潜在蛋白质语言:基于冻结ESM-2编码器、每个残基一个标记的PLL,以及在GCP-VQVAE Lite基础上改进的SLL。作者分别在这两种标记上预训练自回归模型(PLLM与SLLM)。文中报告了计算缩放指数、无条件序列生成中低熵样本比例下降54%、结构预测困惑度降低34%,以及潜在标记采样比基于MSA的AlphaFold2快约1000倍等结果。

Mahdi Pourmirzaei, Farzaneh Esmaili, Amir Ziashahabi 等

arXiv cs.LG · cond-mat.dis-nn · cond-mat.stat-mech

Probabilistic Algorithms for Ising Machines from Optimization to Generative AI

说明伊辛机的概率算法:从优化到生成式人工智能的综述

简介本文是一篇综述,关注可在多种伊辛机硬件上移植运行的概率算法,主张以有可证明保证的原则性方法为优先。文中涵盖模拟退火、并行回火、可原生编码硬约束的二维扩展以及变分采样器等方法,并介绍了由概率硬件开发直接催生的经典类比算法PAOA(类似量子近似优化算法QAOA)。作者还探讨了生成式人工智能与伊辛机如何相互促进,并提出了加速下一代伊辛机能力与应用的软硬件协同设计框架。

Corentin Delacour, Xiuqi Zhang, Abdelrahman S. Abdelrahman 等

arXiv cs.AR · cs.AI

An Executable Benchmark for LLM-Based HLS Repair:Design Complexity and Repair Underconstraint

说明基于大语言模型的高层次综合(HLS)修复可执行基准:设计复杂度与修复欠约束

简介本文提出首个可执行的、面向自动程序修复的HLS设计修复基准,涵盖三个开源套件的125个实例和八类逻辑缺陷。作者用四个大语言模型评估修复效果,发现设计复杂度比缺陷类型更决定修复难度,并提出“解的多样性”作为修复欠约束的度量,它与修复失败显著相关。前沿模型显著提升了修复成功率。

Maisha Mastora, Dean Sullivan

arXiv cs.AI

ROAR: Unifying Runs across Heterogeneous AI-Driven Research Systems

说明ROAR:统一异构AI驱动研究系统的运行数据

简介AI驱动研究系统(ADRS)每次运行都是在庞大解空间中的昂贵搜索,不同团队与框架的输出格式各异,数据分散难以比较。论文提出ROAR,通过关系型模式与解析层统一并分析这些异构输出,并基于900多次运行构建语料库。研究发现多数运行在早期即获得大部分收益,且利用既有解的策略效果因问题而异。

Leo Y. Lin, Vishakha Ramani, Z. Berkay Celik 等

arXiv cs.CL

BAIBAICHUCHU at the NTCIR-19 FinArg-3 Task: When Is Maximum Possible Profit Predictable from Investor Text?

说明BAIBAICHUCHU在NTCIR-19 FinArg-3任务中的论文:何时能从投资者文本预测最大可能收益?

简介该论文介绍了BAIBAICHUCHU团队参与NTCIR-19 FinArg-3社交媒体子任务的工作,任务是按最大可能收益(MPP)对中文投资者帖子排序。团队结合词汇特征、预微调的MacBERT排序器和大语言模型评判器,但正式提交的最佳结果仅为0.517。论文通过事后审计发现评判器误用了只做多的规则,并进一步将排序分解为方向性文本、波动率与时间跨度以及成对间隔等部分进行分析。

Zong-Han Bai, Po-Yen Chu

arXiv cs.AI

LatentQuant: Preserving the Policy-Facing Latent Contract under NVFP4 VAE Quantization

说明LatentQuant:在NVFP4量化VAE时保持面向策略的潜在表示约定

简介该论文针对世界动作模型复用的预训练视频VAE,研究NVFP4量化如何影响下游策略依赖的编码器潜在表示。作者发现联合量化感知训练虽能保持重建质量,却导致LIBERO成功率从95.5%骤降至10.5%。为此提出两阶段方法LatentQuant:先将量化编码器与高精度版本对齐,再冻结编码器只训练解码器,在Wan2.1和Wan2.2上取得接近基线的控制效果,LIBERO成功率95.75%,RoboTwin为68.8%。

Ziye Deng, Lufang Chen, Shuyu Feng 等

arXiv stat.ML · cs.IT · cs.LG

Latent Score-Based Bayesian Cramér-Rao Bound Estimation for High-Dimensional Imaging Systems

说明基于潜在空间分数匹配的高维成像系统贝叶斯Cramér-Rao界估计

简介本文提出一种数据驱动框架,用于估计高维成像系统中的贝叶斯Cramér-Rao界(CRB),适用于先验分布难以解析的情形。方法先在预训练变分自编码器的潜在空间中重构逆问题以降低维度,再通过变量变换映射回原参数空间。为学习潜在先验分数,作者提出在带H¹空间Sobolev范数的Bochner空间中定义的切片分数匹配目标,以抑制高频伪影。在一个含超过一百万个未知参数的定量光声计算机断层成像乳腺成像问题上验证了该方法,结果稳定且无伪影,并显示先验对不同设计方案的相对性能有重要影响。

Evan Scope Crafts, Thomas Wynn, Seonyeong Park 等

arXiv cs.LG

One-Step Curvature Probes Miss the Fitting Operator: Retained Capacity and Terminal Null-Space Correction for Continual Learning

说明一步曲率探针漏掉了拟合算子:持续学习中的保留容量与终点零空间修正

简介论文指出,仅用一步的曲率探针评估初始更新方向,无法反映持续学习者在达到新任务拟合后的真实遗忘情况。作者在过参数化线性化下分析投影梯度下降,给出终点旧任务二次比的分解,并提出终点零空间修正以保持新任务线性化输出。在 Permuted MNIST 与 Split CIFAR-100 上,修正在 180 组中有 166 组降低了带符号的旧任务损失,但结果基于同一测试划分,属描述性结论。

Abu Sa-Adat Mohamed Moon-Im Al Ahsan, Ibne Farabi Shihab, and Md Najmus Swaqeeb

arXiv cs.AI

Retrieval-Augmented Large Language Model Decision-Making for Autonomous Driving Guided by Chinese Philosophical Wisdom

说明基于中国哲学智慧、检索增强大语言模型的自动驾驶决策研究

简介该论文提出CPW-Drive框架,用检索增强生成方式,把儒家思想中提炼出的价值原则引入自动驾驶决策,并设计PSSR方法按车辆布局和速度外推状态检索历史案例。在Highway-env多车道高速仿真中,三种交通配置下成功率分别为93.0%、86.0%和72.0%,优于最强基线,同时碰撞自由步数最多、变道频率较低,但也带来效率与延迟上的权衡。

Xiaojun Bi, Xiaoyuan Ma, Yiwen Sun 等

arXiv cs.LG · cs.SC

Synthesizing Physics Formulae with Transformers

说明用 Transformer 生成物理公式:改进外推能力的符号回归方法

简介该论文研究符号回归,即从输入输出数据中找出能拟合并预测新数据的简洁公式。作者通过调整训练 Transformer 所用的公式集合,提升其在训练范围之外的外推能力,并用含噪声的目标值微调模型以增强抗噪性。在 SRBench 和 LLM-SRBench 上,该模型约十秒生成一个公式,外推效果优于所有评估方法。

Shuwei Wang, Vadim Bulitko, Michael Youngblood 等

arXiv cs.LG

DePICT: Decision-Preserving Interface for Constrained Downstream Tasks

说明DePICT:面向受约束下游任务的决策保持接口

简介本文提出DePICT方法,用于构建决策保持接口。它依据优化器解对上下文方向的敏感度对这些方向排序,并在一个运行区间内汇总。作者通过KKT条件给出判定:某上下文方向是否与优化器相关。研究发现,出现在优化问题中并不必然影响最终决策,部分方向会被对偶变量吸收。受控诊断显示,DePICT能准确恢复决策相关接口,并将线性预测器遗憾降至0.009,而最强基线为0.475。

Utkarsh Grover, Ravi Ranjan, Agoritsa Polyzou 等

arXiv cs.CV

Dynamic Time Step Prediction in Inverse Heat Dissipation for Blur-Like Image Restoration Tasks

说明逆热耗散中的动态时间步预测:面向模糊类图像修复任务

简介扩散模型做图像修复时,通常用扩散反演保留退化图像中的信息,但固定的反演时间步不适合严重程度不同的退化。该论文提出逆热耗散模型,用逐步模糊的方式扩散输入图像,并设计时间预测器,根据退化程度自动估计反演起始时间步。在标准基准上的实验显示,该方法在定量和定性评估中均达到领先水平,并能较好地推广到多种修复任务。

Cap Dang Xuan Kiet, Tat-Jen Cham

arXiv cs.CL · cs.AI

A Step Towards Forgetting: Optimiser History and the Loss of Answer Mass

说明迈向遗忘:优化器历史与答案概率质量的丢失

简介该论文研究语言模型微调时的灾难性遗忘。作者把旧任务损失拆分为旧答案之间的混淆与概率泄漏到答案集合之外两部分,发现在三个模型家族中,答案概率质量普遍下降,而旧答案之间的区分能力通常反而提升。通过分解Adam更新,作者指出累积的历史梯度倾向于造成泄漏,当前梯度则起相反作用,较旧的新任务梯度是主要的有害来源。

Valeria Ruscio, Seth Nabarro, Keiran Thompson

arXiv cs.LG · cs.PF · cs.PL

TreeWalker: Partial Evaluation for Grouped Tree-Ensemble Inference

说明TreeWalker:面向分组树集成推理的部分求值方法

简介该论文针对对一组共享部分特征取值的行批量评估树集成模型的场景(如生存分析、点击率预测、情景分析),提出 TreeWalker 方法。它将常量特征视为静态、变化特征视为动态,每组只遍历一次树,并跳过空子树,可读取标准的 LightGBM 和 XGBoost 模型而无需重新训练。论文在多个数据集和两类硬件上报告了相对行独立推理的加速效果,并称其输出与 treelite GTIL 基本一致。

Durmus Karatay, Richard Newman

arXiv cs.AI

FluidPD: In-Place Elasticity for SLO-Aware Prefill-Decode Disaggregated LLM Serving

说明FluidPD:面向 SLO 的预填充-解码分离式大模型服务中的原地弹性调度

简介该论文提出 FluidPD 系统,用于分离预填充与解码两个阶段的大模型推理服务。它包含两种机制:FluidToken 在解码端有余量时临时分担预填充计算以应对短时波动;FluidRole 在工作节点间原地切换角色以应对持续的负载失衡,无需重新加载模型。在 Azure 生产轨迹负载测试中,相比静态 SGLang,整体 SLO 达标率最多提升 94.6 个百分点,且不增加工作节点。

Kartik Ramesh, Kaidi Fu, Zihan Zheng 等

★★★★☆ 值得关注
arXiv cs.AI

MLLMs Fail to Refuse when Using Tools Agentically

说明智能体式多模态大模型在调用工具时拒绝有害请求的能力下降

简介该论文研究多模态大模型调用缩放、标注等工具进行视觉推理时的安全性。作者在三个常用安全基准上测试了主流开源和闭源模型,发现工具调用场景下的拒绝失败率相对提高最多达68.7%。论文还基于超过10万条回复的分析,提出了安全性下降的两个可能原因。

看点发现工具调用使多模态大模型拒答能力下降,并在三个安全基准上以超过10万条回复验证,证据充分,影响安全部署。

Rikiya Takehi, Ryo Hachiuma, Shaona Ghosh 等

arXiv cs.CL

General Decision Models: Benchmarking and Insights Beyond Jev

说明通用决策模型:超越 Jev 的基准评测与洞见

简介本文提出 JEVal,一个包含 36 个数据集、11,257 条双语实例、覆盖 10 个应用领域的基准,用于评测通用决策模型与生成式大语言模型。结果显示,决策模型在可由现有证据判定的任务上表现较好,但在需要专业知识或可靠不确定性估计时较弱;在长链多步任务中,快速局部决策会因错误累积而降低任务成功率。作者还提出 SII-Decision 系列模型,通过自蒸馏将大模型的推理内化为单次前向决策。

Feiyu Duan, Jiayu Lin, Jia Wang 等

arXiv cs.AI · cs.AR

SGAnalog: An End-to-End Circuit Benchmark from Open-Source Silicon Tapeouts

说明SGAnalog:基于开源硅片流片的端到端电路基准

简介该论文提出SGAnalog,一个由Tiny Tapeout流片项目中的开源人工设计电路构建的模拟集成电路基准,包含273个拓扑结构不同的顶层设计。基准评估两类任务:原理图到网表的转录与器件尺寸设计。在66个转录任务上,表现最好的模型达到56.1%的精确图同构率;在17个尺寸设计任务上,领先模型给出的方案得分为91.2分(满分100),而部分模型会拒绝回答同类提示。

Yueting Li, Weihang Ding

arXiv cs.MA

Resilient Multi-Agent Target Localization and Tracking via BAG-Aware Mutual Information Maximization under False Data Injection Attacks

说明基于贝叶斯攻击图与互信息最大化的抗攻击多智能体目标定位与跟踪

简介本文针对多智能体网络在虚假数据注入攻击下的目标定位与跟踪问题,提出一种弹性框架。该框架结合基于信息的导航、贝叶斯攻击图检测被攻陷的智能体,并在定位智能体被攻击时,引导未受攻击的智能体通过LQR控制重新定位目标。仿真结果表明,该框架在虚假数据注入攻击下仍能保持稳健的跟踪性能。

Bibek Adhikari, Samrat Chaulagain, Kamesh Subbarao

arXiv cs.CV · cs.MM

DABACO: A Multi-Camera Dataset and Benchmark for Screen Localization and Pointing Estimation

说明DABACO:用于屏幕定位与指向估计的多摄像头数据集与基准

简介本文介绍了DABACO数据集,由低成本指向设备项目开发,包含多种低成本摄像头在树莓派4B、ESP32-S3等嵌入式平台上采集的视频序列。数据集提供了带标记与去标记的图像、角点标注和修改掩码,并发布了开源评估工具包及两个基线方法(经典边缘轮廓检测与未经数据集训练的YOLOv8分割模型),在通用计算机上以交并比、角点误差和指向误差进行评估。

\'Oscar G\'omez-C\'ardenes, Jos\'e Gil Marichal-Hern\'andez, Juan Manuel Mart\'in-Do\~nas

arXiv cs.AI · cs.DB

A Governed Agent Architecture for Natural-Language Dashboard Generation over Enterprise DataBrain

说明面向企业 DataBrain 自然语言仪表盘生成的受控智能体架构

简介本文介绍一个针对 DataBrain 的原型系统,可将自然语言分析请求转化为可检查的仪表盘。系统由 Codex 插件与独立智能体运行时组成,模型提出动作,确定性的 Hook 机制负责审批、审计、检查点与故障恢复。在真实任务和受控故障测试中,元数据与 SQL 任务严格成功率为 6/8,全部 10 个故障场景均达到预期结果。作者指出,这些小规模结果不足以证明可用于生产环境、通用文本转 SQL 的准确性或相对人工制作的效率优势。

Yiou Wu, Zezhi Tang, Ningwei Bai 等

arXiv cs.LG

COVER: Learning to Accept More in Selective Sleep Staging

说明COVER:在选择性睡眠分期中学习接受更多可靠预测

简介传统睡眠分期方法对每个脑电片段都使用同一模型,计算资源分配不够灵活。本文研究级联系统的第一阶段:在给定可接受风险目标下,最大化初级分类器的接受覆盖率。作者提出 COVER 方法,用辅助信息学习的错误分数替代最大softmax概率,并以固定尺度直接优化受经验风险约束的覆盖率。在 Sleep-EDF-20 数据集上,COVER 在约 4.5% 受试者等权风险下达到 50.4% 的平均覆盖率,高于所比较的基线方法。

Yukai Song (1), Yangfan Deng (2), Jijun Yin (1) 等

arXiv cs.LG · cs.AI · cs.RO

A Geometric Perspective on Reward Function Updates in Inverse Reinforcement Learning

说明逆强化学习中奖励函数更新的几何视角

简介本文从占用空间(occupancy space)的几何角度重新审视逆强化学习中的奖励更新,指出仅依赖梯度下降的视角忽略了问题的几何结构。作者利用最优占用及其几何已知的事实,展示沿指向最优占用的直线路径的几何会影响对偶问题的梯度,并据此提出用平均Fisher信息对梯度进行预条件处理。文中还从镜像下降角度分析这些更新,并给出此类几何感知算法的收敛结果。

Anish Diwan, Jan Peters, Oleg Arenz