symbolic-reasoning

There are 3 repositories under symbolic-reasoning topic.

• zjunlp / Prompt4ReasoningPapers

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

  promptreasoningawsome-listchain-of-thoughtpaper-listsurveynlpdatasetslanguage-modelsnatural-language-processinglarge-language-modelsartificial-intelligencearithmetic-reasoningcommonsense-reasoningsymbolic-reasoningprompt-engineeringlogical-reasoningllmchatgptgpt-3
  979

• scallop-lang / scallop

  Framework and Language for Neurosymbolic Programming.

  deep-learningfoundation-modelsmachine-learning-frameworkneurosymbolicsymbolic-reasoning
  Language:Rust 403

• 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

  datasettree-of-knowledgellmaichain-of-knowledgechain-of-thoughtsymbolic-reasoningtree-of-thoughtschain-of-thoughts
  54

• mukhal / grace

  [EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning

  chain-of-thoughtdecodinglanguage-modelmulti-step-reasoningreasoningtext-generationllmmathematical-reasoningsymbolic-reasoning
  Language:Python 47

• bys0318 / QTO

  [ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

  knowledge-graphlogical-reasoningsymbolic-reasoning
  Language:Python 28

• atfortes / LLMSymbolicReasoningBench

  Synthetic data generation for evaluating LLM symbolic and logic reasoning

  chain-of-thoughtdata-engineeringdatasetdataset-generationreasoningsymbolic-reasoningrandom-generationmachine-learningnatural-language-processinglarge-language-modelschatgptlanguage-modelsymbolicchatgpt-o1gpt-4strawberrydeepseek-r1
  Language:Python 12

• mahadi-nahid / NormTab

  [EMNLP 2024] NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization

  data-wranglinglarge-language-modelsnatural-language-processingtable-cleaningtable-normalizationtable-qatable-reasoningtext-to-sqlnl2sqlnormalizationsymbolic-reasoningtableqatable-llm
  Language:Python 4

• neuro-symbolic-ai / explanation_based_ethical_reasoning

  Code and data for Paper "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"

  large-language-modelsmachine-ethicssymbolic-reasoningethical-reasoningnatural-langauge-inference
  Language:Python 4

• UltraRepo / graph-rag

  UltraRepo Graph RAG provides AI agents access to massive code, doc, and data repos via Knowledge Graphs (KG). KGs are generated in Neo4j and accessible via FastAPI and vector DBs. Provides AI agents with better accuracy, scalability, and reasoning over large repos.

  dockerfastapigraph-ragjavascriptknowledge-graphneo4j-databaseneo4j-graphpythonragsemantic-searchsymbolic-reasoningvector-searchvite
  Language:Jupyter Notebook 3

• AlbertoPC13 / Artificial-Intelligence

  CIC-IPN course of Fundamentals of Artificial Intelligence with Salvador Godoy

  artificial-intelligenceprologsymbolic-reasoning
  Language:Prolog 1

• amirhosseinghanipour / neuro-symbolic-meta-cognition

  A Neuro-Symbolic Attempt at Meta-Cognitive Learning

  meta-cognitivequestion-answeringsymbolic-learningsymbolic-reasoningneuroexplicit
  Language:Jupyter Notebook