Alon Albalak

Latest

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