一篇物理控制的探索方法论文,HTC² 用 Hamiltonian 相空间结构加多步时序对比学习算内在奖励,在 DeepMind Control Suite 六个任务上和 ICM、Plan2Explore 这些老方法比了个遍,做 RL 探索的可以看看。
Latest
微软这篇论文做了个自动越狱攻击器,对 GPT-5.4、Claude-Haiku-4.5 这些模型的攻击成功率近六成,做 AI 安全的得看看对手手段。
有人在 DeepSeek V4.1 Flash-1017 发布后独立测了它的失控和操纵风险,还和 GPT-6、Gemini 3.8 摆在一起对比,结论有具体建议,做安全评估的可以看看。
训练好的安全探针换模型不用重训了,Qwen 和 Llama 系列实测迁移后 AUC 几乎不掉,不过误报率有点高,做安全审计的可以看看细节。
想让本地小模型做代码安全审查的可以看看,Qwen2.5-Coder-7B 微调后准确率从 4.8% 干到 96.6%,还开源了带 1993 个样本的数据集。
代码智能体改着改着就跑偏?这篇论文用需求-代码对应关系把它拉回来,GLM-5.2 上 MPR 涨了 19.99,还开源了。
有人给 Lean 形式化做了个语义对齐检查器,用依赖图让 LLM 找形式化定理和论文原文的出入,还放了个 501 条的基准。
这篇论文做了个叫 ORION 的工具,能在 PR 合并前自动找出代码回归,F1 超过 Codex 和 Claude Code,还能接进 CI/CD,做开发的朋友可以看看。
只往技能池塞 5% 新技能,违规率就从 35% 飙到 58%,做 agent 技能生态的都得看看,论文还附带了能降到 6.67% 的防护方案。
晶圆缺陷检测不用再标注数据重新训练了,论文用提示词排序技巧让冻结多模态模型在WM811K上跑到81.3%,做工业质检的可以看看。
用 GNN 做负荷预测的可以先看看,论文给了三个参照模型加重连测试,帮你判断图结构到底有没有用,还是只是参数共享在起作用。
一篇检索论文:训练双编码器时,用领域规则挑负样本,比单纯靠相似度排序挑效果更好,MOOCCubeX 上 8 个配置赢了 6 个。
这篇把专利检索、撰写、答复审查意见拆成 510 个真实任务来考 7 个大模型,想看 agent 到底能不能干专业活的可以看看差距在哪。
物理和机器学习交叉的好工作,符号回归把单颗 NV 色心的光谱推到系综级别,误差降了一半多,还保留了可解释的哈密顿量。
一篇关于智能体 RL 训练的新论文:MPO 把 credit 分配对齐到 turn 粒度,在 4B 和 30B-A3B 模型上稳定跑赢 RL 基线,做智能体训练的可以看看。
研究者抓了850万条Reddit帖子,把GLP-1减肥药的真实用户体验做成可问答的知识图谱,还对比了FAERS漏掉的日常副作用。
一篇针对 Fast-BEV 的论文,用剪枝加重训再平均的办法,把噪声天气下的鲁棒性拉高 33.8%,推理还不变慢。
arXiv 上一篇分析工具论文,用 SVD 拆开注意力头看哪些层真有冗余,还能和剪枝叠起来省 8-11% 推理计算。
The non-obvious takeaway is that caching bugs produce no errors at all — teams simply pay more per token while assuming caching works. Platform and backend engineers running agent workloads on OpenAI, Anthropic or other provider APIs can run CACHELINT on their own repos before costs accumulate. As an academic tool study with no pricing or regional availability angle, its closest comparison is other static-analysis approaches like CodeQL-based linting, which CACHELINT extends with provider-aware precondition checks.
让小模型靠"骗过"大模型来学本领,不用标准答案,Qwen2.5-1.5B 在四个基准上都有提升,训练思路挺新颖。
想让 LLM 帮忙审论文或做评分的人该看看:同一批 ICLR 投稿上,提示词怎么写能让 DeepSeek-V3.2 的分差从 1.46 降到 0.2,数据很扎实。
论文测了三个主流模型在 SEC 文件上算数字的表现,发现数字本身往往算对,但挂错了公司或科目,这个问题之前没人单独量化过。
arXiv 上新出的 AgentProofBench,专门测 Web Agent 的验证器好不好用,用 DeepSeek 跑了近百个任务,做 Agent 评测的可以看看。
剪枝和 CoT 压缩一起用会互相打架,这篇论文给 DeepSeek-R1-Distill-Qwen-7B 剪 20% 权重还能省 8–22% 思考 token,掉分不到 0.5,做模型部署的可以看看。
一篇给 AI 和流体力学两个圈子的桥梁综述,讲清 diffusion 模型做湍流模拟到底行不行、该怎么验证,做科学计算的朋友可以看看。
训练模型调学习率衰减的可以看看,UTA 比固定衰减曲线更聪明,能跟着训练状态走,LLaMA 和 ResNet 上都验证了,直接即插即用。
一篇很扎实的 grokking 机理研究,实验设计干净:先记住、后泛化的时间线被精确量化,还证明了压缩秩反而会阻碍 grokking。
研究者拿 Counter-Strike 2 的毫秒级对局数据训练模型预测玩家 60-120ms 内的本能反应,EMBER 准确率 73.5%,还比 LLM 基线快好几个量级,思路挺有意思。
arXiv 上这篇论文挺有意思:网络自己决定加神经元还是砍神经元,不用预先定架构,持续学习场景还能省参数,做 NAS 的可以看看。
一篇讲扩散语言模型设计的论文,结论挺反直觉:怎么加噪声几乎不影响效果,怎么采样才关键,预算 180 次调用时差了 25 个点。
KITTI、nuScenes 上的 PointPillars 实验,讲清楚一个阈值换个工况就不可靠的问题,做自动驾驶感知安全的可以看看这套检验流程。
搞无线电信号分类的可以看看:用 JiT 扩散模型做去噪防御,不用预知攻击类型,PGD 下鲁棒性比对抗训练高 20% 多。
冻结的 VLM 不重训,光进化推理代码就能把图表问答从 16.6% 拉到 41.3%,还快 3.8 倍,AlphaEvolve 那套玩法很实用。
做 VRM/VTuber 模型的朋友可以看看,这篇讲怎么给多部件的动漫脸自动生成 ARKit 表情,省去手动 K 帧的活。
OpenAI 和 NVIDIA 的指令层级训练集都漏了目标-目标冲突这一类,这篇论文补上了,微调 Qwen3.5-9B 和 Gemma4-12B-it 就能明显提升效果,做对齐训练的可以看看。
把车道换向和限速交给一个 transformer 统一调度,仿真里高峰延误砍了九成,交通方向的做法挺有意思。
Only the latest 2000 items are listed; for older ones see the daily archive