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

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning Liangming Pan author Alon Albalak author Xinyi Wang author William Wang author 2023-12 text Findings of the Association for Computational Linguistics: EMNLP 2023 Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication pan-etal-2023-logic 10.18653/v1/2023.findings-emnlp.248 https://aclanthology.org/2023.findings-emnlp.248/ 2023-12 3806 3824