Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4 - Li, Yuxin; LIU, Minghao; WANG, Ruida; WenZhao, JI; He, Zhitao; Pan, Rui; Huang, Junming; Zhang, Tong; Fung, Yi R. (International Conference on Learning Representations, 2026)