teacherpeterpan / Logic-LLM

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
280Updated 7 months ago

Alternatives and similar repositories for Logic-LLM:

Users that are interested in Logic-LLM are comparing it to the libraries listed below