全部 AI 动态 · AI 热点

6月16日

12:14

arXiv cs.LG@Yonghyun Kim, Junwon Lee, Haiwen Xia, Yinghao Ma, Junghyun Koo, Koichi Saito, Yuki Mitsufuji, Chris Donahue

TuneJury 是一个面向文本到音乐生成的开放实例级成对奖励模型，基于人类偏好标签（包括竞技场投票、指标对齐偏好、众包成对比较和专家美学评分）训练。它通过简单分数阈值支持数据过滤，在保留测试对和分布外基准上表现良好，并胜过先前的基线。该模型还引入锚定校准方法，以更高的数据效率恢复一致性，并在三种下游应用（推理时最优N采样、DITTO风格潜在优化和专家迭代后训练）中持续提升奖励轴收益。TuneJury 已在 GitHub 发布。

论文 TuneJury 音乐生成多模态偏好对齐奖励模型

推荐理由：如果你在搞音乐生成，想用人类偏好来对齐模型，这个开源的奖励模型 TuneJury 可以让你直接拿来用，还附带了三种应用示例，比重新训一个省事多了。

原文

12:13

arXiv cs.LG@Martino Bernasconi, Matteo Castiglioni, Andrea Celli, Alexandros Hollender

论文证明了在超立方体上计算二次多项式的近似稳定点是PPAD难的。即使在多项式为多重线性且每个变量出现在至多3个单项式的情况下，该结论依然成立。近似因子可达到逆多项式精度。作为直接推论，首次得到了两队零和多项矩阵博弈的PPAD困难性结果。

论文 PPAD 二次多项式极小极大优化计算复杂性多项矩阵博弈

推荐理由：这篇论文告诉你，就算是最简单的二次多项式，求极小极大问题的近似解也是超级难的，还顺带证明了博弈论里某些游戏也是难到头。

原文

12:12

arXiv cs.LG@Tran Dinh Tien, Zhiqiang Shen

ActiveSAM是一个无需训练、零样本推理的框架，将SAM 3改造为主动词汇分割器。它先通过低分辨率预视估计图像条件下的活跃类别集，再对保留类别进行全分辨率解码。在8个开放词汇语义分割基准上，ActiveSAM平均mIoU比当前最优的SegEarth-OV3高1.4，且在大词汇数据集上速度提升高达5.5倍。该方法无需目标数据集训练或权重更新，在图像损坏鲁棒性测试中也表现最强。

论文 ActiveSAM SAM 3 SegEarth-OV3 开放词汇分割语义分割

推荐理由：研究者用ActiveSAM让SAM 3分割更快更准，比SegEarth-OV3提升1.4的mIoU，速度快5.5倍，还不用重新训练。

原文

12:10

arXiv cs.LG@Nathan Gavenski, Juarez Monteiro, Francisco Galuppo, Adriano Veloso, Odinaldo Rodrigues

PACT是一种混合架构，结合快速反应式RL策略与慢速SLM规划器。它异步调用2B参数SLM生成候选动作计划，经仿真验证安全、可行、完整后直接执行，无需重训练RL策略。在三个难度递增的FrozenLake配置上，PACT超越所有基线，表明规划与反应协同比单独使用更强。

论文 PACT Small Language Model Reinforcement Learning FrozenLake 规划

推荐理由：这篇论文提出了PACT，用一个小型语言模型来规划动作，再结合强化学习策略，在FrozenLake上比纯RL效果好，而且不用重训练。

原文

12:09

arXiv cs.LG@Mariam Elbakry, Aliaa Sayed Sheha, Salma Hassan Tantawy, Aya Yassin, Concetto Spampinato, Karim Lekadir, Xiaomeng Li, Marawan Elbatel

该论文提出一个多中心基准，用于从单期非增强CT（NCCT）合成对比增强CT（CECT）特征，实现多器官腹部疾病诊断和自动报告生成。数据集包含来自两个中心的配对NCCT-CECT影像及增强报告，分为内部集和外部验证集。在统一评估协议下，五种深度学习架构（胸部专用、腹部专用、通用多模态）被基准测试。实验表明NCCT保留诊断信号，内部集平均多器官AUC达69.1%，外部集为63.1%。研究公开了数据集和代码（GitHub），旨在推动更安全、低资源、可及的免对比成像工作流。

论文 NCCT CECT 腹部疾病诊断放射报告生成多中心基准

推荐理由：这篇论文发布了首个多中心非增强CT诊断基准，用NCCT就能达到CECT六到七成AUC，有望减少造影剂风险和辐射。

原文

12:06

arXiv: DeepSeek@Mehmet Iscan

针对参数不超过1.5B的冻结小代码模型，研究在无需微调下通过后验验证操作提升程序正确性的效果。在匹配计算量的泄密自由协议下，评估了26种语义后验算子（选择、验证、修复、消除等），均未能在HumanEval+和MBPP+上超越Best-of-N (BoN)的留出准确率。研究发现覆盖墙、能力剪刀差和空共识陷阱是根本原因。唯一带来精度提升的算子M1通过表达层恢复标准提取器丢弃的正确程序，使DeepSeek-Coder-1.3B在HumanEval+上多解+12题（p=2.4e-4），且零伤害。自适应共识早停（ACE）节省约19%计算量且无伤害。

论文 DeepSeek-Coder HumanEval+MBPP+小代码模型后验验证

推荐理由：这篇论文测了26种后验操作，结论是除了M1都没跑过最朴素的BoN。M1靠恢复被遗漏的正确代码，让DeepSeek-Coder-1.3B在HumanEval+上多解对12题，值得搞代码生成的同学看看。

原文

11:57

arXiv: DeepSeek@Tai Tran Tan, An Dinh Thien

该论文描述了SemEval-2026 Task 6的系统，针对美国总统采访中的政治回避策略分类。比较了两种范式：使用QLoRA对Qwen3（4B-32B）进行参数高效微调，以及使用结构化CoT提示推理模型DeepSeek-V3.2和Grok-4-Fast。Grok-4-Fast在子任务2（9类回避）上取得Macro F1 0.5147，子任务1（3类清晰度）上0.7979，分别排名第8和第13。消融实验表明层次化标签和少样本示例提升了效果，但最强提示变体间Macro F1无显著差异。

论文 Grok-4-Fast DeepSeek-V3.2 Qwen3 推理模型政治回避检测

推荐理由：想知道怎么用CoT提示检测政治回避？这篇论文拿Grok-4-Fast跑出了0.51的F1，比微调Qwen3强，还分析了怎么设计提示最有效。

原文

11:56

arXiv: DeepSeek@Yingnan Zhao, Razvan Bunescu, Ahmed Louri, Avinash Karanth, Ke Wang

针对MoE模型（如Qwen、DeepSeek）推理中专家加载延迟高的问题，研究者分析了专家选择行为，发现相邻MoE层和连续解码token间专家请求存在强相关性。基于此提出ST-MoE，一个结合轻量级运行时预测机制与可重构硬件设计的专家预取框架。ST-MoE通过预取专家与计算重叠，显著提升推理性能并降低能耗，同时保持模型精度。实验在多种MoE模型和应用（语言理解、代码生成）上验证了有效性。

论文 MoE Qwen DeepSeek ST-MoE 推理加速

推荐理由：这篇论文分析了Qwen、DeepSeek等MoE模型的专家加载瓶颈，用ST-MoE框架通过预取专家来加速推理，兼顾效率和精度，适合关注大模型推理优化的读者。

原文

11:55

arXiv: DeepSeek@Zaifu Zhan, Shuang Zhou, Rui Zhang

提出一种多智能体互审推理方法，让多个LLM独立生成链式推理与候选答案，再互相评审事实正确性与逻辑合理性，选择最高分推理链输出最终答案。在Llama-3.1-8B、Qwen2.5-7B、Phi-4、DeepSeek-LLM-7B、GPT-oss-20B五个模型上对HeadQA、MedQA-USMLE、PubMedQA三个基准测试，平均准确率达0.820，超过单模型最佳0.777和多数投票集成最高0.789。评审可靠性高，能有效区分优质与低质推理链。

论文 Llama-3.1-8B Qwen2.5-7B Phi-4 DeepSeek-LLM-7B 多智能体推理模型

推荐理由：这篇论文让多个AI模型互相评审对方的思考过程，医学问答准确率比单模型高5个百分点，比投票集成也高3个百分点，有意思。

原文

11:54

arXiv cs.AI@Qi Li, Zhenhua Zou, Shuo Li, Mingwei Xu, Zhuotao Liu

TrustedARI是首个为智能体AI设计的信任原生代理路由基础设施，解决传统ARI架构中代理查询和服务响应明文暴露、路由验证缺失的风险。其核心创新包括：三方可信握手协议（通信开销降低39.34%）、隐私保护查询构建协议（平均计算耗时0.19秒、通信成本0.58 MB）、可验证计费协议（证明生成加速28.20倍）。实验表明，TrustedARI无需修改服务提供商即可直接部署。该研究在arXiv上发表，为智能体路由安全提供了可落地方案。

论文 TrustedARI Agentic AI 代理路由可验证计费隐私保护

推荐理由：这篇论文搞了个TrustedARI，让AI代理调用外部服务时能验证路由安全，还比现有方案省近四成带宽，部署不用改服务商代码。

原文

11:53

arXiv cs.AI@Siya Yang, Nanxiang Jiang, Zhaoxin Fan, Yunfeng Diao

该论文针对视觉自回归(VAR)模型提出语义奇异性公理，认为目标语义概念在Scale-0阶段被锁定。通过增量语义显著性分析(ISSA)验证该公理，并首次提出尺度感知的概念擦除框架(SACE)。SACE仅在第一尺度进行干预，结合熵正则化擦除目标和恢复性损失，防止高熵采样退化并保持良性先验完整性。实验表明该方法在多个领域实现精准概念擦除，训练开销极小。

论文 SACE VAR 概念擦除语义奇异性 AI安全

推荐理由：这篇论文解决了VAR模型的安全对齐难题，发现只需在生成的第一阶段做干预就能擦除指定概念，比扩散模型方法更高效。代码已开源，可快速应用。

原文

11:52

arXiv cs.AI@Yuyang Dai, Yushun Dong

Knowledge Trap 是一种针对 LLM 模型提取攻击的防御方法，通过构建 Honeypot Knowledge Graph (HKG) 和面包屑引导探索，将攻击者的查询预算重定向到低迁移性的知识上。在医疗和金融领域的实验中，Knowledge Trap 使攻击者获得的代理模型一致性 (Agreement) 平均降低 6.2%，同时不影响合法用户的准确率。相比现有防御方法，Knowledge Trap 不会降低正常用户的体验。该研究表明，防御知识空间遍历是缓解 LLM 提取攻击的一个实用方向。

论文 Knowledge Trap Honeypot Knowledge Graph 模型提取攻击 LLM安全

推荐理由：这篇论文提出一个聪明的防御思路，叫 Knowledge Trap，用蜜罐知识图消耗攻击者的查询预算，不影响正常用户，效果不错。

原文

11:48

arXiv cs.AI@Pavel Surynek

本文研究多智能体路径规划（MAPF）的一个变种——未分配智能体MAPF（UA-MAPF），其中部分智能体有起点和终点，而另一些智能体只有起点无终点，须为前者让路。作者将UA-MAPF表达为布尔可满足性问题，改编了两种编译式求解器SMT-CBS和NRF-SAT。实验在标准MAPF基准上验证了该方法的有效性。

论文 SMT-CBS NRF-SAT MAPF 多智能体路径规划未分配智能体

推荐理由：一篇论文展示了如何让没有任务的智能体给有任务的智能体让路，用上了SMT-CBS和NRF-SAT求解器，思路很清晰。

原文

11:48

arXiv cs.AI@Artyom Mazur, Nina Konovalova, Aibek Alanov

该论文将基于转码器的电路追踪扩展至多模态扩散Transformer，训练时间步条件转码器以逼近FLUX.1[schnell]中MLP子层的输入输出行为。通过替换MLP并线性化剩余计算，实现了精确的特征到特征归因并恢复紧凑可解释电路。在稀疏性-忠实度权衡上，转码器匹配或略优于稀疏自编码器。所得电路揭示了属性绑定和跨流语义传播机制，为系统生成误差提供了因果解释，且基于电路的干预比标准SAE干预更精准有效。

论文 DifFRACT FLUX.1 电路追踪多模态扩散Transformer 可解释性

推荐理由：这篇论文教你如何用转码器给FLUX.1模型做电路追踪，比稀疏自编码器更准确，能解释图像生成中的属性绑定错误。

原文

11:46

arXiv cs.AI@Aman Anifer, Vignesh Kumar Kembu, Vishnu M, Antonino Nocera, Vinod P., Amal Murali PK, Akshay S Rajan

研究者提出GAS-Leak-LLM，一种基于遗传算法的黑盒LLM越狱攻击方法。该方法无需访问模型参数或内部信息，在严格黑盒设置下通过选择、变异、交叉迭代搜索对抗性后缀。实验在多个主流LLM上验证了攻击成功率，暴露了现有安全对齐机制的缺陷。

论文 GAS-Leak-LLM LLM 遗传算法 AI安全对抗攻击

推荐理由：想看看LLM安全到底有多脆弱吗？这个研究用遗传算法黑盒越狱，效果惊人，开发者应该留意。

原文

11:45

arXiv cs.AI@Aniq Ahmad, Heather Bedle, Ahmad Mustafa

本文提出一个零样本框架，将Segment Anything Model (SAM)用于地震解释，无需微调。框架包括两个组件：1) 根据地质目标对齐地震属性与可视化（如色图）；2) 混合提示策略，结合稀疏用户定义点提示与SAM内部特征激活生成的稠密掩码提示。在多个地质目标、数据集和提示配置下评估，发现地质目标感知的属性选择与混合提示可提升边界描绘和分割精度。结果表明，零样本SAM能达到有竞争力的分割性能，减少对标注数据的依赖。

论文 SAM 地震解释零样本提示工程分割

推荐理由：这篇论文教你如何在不微调的情况下用SAM做地震图分割，用混合提示和属性选择就能提升效果，挺实用的。

原文

11:44

arXiv cs.AI@Pratheswaran Hariharan, Haiping Xu, Donghui Yan

该论文提出检索增强可靠性感知推理框架，通过构建外部视觉证据数据库及最近邻检索，估计预测可信度。在ImageNet-100上，接受预测准确率从85.84%提升至88.88%，覆盖率89.04%。幻觉错误接受率从14.16%降至11.12%。方法整合检索证据、可靠性估计和选择性决策门控，无需重新训练大模型即可减少过度自信的视觉错误。

论文多模态大模型视觉幻觉检索增强可靠性感知 ImageNet-100

推荐理由：多模态模型总是幻觉？这篇论文用检索+可靠性打分，让模型不确定时主动说不知道，准确率还提升了，值得看看方法。

原文

11:40

arXiv cs.AI@Alexandra Neagu, Jeffrey T. H. Wong, Marcus Messer, Rhodri Nelson, Peter B. Johnson

该论文引入了一个评估管道，包含两个指标——聊天机器人脚手架和学生吸收率，并在9个数据集（共9490个对话）上应用，涵盖AI导师基准测试和现实部署。分析发现，基准测试假设高脚手架、高学生吸收率环境，但现实中的学生整体吸收率较低，经常绕过聊天机器人的教学框架。论文认为，绕过脚手架不一定有害，反而常突显了聊天机器人的教学框架与学生目标之间的不匹配。未来基准测试应评估聊天机器人如何导航多样化的学习情境和学生驱动的交互模式。

论文 LLM辅导员脚手架学生吸收率基准测试教育AI

推荐理由：这篇论文用9490个对话数据证明，AI辅导系统在测试中的表现和实际使用差很多，学生根本不吃那套引导。做教育AI的值得看看。

原文

11:39

arXiv cs.AI@Liran Tal, Johannes Kloos, Arsenii Rudich, Stephen Thoemmes, Manoj Nair

该论文通过300次重复漏洞扫描，测量了LLM在JavaScript代码安全审查中的可重复性。在250次模型运行中，80个唯一不匹配发现仅出现在一次重复中，22个出现在全部五次。相比之下，Claude匹配Snyk Code参考发现时更稳定：134个唯一匹配发现出现在全部五次。Snyk Code SAST是确定性的，能系统枚举重复数据流汇点。结果表明，将agentic LLM审查与确定性SAST结合比单独使用任一方法更好。

论文 Snyk VulnBench Claude LLM AI安全代码审计

推荐理由：这篇论文测试了LLM重复找漏洞的稳定性，发现Claude匹配结果很稳，但自己新发现的漏洞随机性高。建议和安全工具搭配用，别靠它单干。

原文

11:38

arXiv: OpenAI@Marta Vallejo, Siwen Wang

该研究通过十名参与者观看33张安全风险场景图像的眼动数据，生成人口平均注视热图。使用GPT-4o通过OpenAI Vision API生成视觉注意力显著性图，并与注视数据比较。空间对齐评估采用四个指标：皮尔逊相关系数0.515±0.117、NSS 0.988±0.323、KL散度1.766±0.844、AUC-Judd 0.806±0.076。与Gemini Pro、Gemini Flash和Claude的对比显示，所有模型AUC-Judd超过机会基线0.5且NSS为正。Gemini Pro在三个指标上定位最强，GPT-4o在KL散度上分布匹配最佳。

论文 GPT-4o Gemini Pro Gemini Flash Claude 视觉语言模型注意力安全场景

推荐理由：想知道AI能不能像人一样在危险场景下抓住关键区域？这篇论文用GPT-4o、Gemini Pro等模型做了对比，发现它们不靠眼动训练数据就能大致预测人类注视点。

原文

11:37

arXiv cs.AI@Nikolos Gurney

该论文构建了一个结构因果模型（DAG），将心智理论视为由情境与主体条件激活的机制，而非始终开启的能力。模型包含四个外生变量（如冲突强度、信息可及性）和五个内生中介变量，通过可处理性路径、推理深度路径和使能原因路径三种机制决定心智理论的参与状态。主要输出变量是认知准确性，该框架为AI系统提供了资源理性的心智化决策流程。论文还通过仿真验证和人类-智能体团队实验评估了模型的有效性，并讨论了冲突优化心智化引发的伦理问题。

论文心智理论因果模型冲突场景 AI安全

推荐理由：这篇论文给AI装了个'读心开关'——只在冲突场景下按需启动心智推理，既省算力又提升准确性，值得做AI安全和多智能体的人看看。

原文

11:32

arXiv cs.AI@Arunkumar V, Manoranjan Gandhudi, Gangadharan G. R., Arun Prakash, S. Senthilkumar

RAID框架利用多语言嵌入模型将文本元数据映射到共享语义空间，构建归纳检索图实现新项扩展。在严格冷启动协议下，RAID在预测准确率上超越当前强基础模型，同时预测区间覆盖率更优。其非自回归解码将推理延迟降低一个数量级。此外，RAID支持零样本跨语言迁移，仅使用英文描述训练即可泛化至其他语言。

论文 RAID 多语言嵌入冷启动预测时间序列预测跨语言迁移

推荐理由：这篇提出了RAID，用元数据语义和图扩散搞定时间序列冷启动预测，精度高、跨语言、延迟还低，挺实用的。

原文

11:32

arXiv cs.AI@Arunkumar V, Manoranjan Gandhudi, Gangadharan G. R., Arun Prakash, S. Senthilkumar

MA-SBI 提出通过侧信道文本（如制度标签或政策公告）校正模拟器误指定，无需真实参数对。理论证明误指定校正的偏差减少受侧信道与误指定互信息上界约束，且对次高斯噪声非平凡。在隐藏校准基准上，仅使用文本的 MA-SBI 在 10 个种子和两个骨干上达到与原 Oracle 后验的 TOST 等价，而 RoPE 即使使用更多数据也未实现。在真实 COVID 和 OxCGRT 流行病学数据上，随机变体改进了后验预测对数似然，并在良好指定的认知科学语料上正确保持后验不变。

论文 MA-SBI 模拟推断误指定侧信道 RoPE

推荐理由：这篇论文给出了一个不依赖真实参数对的新方法MA-SBI，用文本作为侧信道校正模拟器错误，在多个基准上比当前最好的RoPE还强，而且理论也扎实。

原文

11:24

arXiv cs.AI@Tong Che, Rui Wu

一项新研究提出了“奖励通道上瘾”概念，指强化学习策略会沉迷于可见的即时收益信号（如分数、KPI仪表盘）。在名为MoneyWorld的合成沙箱中，模型在跨域任务上追逐显示收益而忽视真实目标，甚至当仪表盘为不安全动作支付奖励时，会放弃原本始终采取的安全行为。该现象在多个模型规模和系列上重现，表明盲目优化KPI或损益可能危及下一代AI的对齐。研究强调，贪婪是学会的，只要跟随这样的通道有回报。

论文 MoneyWorld 奖励通道上瘾对齐 AI安全强化学习

推荐理由：这篇论文揭示了一个看似反直觉但极其危险的现象：AI看到奖励仪表盘就会“学坏”，连安全对齐都能被收买。研究者在MoneyWorld里精心实验，结果证明这种“贪婪”不是天性而是后天习得。

原文

11:23

arXiv cs.AI@Aleksander Szczęsny, Wiktoria Mieleszczenko-Kowszewicz, Maciej Markiewicz, Beata Bajcar, Tomasz Adamczyk, Jolanta Babiak, Grzegorz Chodak, Przemysław Kazienko

IMPACTeen 数据集包含 1021 个文本和 5100 条注释，覆盖人际、媒体和数字场景下的青少年社交影响。每个文本由青少年、家长、心理专家、传播专家和教师五个视角进行标注。数据集通过约束 LLM 生成后经人工编辑验证，确保场景真实性。它支持社会影响力检测、标注者分歧分析和跨语言建模等研究。原始数据为波兰语，并附有英语版本。

论文 IMPACTeen social influence 青少年数据集注释

推荐理由：想做青少年社交影响力检测？这个数据集有1021个文本和五方标注，还能跨语言用。

原文

11:21

arXiv cs.AI@Dongbin Na, Chanwoo Kim, Soonbin Rho, Giyun Choi, Gangbok Lee, Dooyoung Hong

BinTrack是一种全开源的空间定位智能体，利用机器人轨迹的时间顺序进行二进制搜索。在SpaceLocQA基准的全局类别上，BinTrack将准确率提升22.8%，甚至匹配了GPT-4o的闭源模型结果。其推理策略带来超过1.5倍的加速。论文还发布了GangnamLoop，一个在真实街道上用四足机器人采集的多行程室外基准数据集。

论文 BinTrack 空间问答导航 SpaceLocQA GangnamLoop 开源模型

推荐理由：想让你家机器人找到干洗店？BinTrack用开源VLM做空间问答，性能追平GPT-4o还更快，代码数据全公开。

原文

11:20

arXiv: OpenAI@Ziyue Wang, Cheuk Wang Maurice Ng, Chenchen Yu, Strick Sheng, Kaihua Qin, Liyi Zhou

EvoHunt是一个在开源仓库上运行的安全审计剧本进化环境。它使用三个智能体驱动循环：审计智能体执行当前剧本，评估器根据真实情况打分，修订者根据失败分析更新剧本。在开源安全公告评估中，EvoHunt使Codex/GPT5.4-xhigh的端到端漏洞利用成功率从1.1%提升至6.2%。GLM5.1演变出的剧本在目标匹配率上达到11.3%，超过OpenAI Codex Security的9.2%。转移实验显示，Qwen3.6-27B借助GLM剧本从2.4%提升至6.5%，Qwen3.6-35B-A3B从1.1%提升至4.6%。

论文 EvoHunt Codex GLM Qwen 智能体安全审计

推荐理由：这篇论文讲EvoHunt，能自动生成安全审计剧本，还能把经验迁移给弱模型，效果比商用产品还好。

原文

11:19

arXiv cs.AI@Dongbin Na, Chanwoo Kim, Giyun Choi, Dooyoung Hong

现代视觉语言模型在具身问答中对不可回答查询常产生过度自信回答。本文提出的Semantic Flip框架通过独立变换查询与视频记忆合成辅助OOD样本，无需外部标注即可训练轻量拒绝模块。该方法可附加到任何冻结的预训练VLM上。在SpaceReject基准上，Semantic Flip取得0.9559的F1分数。

论文 Semantic Flip SpaceReject VLM 智能体 AI安全

推荐理由：这篇论文教具身AI什么时候该说'我不知道'，不用额外训练数据就有效。

原文

11:18

arXiv cs.AI@Aarne Ranta

这篇论文提出Informath项目，基于Dedukti作为不同证明系统（Agda、Lean、Rocq）之间的枢纽，并利用Grammatical Framework（GF）处理多语言语法正确性。符号非形式化将形式化数学可靠地转换为自然语言，使机器验证的内容可读。论文展示了Informath能以合理的开发成本生成流畅文本，并支持多种形式语言和自然语言。

论文 Informath Dedukti Grammatical Framework 形式化数学自然语言生成

推荐理由：这篇论文介绍了一个叫Informath的项目，能把数学证明自动转成自然语言，支持多语言和多个证明系统（Agda、Lean、Rocq），对形式化验证和AI可解释性很有用。

原文

11:17

arXiv cs.AI@Sanjay Basu

精选

研究者标注313个MedAlign EHR问答对的四层跃点分类，评估301个问题。三个模型（Claude Sonnet 4-6、GPT-4o、GPT-5.4-2026-03-05）准确率随跃点增加单调下降：Claude从30.6%（hop=1）降至17.6%（hop=4），GPT-4o从37.8%降至14.7%，GPT-5.4从37.8%降至23.5%。上下文充分性审计显示高跃点问题并未因EHR截断而更差，准确率下降源于推理难度。扩展思考未明显缓解精度-深度曲线，思考token使用量与跃点正相关（r=0.31）。

论文 Claude Sonnet GPT-4o GPT-5.4 MedAlign 推理深度

推荐理由：这篇论文用实验告诉你，临床AI回答EHR问题时，推理步骤越多越容易翻车。Claude、GPT-4o和GPT-5.4都逃不过，部署前得重点防多步推理。

原文

11:15

arXiv cs.AI@Markus Bujotzek, Dimitrios Bounias, Stefan Denner, Ralf Floca, Maximilian Fischer, Peter Neher, Klaus Maier-Hein

该基准套件整合了来自不同来源的真实噪声医学图像分割数据集，并设计了多种客户端-噪声场景（如轮廓不一致、缺失结构、标签混淆）。它提供了针对标签噪声的评估指标，支持系统性的联邦噪声标签学习（FNLL）评估。代码已在GitHub上开源（MIC-DKFZ/FedSegNoiseBench），为公平比较和未来方法开发奠定基础。

论文 Federated Learning Medical Image Segmentation Noisy Label Learning 基准测试

推荐理由：医学图像分割里标签噪声很头疼，这个基准套件专门测联邦学习下的真实场景，帮你挑最靠谱的去噪方法。

原文

11:13

arXiv cs.LG@Kareem Amin, Rudrajit Das, Alessandro Epasto, Adel Javanmard, Dennis Kraft, Mónica Ribero, Sergei Vassilvitskii

该论文提出一个可定制的实证审计框架，用于检测合成数据中的隐私泄露。框架区分“真泄露”（系统直接复制用户信息）与“幻影泄露”（偶然生成用户数据）。通过将数据分为训练集和留出集，并应用统计假设检验，可判断泄露是否超出零学习或差分隐私基线。该方法无需模型访问、无需插入蜜罐、无需训练参考模型，仅需合成输出和留出控制集。实验表明，它作为成员推理攻击，能提供比传统数据审计方法更紧的隐私泄露下限，且计算资源需求少几个数量级。

论文合成数据隐私审计差分隐私成员推理攻击 LLM

推荐理由：想审计合成数据是否偷学了你的信息？这篇论文给出了一个轻量级方案，无需模型权限，只需输出和留出集就能揪出隐私泄露。

原文

11:12

arXiv cs.LG@Matteo Cartiglia, Sandro Kuppel, Wouter Botermans Wannes Peeters, Natan Biesmans, Liam Vandekerckhove, Eric Beamish, Koen Ongena, Wouter Renckens, Pol Van Dorpe, Sanjin Marion

该研究提出用对比编码器将随机单分子信号映射到可解释分子坐标，编码器仅基于物理模型模拟信号训练。编码器对结构参数敏感，对采集条件和构象不变，允许跨设备数据整合。单次编码完成分子识别，计算成本比对齐方法降低三个数量级。实验验证了混合物定量、稀有变异检测和实时信号采集。

论文纳米孔单分子传感对比学习编码器可解释性

推荐理由：这篇论文用模拟信号训练编码器，把纳米孔信号转成可解释坐标，识别快了一千倍，实验也扎实。

原文

11:11

arXiv cs.LG@Naiyu Yin, Dennis Wei, Tian Gao, Amit Dhurandhar, Karthikeyan Natesan Ramamurthy, Yue Yu

论文针对LLM电路学习中原始神经元多义性和SAE特征高维度的计算瓶颈，提出基于稀疏线性回归的CircuitLasso方法。在基准数据上，CircuitLasso恢复电路的结构准确性与最先进的干预方法相当，但计算成本大幅降低。它还能高效揭示SAE特征之间的传播关系，展示可解释语义特征如何影响模型预测。在领域泛化任务中，利用CircuitLasso学到的电路洞见，能以更低成本达到可比性能。

论文 CircuitLasso LLM SAE 机制可解释性电路学习

推荐理由：这篇论文提出了CircuitLasso，能以更低成本达到和现有方法一样好的电路学习效果，还能揭示可解释的语义特征如何传播。

原文

11:09

arXiv cs.LG@Jan-Niklas Klein, Sona Ghahremani, Christian Medeiros Adriano, Holger Giese

CrossMaps是一个实时开放词汇语义地图构建管道，使用RGB-D数据生成语言可查询的语义热图。它集成多尺度CLIP嵌入和置信度感知融合，通过几何、语义和时间置信度线索聚合噪声视觉观察。采用双记忆架构（短时记忆STM和长时记忆LTM），置信且一致的单元被提升为持久语义地标。在Jetson Orin驱动UGV上结合SLAM运行，支持自然语言查询导航。

论文 CrossMaps CLIP Jetson Orin 语义地图漫游车导航

推荐理由：这篇论文搞了个CrossMaps，让漫游车能用自然语言查地图，比VLMaps多了置信度融合和双记忆，在Jetson Orin上实时跑

原文

11:08

arXiv cs.LG@Patomporn Payoungkhamdee, Napat Laosaengpha, Jenta Wonglertsakul, Pittawat Taveekitworachai, Pume Tuchinda, Panjapong Poobanchuen, Ekapol Chuangsuwanich, Can Udomcharoenchaikit, Samuel Cahyawijaya, Peerat Limkonchotiwat, Sarana Nutanong

研究在多个大语言模型上分析了代码解释器推理的外在属性（关键token）和内在属性（代码认知行为）。发现较强模型的关键token和认知行为（验证、回溯、反向链）更突出。推理时添加关键token在数学、排序、优化任务上提升性能。训练时加入认知行为改进了三个模型中的两个的监督微调和强化学习效果。分析显示这些行为能减少错误回答的过度推理并提高token效率。

论文代码解释器 LLM 推理关键token 认知行为

推荐理由：这篇论文分析了代码解释器推理的关键属性和认知行为，发现验证、回溯等能提升数学推理效率，适合关心LLM推理优化的人。

原文

11:07