teacherpeterpan / Logic-LLM

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

Related projects

Alternatives and complementary repositories for Logic-LLM