/Logic-LLM

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

Primary LanguagePythonMIT LicenseMIT

Watchers

No one’s watching this repository yet.