ICML 精选Spotlight Poster汇总：Session 2

7月7日，ICML 2026在首尔COEX会展中心迎来正会首日。作为机器学习领域的风向标，本届大会最终在数万篇高热度投稿中，严选出6352篇录用论文，其中Spotlight论文536篇（占投稿总数的 2.2%），Oral 论文168篇 （仅占投稿总数的 0.7 %）。在今年全球AI研究井喷、评审机制迎来大刀阔斧“重新校准”的严苛背景下，这些穿越重重审稿关卡脱颖而出的成果，无疑凝聚了过去一年机器学习界最硬核的智慧结晶。 为了给国内读者带回第一手的学术震荡，雷峰网报道小组已在现场全员就位。在正会开启的黄金时间里，我们全天候穿梭于密集的Poster展区，从浩如烟海的海报墙中，为你一针见血地筛选出那些最具颠覆性和启发性的研究。这一次，我们抛弃了冗长枯燥的文献堆砌，坚持用“现场看板直击 + 核心要点白话拆解”的直观形式，为无法亲临首尔的你推开一扇学术传送门。 透过首日展区的火爆分布，机器学习的新一轮潮汐已然清晰：这不仅是一场参数与算力的军备竞赛，更是对大模型可解释性的死磕、对AI for Science边界的拓荒，以及具身智能与底层数学理论硬度的强势回归。我们捕捉这些瞬间，不仅是为了记录当下的交锋，更是为了帮你在这场信息海啸中，精准握住下一阶段技术演进的隐秘主线。 以下精选Poster Session 2九篇Spotlight论文，一文看尽AI研究最值得关注的方向。（如果你也想让你的研究成果出现在这里，请与我们联系）： 1.AlgoVeri：经典算法形式化验证代码生成的对齐基准 AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms 形式化验证代码生成是当下AI模型展现潜力的重要方向，但现有的基准测试多受限于单一语言或工具，缺乏跨范式评价的统一方法。 为此，本研究推出了首个跨语言的代码验证基准——AlgoVeri。该基准包含77个经典算法，通过统一功能契约，首次实现了在Dafny、Verus和Lean三种截然不同的语言环境中，统一评估大模型的验证代码生成性能。 实验在Gemini-3和GPT-OSS等前沿模型上展开。研究发现，模