Liangming Pan, Alon Albalak, Xinyi Wang, William Wang. Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning. In Houda Bouamor, Juan Pino 0001, Kalika Bali, editors, Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023. pages 3806-3824, Association for Computational Linguistics, 2023. [doi]
Abstract is missing.