Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.

Liangming Pan Alon Albalak Xinyi Wang 0003 William Yang Wang Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning. 3806-3824 2023 EMNLP (Findings) https://doi.org/10.18653/v1/2023.findings-emnlp.248 https://aclanthology.org/2023.findings-emnlp.248 conf/emnlp/2023f db/conf/emnlp/emnlp2023f.html#PanAWW23