Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.12680
Cited By
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
19 May 2025
Haoyu Zhao
Yihan Geng
Shange Tang
Yong Lin
Bohan Lyu
Hongzhou Lin
Chi Jin
Sanjeev Arora
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities"
Title
No papers
