Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities - Zhao, Haoyu; Geng, Yihan; Tang, Shange; Lin, Yong; Lyu, Bohan; Lin, Hongzhou; Jin, Chi; Arora, Sanjeev (Advances in Neural Information Processing Systems, 2025)