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

Liangming Pan(Chongqing University), William Yang Wang(University of California, Santa Barbara), Alon Albalak(University of California, Santa Barbara), Xinyi Wang(University of California, Santa Barbara)
Cited by 99


Related Papers