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

Liangming Pan, Alon Albalak, Xinyi Wang, William Yang Wang

Browse the full EMNLP paper archive.