Rare find

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

github.com/teacherpeterpan/Logic-LLM

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.