Lean 相关四篇论文亮相 ICML
AnimaAnandkumar · x · 2026-07-10
Anima Anandkumar 转发并介绍了团队在 ICML 2026 workshops 上发布的 4 篇 Lean 相关论文，主题涵盖可验证机器学习系统、函数式程序综合、证明助手互操作，以及科学推理。
所属事件:ICML 2026公布四篇Lean相关论文，聚焦可验证ML系统(2 条相关)→
「研究」频道最新
- GEPO 用组熵改造 GRPO，在 13 项基准上更稳更强 — internlm · 2026-07-21
- 阿里 RynnBrain 1.1 把具身基础模型扩到 122B-A10B — Alibaba-DAMO-Academy · 2026-07-21
- 微软研究院把 LLM Judge 变 Coach，优于 rubric RL — MicrosoftResearch · 2026-07-21
- OpenLongTail 用生成视角补齐长尾自动驾驶数据 — TexasAMUniversity · 2026-07-21
- DiFA 让扩散模型推理对齐前向统计，生成质量更高 — cn-scut · 2026-07-21
- Apple 提出无需真实环境的 API 智能体合成数据方法 — _akhaliq · 2026-07-21