jakderrida / logic-llm Goto Github PK
View Code? Open in Web Editor NEWThis project forked from teacherpeterpan/logic-llm
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
License: MIT License