TY  - RPRT
TI  - Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
AU  - Liangming Pan
AU  - Alon Albalak
AU  - Xinyi Wang
AU  - William Yang Wang
PY  - 2023
UR  - https://arxiv.org/abs/2305.12295
ID  - 2305.12295
ER  -