全部动态
这篇论文把bagging这个老方法用在了对抗鲁棒学习上,直接打破了之前的上界,而且证明样本复杂度跟VC维线性相关,搞理论或鲁棒学习的人值得看看。
这个科学智能体模型能处理多模态数据,397B 版在时间序列预测上很强,还有个 4B 小模型能直接把生物任务分数拉高,适合搞科研的人看看。
这篇论文提出了SORT框架,用稀疏谱方法从噪声数据里发现微分方程,比SINDy更抗稀疏采样,还能顺带做积分逼近,适合做系统辨识的人看。
接触密集操作总在碰坏了才发现问题?ContactGuard 在接触前看潜在视觉嵌入提前判断,能直接发中止信号,不用改策略。
这论文搞了个 CAPRI 工具,管 LLM 改 Isabelle 证明,能查它有没有动不该动的地方。12 个失败证明跑 180 次,修复率直观看得很清楚,想用 LLM 做形式化证明的可以看看。
EvoX Genesis 用持久项目代替持久智能体,DeepSeek V4 Flash 花 44 美元写了能过测试的 C 编译器,MESA 提速 6.87 倍。
想系统搞懂CAM方法演进,这篇57篇论文的综述把梯度法、Transformer归因、CLIP/DINO/SAM时代的新做法都梳理清楚了,还指出了各方法留下的坑。
放疗圈看过来,这个模型把左前降支动脉分割做得更准,比nnU-Net和Swin UNETR都强,还用了LoRA省显存,值得试试。
HAMP-LIC给图像压缩模型做混合精度量化,模型省4.85倍,BD-rate只掉0.59%,还消除跨平台不一致。值得一看。
做蛋白质结构预测的可以看看这篇,它对比了四种 oracle 预算分配方法,告诉你低预算用 O3,高预算用 FK-steering 和 DPO,挺实用。
空间推理一直是视觉语言模型的硬伤,SCOUT 用新的训练方法把 3D 理解做得更准,7B 规模直接超过 GPT-4o,还能迁移到视频上。
仅展示最近 2000 条内容,更早的内容请查阅 AI 日报存档