LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
Jin Jiang, Yuchen Yan, Yang Liu, Jianing Wang, Shuai Peng, Xunliang Cai, Yixin Cao, Mengdi Zhang, Liangcai Gao. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.
Authors
- Liangcai Gao (ORCID: https://orcid.org/0000-0001-9444-1568)
- Yang Liu (ORCID: https://orcid.org/0000-0001-9786-2093)
- Jin Jiang
- Shuai Peng (ORCID: https://orcid.org/0000-0002-9828-806X)
- Xunliang Cai (ORCID: https://orcid.org/0000-0003-0685-9556)
- Jianing Wang (ORCID: https://orcid.org/0000-0002-9294-2809)
- Mengdi Zhang (ORCID: https://orcid.org/0000-0002-3239-4804)
- Yuchen Yan (ORCID: https://orcid.org/0000-0002-7903-8102)
- Yixin Cao (ORCID: https://orcid.org/0000-0002-1632-7812)
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.acl-long.1270
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00