zzzzzhy/Ineq-Comp

181 downloads in 30 days2 likesLast modified 19 Sep 2025View on Hugging Face

The declared licence (apache-2.0) is classified as permissive.

Declared licence: apache-2.0, from the tagEvidence: README.md at 45d199b
Licence files: No licence file at the top level of the repositoryEvidence: file list at 45d199b
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Citation text from the card

@article{zhao2025ineq,
  title={Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities},
  author={Zhao, Haoyu and Geng, Yihan and Tang, Shange and Lin, Yong and Lyu, Bohan and Lin, Hongzhou and Jin, Chi and Arora, Sanjeev},
  journal={arXiv preprint arXiv:2505.12680},
  year={2025}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "zzzzzhy/Ineq-Comp" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0