TY  - RPRT
TI  - Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
AU  - Yuxin Li
AU  - Minghao Liu
AU  - Ruida Wang
AU  - Wenzhao Ji
AU  - Zhitao He
AU  - Rui Pan
AU  - Junming Huang
AU  - Tong Zhang
AU  - Yi R. Fung
PY  - 2025
UR  - https://arxiv.org/abs/2510.26094
ID  - 2510.26094
ER  -