language:en license:apache-2.0 size_categories:100K<n<1M format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2409.12929 region:us Reasoning synthetic data program logic logical reasoning
---
license: apache-2.0
language:
- en
tags:
- Reasoning
- synthetic data
- program logic
- logical reasoning
pretty_name: LogicPro
size_categories:
- 100K<n<1M
---




<h1 align="center">
  <!-- <img src="./LogicPro_Logo.png" width="100" alt="LogicPro" style="display: block; margin: auto;" /> -->
  <br>
  LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
</h1>

<p align="center">
  <a href="https://arxiv.org/abs/2409.12929"><b>[📑 Paper]</b></a> •
  <a href="https://huggingface.co/datasets/jiangjin/LogicPro"><b>[🤗 HF Dataset]</b></a> •
  <a href="https://github.com/jiangjin1999/LogicPro"><b>[👻 GitHub]</b></a>

</p>



<!-- <p align="center">
  <a href="https://arxiv.org/abs/2409.12929"><b>[📑 Paper]</b></a> •
  <a href="https://huggingface.co/datasets/jiangjin/LogicPro"><b>[🤗 HF Models]</b></a> •
  <a href="https://github.com/jiangjin1999/LogicPro"><b>[👻 GitHub]</b></a>

</p>  -->

<!-- <p align="center">
  <img src="./LogicPro.png" width="1000">
  <br>
  <em>An overview of LogicPro. Example: Climbing Stairs (LeetCode 70).</em>
</p> -->


## Data description

```
{
  "id": "logicpro_lc679_225531-43120",
  "title": "24 Game", # Title of the original leetcode algorithm problem.
  "difficulty": "Hard",
  "content": "...", # The questions of the original leetcode algorithm problem.
  "python": "...", # The original gold python solution
  "test_input_string": "...", # Current Test Case
  "synthetic_complex_reasoning_problem": "...", # Our synthetic complex reasoning problem (LogicPro-input)
  "case_code": "...", # Test case specific code
  "InterVar_case_code": "...", # Test case specific code with Intermediate Variable Print
  "InterVar_result": "...", # Intermediate Variable Print
  "final_answer": "True", # Answer to the question; result of code execution.
  "answer": "..." Program-Guided reasoning process (LogicPro-output)
}

```









## ☕️ Citation

If you find this repository helpful, please consider citing our paper:

```
@article{jiang2024logicpro,
  title={LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning},
  author={Jiang, Jin and Yan, Yuchen and Liu, Yang and Jin, Yonggang and Peng, Shuai and Zhang, Mengdi and Cai, Xunliang and Cao, Yixin and Gao, Liangcai and Tang, Zhi},
  journal={arXiv e-prints},
  pages={arXiv--2409},
  year={2024}
}
```