neural-symbolic-reasoning
There are 2 repositories under neural-symbolic-reasoning topic.
floodsung / Deep-Reasoning-Papers
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
- neurallambda
neurallambda / neurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Language:Python 201 aika-algorithm / aika
AIKA is a new type of artificial neural network designed to more closely mimic the behavior of a biological brain and to bridge the gap to classical AI. A key design decision in the Aika network is to conceptually separate the activations from their neurons, meaning that there are two separate graphs. One graph consisting of neurons and synapses representing the knowledge the network has already acquired and another graph consisting of activations and links describing the information the network was able to infer about a concrete input data set. There is a one-to-many relation between the neurons and the activations. For example, there might be a neuron representing a word or a specific meaning of a word, but there might be several activations of this neuron, each representing an occurrence of this word within the input data set. A consequence of this decision is that we have to give up on the idea of a fixed layered topology for the network, since the sequence in which the activations are fired depends on the input data set. Within the activation network, each activation is grounded within the input data set, even if there are several activations in between. This means links between activations serve two purposes. On the one hand, they are used to sum up the synapse weights and, on the other hand they propagate the identity to higher level activations.
Language:Java 74DennisCraandijk / DL-abstract-argumentation
Neuro-symbolic approaches to reasoning problems from abstract argumentation
Language:Python 20hughplay / Visual-Reasoning-Papers
đź“„ A curated list of visual reasoning papers.
Language:TeX 20eric11eca / NeuralLog
A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search engine. Sequence chunking and neural paraphrase detection for syntactic variation. SOTA result on SICK and MED.
Language:Jupyter Notebook 14XingruiWang / 3D-Aware-VQA
Official Code for the NeurIPS'23 paper "3D-Aware Visual Question Answering about Parts, Poses and Occlusions"
Language:Jupyter Notebook 14mikulatomas / LNN-playground
Jupyter notebooks with examples of Logical Neural Networks (LNN) by IBM
- Language:Prolog 1
