APA (7th ed.) Citation

Zhang, H., Wang, R., Pan, R., Wang, W., Meng, B., & Zhang, T. (2026). PhysProver: Advancing Automatic Theorem Proving for Physics.

Chicago Style (17th ed.) Citation

Zhang, Hanning, Ruida Wang, Rui Pan, Wenyuan Wang, Bingxu Meng, and Tong Zhang. PhysProver: Advancing Automatic Theorem Proving for Physics. 2026.

MLA (9th ed.) Citation

Zhang, Hanning, et al. PhysProver: Advancing Automatic Theorem Proving for Physics. 2026.