Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Ran Xin · Zeyu Zheng · Yanchen Nie · Kun Yuan · Xia Xiao
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Ran Xin · Zeyu Zheng · Yanchen Nie · Kun Yuan · Xia Xiao
Rong Shan · Te Gao · Hang Zheng · Yunjia Xi · Jiachen Zhu · Zeyu Zheng · Yong Yu · Weinan Zhang · Jianghao Lin
Congmin Zheng · Jiachen Zhu · Zhuoying Ou · Yuxiang Chen · Kangning Zhang · Rong Shan · Zeyu Zheng · Mengyue Yang · Ruiming Tang (Huawei Noah' · s Ark Lab) · Ruiming Tang (Huawei Noah'
Large Language Models (LLMs) have advanced reasoning ability, yet conventional alignment remains dominated by outcome reward models (ORMs) that judge only final answers. Process Reward Models(PRMs) address this gap by evaluating and guiding reasoning at the step or trajectory level. This survey p...
Jiachen Zhu · Lingyu Yang · Rong Shan · Congmin Zheng · Zeyu Zheng · Weiwen Liu · s Ark Lab) · Ruiming Tang (Huawei Noah' · Ruiming Tang (Huawei Noah'