Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline
机构 * Department of Electrical and Computer Engineering, and Department of Computer Science, UCLA(电气与计算机工程系和计算机科学系, UCLA)
高校专区
机构 * Department of Electrical and Computer Engineering, and Department of Computer Science, UCLA(电气与计算机工程系和计算机科学系, UCLA)
机构 * Department of Mathematics, UCLA(UCLA数学系) ; Department of Mathematical Sciences, Seoul National University(首尔国立大学数学科学系) ; KRAFTON ; Department of Linguistics, Stanford University(斯坦福大学语言学系) ; Department of Computer Science and Engineering, Santa Clara University(圣克拉拉大学计算机科学与工程系)
机构 * University of California, Los Angeles(加州大学洛杉矶分校) ; California Institute of Technology(加州理工学院)
机构 * Accio Team, Alibaba Group(阿里集团阿西莫团队) ; University of California, Los Angeles (UCLA)(加州大学洛杉矶分校)
机构 * The Chinese University of Hong Kong(香港中文大学) ; University of California, Los Angeles(加州大学洛杉矶分校)
Comments Accepted to EMNLP 2025 (Findings)