Huang, Junming

1 publications

ICLR 2026 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