neuro-symbolic-reasoning
Installation
SKILL.md
Neuro-Symbolic Reasoning
Pipeline
NL Problem → LLM Formulator → Logic Program → Symbolic Solver → Answer
↑ |
└──── Self-Refinement ←────────┘
Solver Selection
| Logic Type | Solver | Output |
|---|---|---|
| First-order logic | Prover9 | True/False/Unknown |
| Constraints/SAT | Z3 | sat/unsat/unknown |
| Rule-based | Pyke | Bindings/No proof |
See references/solvers.md for integration code.