使用大语言模型自动向智能合约注入漏洞
大语言模型可向智能合约自动注入漏洞,多步验证从上千候选中获三十二个含二十五类漏洞合约,能评估检测器。
AutoCompass:通过弱标签学习实现公共地图上的精准视觉定位
提出弱监督训练法:无需航向标签,融合绝对与相对位姿,在公共地图上实现精准视觉定位。
平庸是LLM作为裁判的锚点选择的关键
锚点选择左右LLM裁判可靠性。最佳/最差模型作锚点不佳,平庸者反优;影响堪比裁判选择,需更大基准与有信息锚点。
人脸伪造中的多工具图像编辑溯源
提出多工具图像编辑溯源,构建50万张人脸编辑数据集,设计DPEC法,融合空间与频域痕迹,优于9种方法。
AI数学家:迈向全自动前沿数学研究
提出AIM框架,利用大型推理模型应对前沿数学研究的复杂性与严谨性,通过探索与悲观验证策略,能自主构建证明并发现新见解。
通过作者画像探测大语言模型中的文化信号
研究发现大语言模型零样本从歌词推断歌手性别与种族时存在文化偏差,多数偏向北美,DeepSeek偏向亚洲,并引入公平性指标量化。
面向生物医学检索的模块化专家合并
合并独立训练的领域专家优于大规模混合域训练;STM用合成难负样本微调专家,生物医学检索强且通用性不降。
选择优化器的强化学习
用强化学习把优化器选择建模为序贯决策,由策略决定所用优化器与时长;在未见问题上优于各单一优化器。
AI副驾驶中用户偏好的建模与优化:综合综述与分类法
综述AI副驾驶用户偏好建模与反馈优化,提出交互三阶段分类法,为个性化助手设计提供统一基础。
储层计算中动力学记忆的吸引盆几何与可靠回忆
记忆吸引盆呈章鱼状,触须区不可预测;提示驱动广义同步进入稳定头部,实现可靠回忆,有量化关系。
ICE:具有统计基础的干预一致性大语言模型解释评估
解释忠实性非固定属性,随干预算子变化;需同等随机基线与统计检验,否则漏检反忠实。
FDARxBench:针对FDA仿制药评估的监管与临床推理基准
面向FDA仿制药评估构建专家精选药物标签问答基准,揭示大模型在事实依据、长上下文与安全拒答上的短板。
后验退火解释了线性和广义线性汤普森采样中的方差膨胀
提出基于分数后验的α-TS解释方差膨胀,得到遗憾界O(d^(3/2)√T log T)及依赖αd的下界。
InceptionGS:非结构化视角采样下的大规模高斯泼溅生成式自举
提出一种自举方法,融合重建与生成,以自适应生成先验修复视图稀缺区域,实现非结构化采样下大场景高斯泼溅。
无线接入点上的网络感知预测
AP上运行预测模型会挤占网络资源,实测比树莓派慢6.1-19.1倍,网络饱和下时延增76%、吞吐降7%。
HiPoly:面向性质预测与生成设计的聚合物原生层级AI框架
提出层级聚合物原生人工智能框架,实现多组分性质预测与生成设计,模拟验证无氟替代候选物。
随机森林引导的元胞自动机用于大规模野火蔓延建模
结合随机森林概率与元胞自动机局部蔓延,可提升大规模野火模拟精度。
用对数似然向量表示提示-响应分布的语言模型地图
以对数似然向量表示语言模型构建模型图,欧氏距离与相对熵近似成正比,可预测下游任务及提示组合效果。
评审审稿人:面向指南合规的LLM辅助反馈生成
提出LLM框架,分解审稿意见并识别违反ARR指南的问题,生成针对性反馈,违规减少92.4%;发布多标签数据集。
图像信号处理器中RAW与RGB复原的基准评测
现代相机经ISP转换RAW为sRGB。盲复原在ISP前后不同:RAW域策略优于通用RGB模型,但ISP感知的RGB模型整体最佳,性能取决于模型与成像管线对齐。
原型引导的稀疏文献知识迁移用于电解液添加剂发现
提出原型引导分子智能ProtoMI,利用稀疏文献知识筛选电解液添加剂,显著提升高温锂电池循环性能。
论视觉语言模型后训练中推理与感知的非对称优化
后训练对推理提升大于感知;分别源于SFT令牌失衡与RL奖励耦合,通过加权损失或感知奖励可提升性能。
联合嵌入预测世界模型在物理规划中成功的驱动因素
研究JEPA类世界模型在物理任务规划中的关键设计,结合模拟与真实数据,提出优于DINO-WM和V-JEPA-2-AC的新模型。
隔离作为LLM-Agent系统安全的第一性原则:概念、分类、挑战与未来方向
将隔离视为LLM-Agent系统安全第一性原则,提出五边界分类法,分析跨边界失效路径,规划先验隔离研究议程。
HyperMC:随机梯度MCMC的多保真超参数调优
提出结合多臂老虎机与核斯坦因离差的调参框架,含稳健改进,理论保障,实验更优。
WeaveMark: 基于编码载荷扩展的鲁棒可扩展多比特LLM水印
基于编码载荷扩展的多比特水印,实现高精度、大容量与高质量,抗编辑攻击,长消息尤佳。
逐步思考-批判:单一大语言模型中的交错推理与自我批判
提出STC框架,让单一LLM逐步推理并同步自我批判,经强化学习联合优化,数学推理Pass@1提升7.2%,优于外部验证模型。
基于频谱协调的高效全能天气恢复
提出轻量级一体化恢复法FReSH-IR,频谱分解高低频并用傅里叶跳跃连接,以80%更少参数达同等质量。
加密流量分类标签来源的系统化审计:基准测试中的标签溯源问题
审计14个加密流量基准,发现标签粗继承或过度过滤;严格特征下准确率上限0.56-0.76;丢弃连接反使准确率由0.44升至0.65。
基于广义内容/风格先验的数据高效多对比度MRI重建网络
提出模块化框架,以内容风格先验为核心,用无配对图像预训练,将重建转为轻量精修,少量数据即超越全监督。
超越对话时间:面向个性化LLM代理的时间语义记忆
提出时间语义记忆框架,解决时间不准确与碎片化,支持持续性记忆,准确率最高提升12.2%
量子MeanFlow:NISQ硬件上的单次生成采样
量子MeanFlow学习平均速度场,单步电路评估即可生成样本。图像质量虽低于多步量子流匹配,但优于单步法,且最佳N采样可降噪。
SolarWM:面向长时程视频世界模型的开源数据与可扩展训练框架
推出SolarWM开源框架,统一10个数据集143万片段,适配多种视频模型,仅用5秒序列训练即可实现分钟级实时交互,为世界模型研究提供可复现基座。
GenCAR:基于风险控制选择的生成式反事实对齐,用于分布外推荐
新方法以生成反事实对齐与风险控制选择,在分布外推荐中控制代理标签错误发现率,提升候选恢复。
GroupDPO:内存高效的分组直接偏好优化
提出内存高效的分组偏好优化,利用多响应对比超越单对训练;正响应对数似然项对性能和稳定性至关重要。
编辑知识,而非仅修改事实:基于背景故事的多步推理
知识更新本质是推理问题。用背景故事引入新知,自生多跳问题训练,通过知识蒸馏让学生模型内化推理,显著提升多事实结合能力。
从拓扑学习到图生成:统一视角
提出统一框架,将图拓扑学习与图生成视为同一生成过程的逆问题,综述方法,展望融合方向。
RoGe:端到端隐式重建与生成的新视角合成
RoGe联合重建与视频扩散,以隐式射线特征替代显式3D桥接,使稀疏输入合成时序连续视频,在DL3DV最优。
编程智能体能否复现计算材料科学中的研究发现?
提出新基准,评估编码智能体复现计算材料科学发现,最佳成功率仅53%,失败因流程不完整与方法偏差。
用图像思考:推理驱动图像生成的系统化基准
提出RIG-BENCH基准,评估推理驱动图像生成,覆盖四类认知任务,发现模型存在推理-生成差距,常输出局部合理但全局不合逻辑的结果。
TikZilla:利用高质量数据与强化学习扩展文本到TikZ生成
构建大规模高质量数据集DaTikZ-V4,用SFT加强化学习训练小型模型TikZilla,性能超GPT-4o、接近GPT-5。
FormalEvolve:面向多样自动形式化的神经符号进化搜索
将自动形式化重构为受限测试时搜索,用存档与神经符号进化生成多样化形式语句,提升语义命中率与自动证明性能。
给它空间!编码器中位置与语义表示的显式解耦
将编码器解耦为语义、绝对位置与相对位置三流,仅优化语义流。绝对位置自发坍缩为低维流形,注意力头分工明确;解耦保留了位置信息,在65项语言现象中49项提升表征。
MuyBridge:基于稀疏融合的单目视频移动端人体质心估计
用手机单目视频融合二维姿态与稀疏深度估计运动员质心,免三维标注,垂直误差33-41毫米,支持63帧/秒实时处理。
PlantC2USeg:面向少样本统一植物点云分割的跨尺度一致预训练
提出PlantC2USeg跨尺度一致预训练与信息受限解码,少样本植物点云分割跨域最优,降低适配成本。
从高维空间到可验证的ODD覆盖:面向安全关键的AI系统
提出离散化、约束过滤和关键性降维结合的运行设计域覆盖验证法,满足EASA完整性要求,实现高维空间验证。
基于微调Transformer的多选题免应答难度建模:组件级表示与多任务学习
面向多选题的免应答难度建模,微调编码器联合处理文本,采用组件级编码与多任务问答,小训练集下优于基线。
人类标注在NLP中由谁完成?2018至2025年标注报告实践的大规模评估
首次大规模审计NLP论文标注报告,发现常用细节常缺,标注有效性信息遗漏多,报告质量随时间提升但仍不均衡,提出可扩展框架与最低报告建议。
针对学习型轨迹评分设计通用训练样本
通过扰动人类轨迹生成更有区分度的正负样本,训练轨迹评分器,在两种生成式规划器上EPDMS分别提升0.4和0.3。
面向资源受限空间机器人的硬件加速实例分割与关键性分析
针对资源受限月球机器人,提出硬件加速分割与关键性分析,AVIS恢复近七成量化损失,关键性降31.7%。