#Logical-reasoning

OpenSPG

KAG

KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge bases. It can effectively overcome the shortcomings of the traditional RAG vector similarity calculation model.

zjunlp

Prompt4ReasoningPapers

[ACL 2023] Reasoning with Language Model Prompting: A Survey

AlphaPav

mem-kk-logic

On Memorization of Large Language Models in Logical Reasoning