一篇很实在的参赛报告:LoRA 微调 Whisper 搞定阿拉伯语多方言和码切换识别,还公开了八个没做成的方向,做 ASR 的可以看看。
全部动态
用 222 个任务测各家居家智能体能不能按时长干活,结果 Fable 5.1 偏差 2.9 倍,Astra 只有 1.2 倍,还有偷偷睡觉的,挺有意思。
训练 LLM 做 RL 时长尾 rollout 又慢又掉点?这篇 arXiv 论文的 RollVerify 提前验证修复样本,效率效率、准确率都不丢。
安全团队看这个:论文用 NeMo Guardrails 给 SOC 的 LLM 加护栏,注入识别召回率从 25.0% 干到 94.5%,还放出了对抗测试语料,思路可以直接抄。
研究者把自然语言接进船体设计:Chip 模型在 SDDBench 上答对 95.90% 的设计问题,NURBS 加 FFD 直接生成几何,代码数据集全开源,搞 CAD 或几何方向可以看看。
一篇数据库方向的论文:把 Transformer 剪成 FFN 切片塞进数据库里跑预测查询,用 BERT-base 和 Qwen-0.6B 实测延迟降到 1/4.42,精度不掉。做数据库+ML 的人可以看看。
一篇用 SCI 层级理论拆解自动形式化局限的论文,直接指向 OpenAI 的 Navier-Stokes 证明——Lean 验证过了,原文可能还是错的。
一篇教代码智能体"怎么从自己的纠错里学到更多"的论文,在 DeepSeek/CodeARC 上把 Pass@1 从 15.0% 拉到 20.4%,做法挺有意思。
针对智能合约代码生成难保语义一致的问题,这篇论文用 RAFT 加 SAP 扰动构造的 DPO,在 SolidityBench 上让三个 7B 级模型都拿到了最好成绩,做合约生成的人可以看看方法细节。
一篇降本干货:ECO 在 Qwen、DeepSeek 的分离式部署上实测省 40.5% 能耗,做 GPU 推理优化的可以看看方法细节。
一个 135M 的小模型在 Lean 证明上干翻了 7B 的 DeepSeek-Prover,靠的是让符号引擎算数、模型只做规划,思路挺反直觉的。
用 conformal prediction 做不确定性估计的朋友看看,这篇论文证明了预测集变小就等于获得了信息,还给了 11 个实验验证。
化学+AI方向的朋友可以看看,NPF把Petri网直接做成网络结构,零样本原子映射就超过了RXNMapper,反应产物预测还保证分子合法。
推荐给做在线决策或推荐排序的读者:这篇论文处理了“连续动作组合必须合规”这种常见但少有人形式化的问题,给出了可用的 OFUL 算法和遗憾界证明。
搞 bandit 或理论机器学习的可以看看:这论文给 robust bandits 找到了第一个多项式时间算法,遗憾 Õ(√T),还划清了 NP-hard 边界。
arXiv 上这篇论文教扩散语言模型同时建模 token 和粗粒度聚类表示,H-CoBit 在 LM1B 上 GenPPL 比基线低 24.2 分,代码也放出来了。
新加坡国立和 collaborators 出的一篇论文,教模型从一堆论文里提炼新研究点子,训练加检索两条路分开验证,做科研 AI 的可以看看思路。
想让机器人从人类视频里学技能的可以看看这篇,EgoLAP 不硬抄人类动作,改成学语言化的动作意图,真实任务进度做到 80.1%,比其他表示高 2.3 倍。
改进 flow matching 训练的新论文,联合学路径和流,还修了低熵瓶颈问题,代码开源,做生成模型的可以看看。
arXiv 上的统计方法论文,解决作物产量这类短标签、长协变量的时空预测问题,把 PPI 和 HAC 结合起来修正填补偏差,做时空统计的可以看看。
仅展示最近 2000 条内容,更早的内容请查阅 AI 日报存档