一作ICLR 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
Dadi Guo · Jiayu Liu · Zhiyuan Fan · Zhitao He · Haoran Li · Yuxin Li · Yumeng Wang · Yi R. Fung
Large reasoning models ( e.g., R1, o3) have demonstrated remarkable mathematical problem-solving abilities. However, the high reported accuracy of these advanced models on popular datasets and reliance on purely numerical evaluation often mask their true reasoning shortcomings. To address this, w...