TY  - RPRT
TI  - ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
AU  - Zhongsheng Wang
AU  - Jiamou Liu
AU  - Qiming Bao
AU  - Hongfei Rong
AU  - Jingfeng Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2407.10162
ID  - 2407.10162
ER  -