symbolic-reasoning

There are 9 repositories under symbolic-reasoning topic.

zjunlp/Prompt4ReasoningPapers
[ACL 2023] Reasoning with Language Model Prompting: A Survey
915 25 568
scallop-lang/scallop
Framework and Language for Neurosymbolic Programming.
Language:Rust221 12 3110
fblgit/tree-of-knowledge
ToK aka Tree of Knowledge for Large Language Models LLM. It's a novel dataset that inspires knowledge symbolic correlation in simple input and output prompts
49 3 02
mukhal/grace
[EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning
Language:Python45 3 21
bys0318/QTO
ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
Language:Python28 2 25
atfortes/LLMSymbolicReasoningBench
Synthetic data generation for evaluating Large Language Models reasoning.
Language:Python7 2 11
neuro-symbolic-ai/explanation_based_ethical_reasoning
Code and data for Paper "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"
Language:Python3 3 01
mahadi-nahid/NormTab
[EMNLP 2024] NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization
Language:Python2 2 00
AlbertoPC13/Artificial-Intelligence
CIC-IPN course of Fundamentals of Artificial Intelligence with Salvador Godoy
Language:Prolog1 2 00