@article{lean4physicscomprehensivereasoningframew,
  title = {Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4},
  author = {Yuxin Li and Minghao Liu and Ruida Wang and Wenzhao Ji and Zhitao He and Rui Pan and Junming Huang and Tong Zhang and Yi R. Fung},
  year = {2025},
  eprint = {2510.26094},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.26094},
}