TY  - RPRT
TI  - Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
AU  - Haoyu Zhao
AU  - Yihan Geng
AU  - Shange Tang
AU  - Yong Lin
AU  - Bohan Lyu
AU  - Hongzhou Lin
AU  - Chi Jin
AU  - Sanjeev Arora
PY  - 2025
UR  - https://arxiv.org/abs/2505.12680
ID  - 2505.12680
ER  -