作者位次 #7/9ICLR 2026Poster· Applications / Physics
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
Yuxin Li · Minghao LIU · Ruida WANG · JI WenZhao · Zhitao He · Rui Pan · Junming Huang · Tong Zhang · Yi R. Fung
首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Yuxin Li · Minghao LIU · Ruida WANG · JI WenZhao · Zhitao He · Rui Pan · Junming Huang · Tong Zhang · Yi R. Fung
Yueqi Xie · Tao Qi · Jingwei Yi · Xiyuan Yang · Ryan Whalen · Junming Huang · Qian Ding · Yu Xie · Xing Xie · Fangzhao Wu
With the growing prevalence of generative AI, an increasing amount of content is no longer exclusively generated by humans but by generative AI models with human guidance. This shift presents notable challenges for the delineation of originality due to the varying degrees of human contribution in...