作者位次 #6/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
Ruida WANG · Jiarui Yao · Rui Pan · Shizhe Diao · Tong Zhang
Yaowenqi Liu · Bingxu Meng · Rui Pan · Yuxing Liu · Jerry Huang · Jiaxuan You · Tong Zhang
The field of AI research is advancing at an unprecedented pace, enabling automated hypothesis generation and experimental design across diverse domains such as biology, mathematics, and artificial intelligence. Despite these advancements, there remains a significant gap in the availability of sca...