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

Pan, Liangming, Albalak, Alon, Wang, Xinyi · arXiv · 2023