Solving Inequality Proofs with Large Language Models

Pan Lu, Jiayi Sheng, Luna Lyu +4

Inequality proving, crucial across diverse scientific and mathematical fields, tests advanced reasoning skills such as discovering tight bounds and strategic theorem application. T…