APA (7th ed.) Citation

Lu, P., Sheng, J., Lyu, L., Jin, J., Xia, T., Gu, A., & Zou, J. (2025). Solving Inequality Proofs with Large Language Models.

Chicago Style (17th ed.) Citation

Lu, Pan, Jiayi Sheng, Luna Lyu, Jikai Jin, Tony Xia, Alex Gu, and James Zou. Solving Inequality Proofs with Large Language Models. 2025.

MLA (9th ed.) Citation

Lu, Pan, et al. Solving Inequality Proofs with Large Language Models. 2025.