zzzzzhy/Ineq-Comp
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities Introduction We introduce Ineq-Comp, a benchmark built from elementary inequalities through systematic transformations, including variable duplication, algebraic rewriting, and multi-step composition. Although these problems remain easy for humans, we find that most provers—including Goedel, STP, and Kimina-7B—struggle significantly. DeepSeek-Prover-V2… See the full description on the dataset page: https://huggingface.co/datasets/zzzzzhy/Ineq-Comp.
| Author / organization | zzzzzhy |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 162 (as reported by Hugging Face) |
| Likes | 2 |
| Created | 12 May 2025 |
| Last updated at source | 19 September 2025 |
Popularity, last 2 days
162 now (-5 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.