GitHub repository: teacherpeterpan/Logic-LLM
Primary language: C
Created: 2023-05-17T21:47:32Z
Description: The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"