Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningLiangming Pan, William Yang Wang, Alon Albalak et al.|Unknown|2023Cited by 99