University of California, Santa Barbara
Logical Reasoning;Language Model;Symbolic Language;Self-Refinement
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning