@misc{indiciaea9ec109bd98b,
  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},
  url = {https://arxiv.org/abs/2510.26094},
  note = {Source identifier: 2510.26094}
}