{
 "id": "AI4Math/IneqMath",
 "owner": "AI4Math",
 "name": "IneqMath",
 "downloads": 982,
 "likes": 13,
 "last_modified": "2025-12-15T00:30:24.000Z",
 "stated_licence": "cc-by-sa-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "multiple-choice",
  "question-answering",
  "text-retrieval",
  "text-classification"
 ],
 "citation": "@inproceedings{lu2025solving,\n  title={Solving Inequality Proofs with Large Language Models},\n  author={Lu, Pan and Sheng, Jiayi and Lyu, Luna and Jin, Jikai and Xia, Tony and Gu, Alex and Zou, James},\n  booktitle={The 39th Conference on Neural Information Processing Systems (NeurIPS)},\n  year={2025}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-sa-4.0) is classified as share-alike.",
 "revision": "3c7c32c786eb77117f3476d7f6d9af8419fa6ecc",
 "stated_evidence": "https://huggingface.co/datasets/AI4Math/IneqMath/blob/3c7c32c786eb77117f3476d7f6d9af8419fa6ecc/README.md",
 "file_evidence": "https://huggingface.co/datasets/AI4Math/IneqMath/tree/3c7c32c786eb77117f3476d7f6d9af8419fa6ecc",
 "card_nc": false
}