Popular GitHub Repositories for Logical Reasoning

Inductive relation prediction by subgraph reasoning, ICML'20

On Memorization of Large Language Models in Logical Reasoning

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

[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

[EMNLP 2024] A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners

An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

A Python-based logical reasoning system combining rule-based engines with Large Language Models (LLMs) for business automation. Supports deduction and hypothesis testing, partial fact completion, and automated fact retrieval via documents or chat. Features include explainable reasoning, workflow integration, and customizable knowledge bases.