作者位次 #5/7NeurIPS 2026Poster
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
Jialin Lu · Soonho Kong · Rodrigo Stehling · Kaiyu Yang · Zhangyang "Atlas" Wang · Weiran Sun · Wuyang Chen
首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Jialin Lu · Soonho Kong · Rodrigo Stehling · Kaiyu Yang · Zhangyang "Atlas" Wang · Weiran Sun · Wuyang Chen
Yan Zheng · Anthony Peng · XUYAO LIANG · Xiaoyan Cong · Nuo Chen · Bangya Liu · Zihan Wang · Wenyan Cong · Zhiwen Fan · Zhangyang "Atlas" Wang
Kevin Wang · Benjamin Kempinski · Anna C. M. Thöni · Xin Yuan Cheng · Jianzhu Yao · Benjamin Finch · Leon Guertler · Viraj Nadkarni · Yihan Jiang · Cheston Tan · Maria Polukarov · Pramod Viswanath · Leshem Choshen · Mathieu Lauriere · Tal Kachman · Zhangyang "Atlas" Wang
Zekai Li · Xinhao Zhong · Samir Khaki · Zhiyuan Liang · Yuhao Zhou · Mingjia Shi · Ziqiao Wang · Xuanlei Zhao · Wangbo Zhao · Ziheng Qin · Mengxuan Wu · Pengfei Zhou · Haonan Wang · David Junhao Zhang · Jia-Wei Liu · Shaobo Wang · Dai Liu · Linfeng Zhang · Guang Li · Kun Wang · Zheng Zhu · Zhiheng Ma · Joey Tianyi Zhou · Jiancheng Lv · Yaochu Jin · Peihao Wang · Kaipeng Zhang · Yiran Huang · Zhiwei Deng · Xindi Wu · George Cazenavette · Yuzhang Shang · Justin CUI · Jindong Gu · Qian Zheng · Hao Ye · Shuo Wang · Xiaobo Wang · Yan Yan · Angela Yao · Mike Zheng Shou · Tianlong Chen · Hakan Bilen · Baharan Mirzasoleiman · Manolis Kellis · Konstantinos N Plataniotis · Zhangyang "Atlas" Wang · Bo Zhao · Yang You · Kai Wang