Solving Inequality Proofs with Large Language Models - Sheng, Jiayi; Lyu, Luna; Jin, Jikai; Xia, Tanglin; Gu, Alex; Zou, James; Lu, Pan (Advances in Neural Information Processing Systems, 2025)