MIT 提出.AutoAssumption：放宽算法假设自动发现新 ML 算法
热点事件持续更新
MIT 提出.AutoAssumption：放宽算法假设自动发现新 ML 算法
1 篇报道1 个报道来源53 分钟前更新
先了解这件事
AI 综述
MIT 研究者发布 AutoAssumption 框架（arXiv:2611.14844），将 KV-cache 淘汰、权重剪枝和投机解码领域的 89 个已发表算法形式化为带显式假设的证明图并在 Lean 中检验，再让 LLM 放宽单个假设、重新推导证明并生成代码。
AI 根据报道生成 · 42 分钟前更新
最新进展11月14日 13:00
AutoAssumption：通过搜索算法假设发现 ML 系统新算法报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- arXiv cs.AIAutoAssumption：通过搜索算法假设发现 ML 系统新算法
MIT 研究者提出 AutoAssumption 框架，将 KV-cache 淘汰、权重剪枝和投机解码领域的 89 个算法形式化为带显式假设的证明图并在 Lean 中检验，再让 LLM 放宽已发表方法的单个假设、重新推导证明并生成代码。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。