Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities Published: May 19, 2025Share on Twitter Facebook LinkedIn Previous Next