面向时序逻辑规范的高效贝叶斯自适应强化学习
面向LTL规范,同步LDBA与BAMDP,提出贝叶斯自适应RL与BAMCP,提升策略合成与样本效率。
连续延迟记忆随机梯度下降与连续时间强化学习:源自天体物理时间序列研究史
提出连续延迟记忆SGD与连续时间策略梯度强化学习,无需解HJB,可恢复吉布斯策略;回顾类星体光变SDE建模。
从切换遗憾到动态遗憾:一种基于无偏随机序列的简单归约
提出将动态遗憾归约为切换遗憾的简单框架,借助无偏随机序列,为强凸、指数凹和一般凸损失取得最优界。
面向视觉语音识别中音素到文本重建的基于课程的噪声适应
PECT课程学习框架,用合成扰动与伪标签逐步适配NLLB音素到文本重建模型,提升鲁棒性、降低词错误率。
在类ARC任务中利用测试时任务嵌入进行隐式规则归纳
两步测试时训练先微调任务嵌入、再冻结它微调骨干,使嵌入更对齐潜在规则,提升ARC类任务表现。
Edit-VAR:驯服视觉自回归模型,实现精准视频编辑
Edit-VAR:首个免训练免反转的视频编辑框架,借视觉自回归模型实现精准编辑与源内容保持。
Cube-Splat:基于立方体贴图分解与伴随一致优化的高保真360°高斯泼溅SLAM
首个全景高斯泼溅SLAM,将360°帧分解为共享光心立方体贴图,以伴随映射融合多面梯度,跟踪与重建达SOTA。
LEGIT:面向可信AI智能体市场的资质认证协议
LEGIT协议融合认证、声誉与市场分配,将任务质量与成本绑定到智能体配置并签名存证,便于买家核验比较。
AI-GRACE:智能体AI的用例操作化框架——从组织目标与义务到部署能力与架构
提出AI-GRACE框架,连接组织治理与技术实施,涵盖目标义务、七域风险、保障控制证据,指导部署能力与架构。
奖励高效推理可提升推理模型在信息不足任务上的弃答能力
针对欠定任务,提出GRPO奖励鼓励高效推理,微调4B模型后弃答提升12.8%,思维链缩短44%。
伏尼契手稿背后的生成语法:拼凑假说——来自大语言模型的证据
多学科与大模型分析表明,伏尼契手稿遵循生成式语法,系对自然语言与中世纪药草书的拼凑式模仿。
中文标题:基于多样性剪枝测试的信息增益奖励:面向可靠代码生成的基准真值锚定验证器协同训练
CoVer框架以信息增益奖励筛选自生成测试并做多样性剪枝,代码生成pass@1最高提升7.1分。
PlaceReasoner-Beta:推理驱动的宏单元布局与基准测试
提出验证器引导的多智能体宏布局框架,将布局重构为闭环推理,并开源基准,布线后TNS最高降低61.2%。
超越精确匹配:面向跨域PCBA视觉问答的任务感知GRPO
提出跨域PCBA视觉问答多模态框架,用任务感知GRPO与稳健推理,官方榜达83.24分。
迈向安全的云原生计算:借助大语言模型揭示Kubernetes错误配置
探索大语言模型检测Kubernetes错误配置,构建分类体系,评估工具并分析风险。
VGGT-CAD:基于几何锚定的参数化CAD三维模型重建
VGGT-CAD借预训练三维几何先验与可变视角融合,从单/多视图重建参数化CAD模型。
MOSAIC-SR:面向科学方程恢复的Transformer引导符号回归
提出MOSAIC-SR,用Transformer草图引导搜索,结合常数优化与符号修复,在多基准上符号解率最高、精度领先。
CogGym:迈向人类与机器认知的大规模对比评估
CogGym标准化258个认知实验,评估50个大模型:模型越大越像人,但常识推理提升远慢于数学编程。
REFINEPPO:通过迭代动作细化学习连续控制策略
提出迭代动作细化并融入PPO,在14个连续控制任务中匹配或超越PPO,部分收敛更快。
PhysioBench:面向生理信号问答的统一基准
提出PhysioBench基准,整合22个数据集为30项任务、6140万问答,评测21个模型均难跨模态稳定领先。
面向情感认知诊断的能力-残差解耦建模
提出能力-残差解耦框架,显式建模认知残差以抑制情感污染,提升认知诊断预测与情感对齐。
SafeStyle:用于扩散风格化中可控风格-泄漏权衡的校准式风格残差注入
免训练的SafeStyle框架通过校准风格残差注入,分离风格与内容子空间,有效平衡风格保真与内容泄漏。
基于上下文感知集中式复制粘贴数据增强的野火图像多类别语义分割
上下文感知集中式复制粘贴增强限制火斑至语义合理区域并按源背景匹配,提升野火多类别分割性能与真实感。
VISPATH:面向多模态知识图谱问答的视觉意图引导路径推理
提出VISPATH框架,以视觉意图动态引导多模态知识图谱多跳推理,并构建VISPATH-Bench基准,显著超越强基线。
从压力到情感:跨可穿戴传感器模态的生理情绪识别多模态深度学习
多模态可穿戴生理情绪识别中,最佳时序架构因数据集而异;多模态传感更优,4赫兹兼顾性能与成本。
COAL-SQL:面向Text-to-SQL后训练的覆盖引导增强与失败驱动学习
COAL-SQL框架融合覆盖引导增强与失败驱动学习,仅1.26万样本在BIRD达64.9%执行准确率。
基于曲率自适应管状校正的几何感知扩散引导
提出免训练曲率自适应管状校正CAT,约束扩散引导的法向与切向位移,稳定采样并提升逆问题生成性能。
用自生成的深度研究轨迹提升深度研究与长上下文能力
复用深度研究轨迹生成长上下文QA,提出DLD-RL训练,深度研究提升7.3%、长上下文提升13.5%。
论最大编码率降低在分布外泛化中的局限
最大编码率降低在分布外泛化中存在根本局限,编码最优不保证稳定预测,即使引入不变性原则亦无法消除。
通过测试时通信扩展发现能力
测试时通信可让多智能体团队在难题和科研任务中超越独立尝试,随规模提升,并在算力充足时超过已知最佳。
从生成到检测:基于话语驱动场景的大语言模型生成假新闻研究
研究大模型在四类话语场景下生成与检测假新闻,构建1.4万篇语料;生成策略影响可检测性,提示优化无益。
S3VD:面向视频去雨的语义引导时空扫描
S3VD融合多尺度语义与时空扫描,解耦门控建模帧内外关联,去雨达SOTA,PSNR提升0.84dB。
《生产环境中的高效基准评测:一项关于持续演进的LLM智能体的研究》
比较四种采样策略,2PL自适应测试精度最高;实际部署难度分层固定子集,可跨模型迁移且免重校准。
Stiefel-AdamW:面向线性分解块的几何感知 AdamW
Stiefel-AdamW 将一因子约束于 Stiefel 流形,缓解 LoRA 等线性分解块训练不稳定,开销极小。
GameASG-Bench:面向游戏开发的自主软件生成基准测试
提出GameASG-Bench,将行为测试纳入游戏生成,含47项任务与L1/L2检查;九种智能体最高平均L2通过率93.2%,严格成功率仅55.3%,暴露合规缺口。
FedeRage:一般客户端漂移下可证明收敛的无分布假设联邦学习
FedeRage在参与分布未知的联邦学习中嵌入CVaR风险规避,侧重高损失与低参与客户端,收敛率O(κ/√T),提升精度与公平性。
VeriFuse:面向协同3D感知的有界视觉-语言仲裁与推理引导精炼
VeriFuse让冻结VLM仲裁车路协同3D候选,DAIR-V2X上AP50达0.494且延迟鲁棒。
面向感知任务规划的全可微神经-软符号框架
提出全可微神经软符号框架,连接视觉感知与规划,以连续软符号和可微规则实现反馈,提升成功率并减少计算。
基于感知调整查询的情感识别个体层面校准
提出感知调整查询框架,估计个体最小可觉差以等化任务难度,实验证明其能均衡个体感知难度并降低反应时差异。
写作时少读:流式多模态解码器的闭式带宽旋钮
提出ZENDAYA,以单一γ闭式调度统一离线/流式多模态解码;少读源反而提质,低延迟增益显著。
面向基于Transformer的时间序列预测器的轻量级即插即用门控
提出轻量即插即用预编码器门控,调节协变量表示,可嵌入多种预测模型,无需额外调参且性能近基线。
结合目标检测与几何感知聚类以区分无人机影像中的重叠植株
提出几何感知后检测框架,用质心/径向交点聚类区分无人机RGB影像中重叠植株,F1达0.89。
ASGARD:基于强化学习的无人机韧性动作空间防护
ASGARD用教师-学生框架训练动作纠正监控器,仅凭状态历史机载抵御动作空间攻击,且泛化到未知攻击。
读焦虑还是读标签?比较微调模型与前沿模型在社交媒体焦虑检测中的表现
对比六种焦虑检测方案发现,语料中关键词构成混淆,微调模型最依赖关键词匹配,已发布成绩因此虚高。
PolyBridgeBench:面向物理落地的桥梁设计多模态大语言模型基准评测
可执行桥梁设计基准,测试多模态大模型生成承载结构及仿真失败后修复能力,六模型189关显示动态成功与修复力不足。
MIRCID:推断的枢纽miRNA推动药物机制建模的跨任务改进
MIRCID用推断枢纽miRNA重编码转录组,提升药物机制建模,miRNA增益比TF活性更一致。
MME-Safety:面向多模态大模型安全评估的细粒度基准
MME-Safety细粒度基准:四维标注、分层评估,评测17个MLLM,揭示跨模态输入与思维链推理安全隐患。
跟我说吧,Jarvis:面向自动驾驶赛车的开源可边缘部署语音助手框架
离线语音助手Jarvis基于Mistral 7B微调实现指令分类,准确率97.63%,延迟1.39秒,开源。
DENSE:将智能体轨迹蒸馏为基于证据的捷径树以实现自我精炼
将智能体轨迹中的进展与恢复证据蒸馏为嵌套捷径树,免结果标注实现自反馈精炼,提升通过率并减少token。
CoLearn:在人类—AI 协同学习循环中学习其学习者的智能体导师
CoLearn 以持续记忆建模学习者掌握度与误解,动态生成个性化问题,盲测中68-69%优于非个性化。