@misc{indiciaea43063c720c8,
  title = {Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities},
  author = {Haoyu Zhao and Yihan Geng and Shange Tang and Yong Lin and Bohan Lyu and Hongzhou Lin and Chi Jin and Sanjeev Arora},
  year = {2025},
  url = {https://arxiv.org/abs/2505.12680},
  note = {Source identifier: 2505.12680}
}