23 May
New Preprint! Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
Our paper Fact-Checking Complex Claims with Program-Guided Reasoning was accepted by the main conference of ACL 2023.
New Preprint! Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
Our paper Fact-Checking Complex Claims with Program-Guided Reasoning was accepted by the main conference of ACL 2023.