1. AlgoVeri: 经典算法形式化验证代码生成的对齐基准 7月7日，备受瞩目的国际机器学习大会（ICML 2026）在韩国首尔COEX会展中心盛大开幕。作为全球机器学习领域的风向标，本届大会吸引了来自世界各地的顶尖学者... 2026年07月08日 人工智能 #具身智能 #ICML 2026
