1 paper
Gaolei He, Jinhui Li, Ruobing Zuo +2
Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an age…