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