Code for Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Add code button
avatar
Github Iconteacherpeterpan/Logic-LLM

avatar
https://stanford-cs221.github.io/spring2022/assignments/logic/index.html

Human or AI?

Log in/sign up for free to see all code implementations