APA (7th ed.) Citation

Li, Y., Liu, M., Wang, R., Ji, W., He, Z., Pan, R., . . . Fung, Y. R. (2025). Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4.

Chicago Style (17th ed.) Citation

Li, Yuxin, Minghao Liu, Ruida Wang, Wenzhao Ji, Zhitao He, Rui Pan, Junming Huang, Tong Zhang, and Yi R. Fung. Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4. 2025.

MLA (9th ed.) Citation

Li, Yuxin, et al. Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4. 2025.