标签：ICML 2024 AI for Math Workshop 征稿和挑战赛启动！

ICML 2024, AI for Math Workshop 面向形式化和自然语言AI数学推理的研讨会 时间：2024年7月26/27日 地点：奥地利，维也纳。现场、线上同步举行。 研讨会主页： 数学推理是人类智能中最具挑战性和最具深度的...