jiangjin/LogicPro

141 downloads in 30 days6 likesLast modified 29 Jul 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 23556b1
Licence files: No licence file at the top level of the repositoryEvidence: file list at 23556b1
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

@inproceedings{jiang-etal-2025-logicpro,
    title = "{L}ogic{P}ro: Improving Complex Logical Reasoning via Program-Guided Learning",
    author = "Jiang, Jin  and
      Yan, Yuchen  and
      Liu, Yang  and
      Wang, Jianing  and
      Peng, Shuai  and
      Cai, Xunliang  and
      Cao, Yixin  and
      Zhang, Mengdi  and
      Gao, Liangcai",
    editor = "Che, Wanxiang  and
      Nabende, Joyce  and
      Shutova, Ekaterina  and
      Pilehvar, Mohammad Taher",
    booktitle = "Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = jul,
    year = "2025",
    address = "Vienna, Austria",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2025.acl-long.1270/",
    pages = "26200--26218",
    ISBN = "979-8-89176-251-0",
    abstract = "In this paper, we propose a new data synthesis method called \textbf{LogicPro}, which leverages LeetCode-style algorithm Problems and their corresponding Program solutions to synthesize Complex Logical Reasoning data in text format. First, we synthesize complex reasoning problems through source algorithm problems and test cases. Then, standard answers and intermediate variable outputs are obtained for each problem based on standard python solutions and test cases. Finally, with the guidance of code intermediate variables, we synthesize the text reasoning process for each reasoning problems. Through this method, we can synthes

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": "jiangjin/LogicPro" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0